thumbnail

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
A. Hinze, A. Voisard
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
- Trang 55-57
C. Montangero, L. Semini
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
A logical approach to represent and reason about calendars
- Trang 134-140
C. Combi, M. Franceschet, A. Peron
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
Performance of querying temporal attributes in object-relational databases
- Trang 58-60
C. Kleiner, U.W. Lipeck
We evaluate a model for temporal data utilizing the benefits of object-relational database systems (ORDBS). In particular we show how attribute timestamping can be efficiently implemented in state-of-the-art ORDBS. The attribute timestamping concept is based on introducing user-specific types for temporal versions of datatypes. Moreover on the physical level we make use of user-defined index struc...... hiện toàn bộ
#Object oriented modeling #Indexing #Spatial indexes #Relational databases #Information systems #Database systems #Data models #Spatial databases #Size measurement
Extending the RETE algorithm for event management
- Trang 49-51
B. Berstel
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 views as abstract relations
- Trang 116-123
A. Ramsay
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...... hiện toàn bộ
#Physics computing #Natural languages #Logic #Dictionaries #Artificial intelligence #History #Eyes #Data mining #IEEE entities #Concrete
Evolution specification of multigranular temporal objects
- Trang 78-85
E. Camossi, E. Bertino, G. Guerrini, M. Mesiti
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 ...... hiện toàn bộ
#Temperature #Aggregates #Meteorology #Spatial databases #Weather forecasting #Cities and towns #Banking #Pollution #Kernel #Power generation
Applying local search to temporal reasoning
- Trang 94-99
J. Thornton, M. Beaumont, A. Sattar, M. Maher
Local search techniques have attracted considerable interest in the artificial intelligence (AI) community since the development of GSAT (Selman et al., 1992) and the min-conflicts heuristic (Minton et al., 1992) for solving large propositional satisfiability (SAT) problems and binary constraint satisfaction problems (CSPs) respectively. Newer SAT techniques, such as the Discrete Langrangian Metho...... hiện toàn bộ
#Artificial intelligence #Costs #Algebra #Feedback #Information technology #Gold #Australia #Constraint optimization #Process planning #Natural language processing
Towards a comprehensive treatment of temporal constraints in clinical guidelines
- Trang 20-27
P. Terenziani, C. Carlini, S. Montani
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...... hiện toàn bộ
#Guidelines #Artificial intelligence #Medical treatment #Postal services #Electrical capacitance tomography #Prototypes #Testing
Stratified causal theories for reasoning about deterministic devices and protocols
- Trang 52-54
A. Galton, J.C. Augusto
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