Proceedings Ninth International Symposium on Temporal Representation and Reasoning
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
On the operational semantics of timed rewrite systems
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 10-17
We propose an efficient operational semantics for a new class of rewrite systems, namely timed rewrite systems. This class constitute a conservative extension of first-order conditional term rewrite systems together with time features such as clocks, signals, timed terms, timed atoms and timed rules. We define first timed rewrite systems and illustrate them through some examples. A naive approach ...... hiện toàn bộ
#Clocks #Proposals #Calculus #Logic devices #Logic programming #Computer languages #Natural languages #Shape #Equations #Tail
A logical approach to represent and reason about calendars
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 134-140
We propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and we intensively model sets of granularities with linear time logic formulas. Some real-world granularities are provi...... hiện toàn bộ
#Calendars #Computer science #Logic #Formal specifications #Databases #Data mining #Problem-solving #Natural languages #Qualifications #Testing
A parameterized algebra for event notification services
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 61-63
Event notification services are used in various applications such as digital libraries, stock tickers, traffic control, or facility management. However to our knowledge, a common semantics of events in event notification services has not been defined so far. We propose a parameterized event algebra which describes the semantics of composite events for event notification systems. The parameters ser...... hiện toàn bộ
#Algebra #Logistics #Temperature sensors #Software libraries #Filtering #Database systems #Clocks
Logic Trạng thái Phân tán Dịch bởi AI
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 55-57
Chúng tôi giới thiệu một logic thời gian để lý luận về các ứng dụng toàn cầu. Trước tiên, chúng tôi định nghĩa một logic mô-đun cho địa phương tính, nhúng các lý thuyết địa phương của mỗi thành phần vào một lý thuyết về các trạng thái phân tán của hệ thống. Chúng tôi cung cấp cho logic một hệ thống tiên đề đầy đủ và chuyên sâu. Sau đó, chúng tôi mở rộng logic với một toán tử thời gian. Đóng góp củ...... hiện toàn bộ
#Logic #DSL #Đồng hồ #Giao tiếp bất đồng bộ #Ngôn ngữ đặc tả #Điện toán đồng thời #Điện toán phân tán #Trì hoãn #Điện toán phổ biến #Thư viện thời gian chạy
Extending the RETE algorithm for event management
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 49-51
A growing number of industrial applications use rule-based programming. Frequently, the implementation of the inference engine embedded in these applications is based on the RETE algorithm. Some applications supervise a flow of events in which time, through the occurrence dates of the events, plays an important role. These applications need to be able to recognize patterns involving events. Howeve...... hiện toàn bộ
#Engines #Pattern recognition #Clocks #Inference algorithms #Pattern matching #Java #Monitoring #Logic #Time factors
Temporal reasoning with classes and instances of events
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 100-107
Representing and reasoning with both temporal constraints between classes of events (e.g., between the types of actions needed to achieve a goal) and temporal constraints between instances of events (e.g., between the specific actions being executed) is a ubiquitous task in many areas of computer science, such as planning, workflow, guidelines and protocol management. The temporal constraints betw...... hiện toàn bộ
#Artificial intelligence #Computer science #Guidelines #Application software #Knowledge engineering #Protocols #Knowledge representation #Programming profession #Taxonomy
Stratified causal theories for reasoning about deterministic devices and protocols
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 52-54
We present a method for formalising the behaviour of simple deterministic devices and protocols in a way that makes explicit the causal dependencies amongst the component elements, thereby allowing true causal (as opposed to purely temporal) reasoning. Our intention is to handle such systems effectively in the simplest possible way, without invoking additional problematic considerations (concernin...... hiện toàn bộ
#Protocols #Calculus #Cooling #Valves #Predictive models #Discrete event simulation
Logical data expiration
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 66-67
Summary form only given. Data expiration is an essential component of data warehousing solutions: whenever large amounts of data are repeatedly collected over a period of time, it is essential to have a clear approach to identifying parts of the data no-longer needed and a policy that allows disposing and/or archiving these parts of the data. Such policies are necessary even if adding storage to a...... hiện toàn bộ
#Logic #History #Database systems #Computer science #Electronic mail #Warehousing #Data analysis #Aging #Spatial databases #Upper bound
Tensed ontology based on simple partial logic
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 141-145
Simple partial logic (SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary st...... hiện toàn bộ
#Ontologies #Logic #Cost accounting #Art #Terminology
Proceedings Ninth International Symposium on Temporal Representation and Reasoning
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - 2002
Presents the front cover of the proceedings record.
Tổng số: 24
- 1
- 2
- 3