Proceedings Ninth International Symposium on Temporal Representation and Reasoning
1530-1311
Cơ quản chủ quản: N/A
Các bài báo tiêu biểu
A parameterized algebra for event notification services
- 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......
#Algebra #Logistics #Temperature sensors #Software libraries #Filtering #Database systems #Clocks
Logic Trạng thái Phân tán Dịch bởi AI
- 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ủ......
#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
Towards a comprehensive treatment of temporal constraints in clinical guidelines
- Trang 20-27
In this paper, we focus on an application and extension of artificial intelligence temporal reasoning techniques in order to represent and reason with temporal constraints in clinical guidelines. Particular attention is dedicated to the treatment of repeated (periodic) events, which play a major role in clinical therapies. We also discuss some limitations of our current approach, highlighting poss......
#Guidelines #Artificial intelligence #Medical treatment #Postal services #Electrical capacitance tomography #Prototypes #Testing
On non-local propositional and local one-variable quantified CTL*
- Trang 2-9
We prove decidability of 'non local' propositional CTL*, where truth values of atoms may depend on the branch of evaluation. This result is then used to show decidability of the 'weak' one-variable fragment of first-order (local) CTL*, in which all temporal operators and path quantifiers except 'tomorrow' are applicable only to sentences. Various spatio-temporal logics based on combinations of CTL......
#Logic #Educational institutions #Computer science #Embedded computing #Instruments #Spatiotemporal phenomena #Calculus
Temporal views as abstract relations
- Trang 116-123
Many natural languages use prepositions to mark relations between entities of various kinds-between physical entities and their spatial locations, between temporal entities and their temporal locations, between abstract entities of various kinds (e.g. between ideas and their 'mental locations'). I show that the consequences of using prepositions to relate temporal entities emerge naturally from th......
#Physics computing #Natural languages #Logic #Dictionaries #Artificial intelligence #History #Eyes #Data mining #IEEE entities #Concrete
A continuous planning framework with durative actions
- Trang 108-114
This paper describes a continuous planning framework to be used by a planning agent situated within an environment, which reasons about goals with priorities and deadlines, and actions with duration. The framework assumes that goals may be generated continuously, which requires the interleaving of planning and execution. Constraints upon time may mean it is not possible for all goals to be achieve......
#Artificial intelligence #Computer science #Interleaved codes #Time factors #Process planning
On the operational semantics of timed rewrite systems
- 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 ......
#Clocks #Proposals #Calculus #Logic devices #Logic programming #Computer languages #Natural languages #Shape #Equations #Tail
Evolution specification of multigranular temporal objects
- Trang 78-85
The main key feature of temporal databases is to maintain all values taken by object attributes over time. Since historical information may be needed at different levels of detail, multigranular temporal databases have been introduced, in which different attributes can be stored at different temporal granularities. An important issue that has not been addressed, however is that the required level ......
#Temperature #Aggregates #Meteorology #Spatial databases #Weather forecasting #Cities and towns #Banking #Pollution #Kernel #Power generation
Reasoning with disjunctive fuzzy temporal constraint networks
- Trang 36-43
The disjunctive fuzzy temporal constraint network (DFTCN) model is a framework that allows reasoning with fuzzy qualitative and quantitative complex temporal constraints. However, its general complexity is exponential. In this work, we review methods that can reduce this complexity, based on graph topology and preprocessing. The final goal is to integrate all these methods into a general tool for ......
#Fuzzy reasoning #Scheduling #Network topology #Fuzzy sets #Computer networks #Degradation #Algebra #Uncertainty #Filtering #Testing
Logical data expiration
- 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......
#Logic #History #Database systems #Computer science #Electronic mail #Warehousing #Data analysis #Aging #Spatial databases #Upper bound