Towards a general theory of action and time
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
A critical examination of Allen's theory of action and time
Artificial Intelligence
Moments and points in an interval-based temporal logic
Computational Intelligence
Event specification in an active object-oriented database
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Snoop: an expressive event specification language for active databases
Data & Knowledge Engineering
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Formalizing narratives using nested circumscription
Artificial Intelligence
ACM Computing Surveys (CSUR)
Rule Management in Object Oriented Databases: A Uniform Approach
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Event Calculus Planning Revisited
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Two Approaches to Event Definition
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
An Approach to Model and Query Event-Based Temporal Data
TIME '98 Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning
A Calculus of Macro-Events: Progress Report
TIME '00 Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00)
Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols
TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
A general framework for reasoning about change
New Generation Computing
Reliable detection of episodes in event sequences
Knowledge and Information Systems
Using artificial anomalies to detect unknown and known network intrusions
Knowledge and Information Systems
SnoopIB: interval-based event specification and detection for active databases
Data & Knowledge Engineering
Causal reasoning for alert generation in smart homes
Designing Smart Homes
| Hi-index | 0.00 |
We develop, in this paper, a representation of time and events that supports a range of reasoning tasks such as monitoring and detection of event patterns which may facilitate the explanation of root cause(s) of faults. We shall compare two approaches to event definition: the active database approach in which events are defined in terms of the conditions for their detection at an instant, and the knowledge representation approach in which events are defined in terms of the conditions for their occurrence over an interval. We shall show the shortcomings of the former definition and employ a three-valued temporal first order nonmonotonic logic, extended with events, in order to integrate both definitions.