Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Norms and time in agent-based systems
Proceedings of the 8th international conference on Artificial intelligence and law
Discovering Frequent Arrangements of Temporal Intervals
ICDM '05 Proceedings of the Fifth IEEE International Conference on Data Mining
Assigning time-stamps to event-clauses
TASIP '01 Proceedings of the workshop on Temporal and spatial information processing - Volume 13
What is "next" in event processing?
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Multi-Dimensional Relational Sequence Mining
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Experimental Evaluation of a Planning Language Suitable for Formal Verification
Model Checking and Artificial Intelligence
Ontology Libraries for Production Use: The Finnish Ontology Library Service ONKI
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Building Petri nets from video event ontologies
ISVC'07 Proceedings of the 3rd international conference on Advances in visual computing - Volume Part I
Monitoring and modeling simple everyday activities of the elderly at home
CCNC'10 Proceedings of the 7th IEEE conference on Consumer communications and networking conference
Geospatial Ontology Trade Study
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
A distributed platform based on web services for multimedia resource discovery
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Temporal reasoning component for real-time intelligent decision-support systems
Scientific and Technical Information Processing
Sparkwave: continuous schema-enhanced pattern matching over RDF data streams
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Multi-Dimensional Relational Sequence Mining
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Mining first-order temporal interval patterns with regular expression constraints
DaWaK'07 Proceedings of the 9th international conference on Data Warehousing and Knowledge Discovery
Automatic Learning of Temporal Relations Under the Closed World Assumption
Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications
| Hi-index | 0.00 |
We present a representation of events and action based on interval temporal logic that is significantly more expressive and more natural than most previous AI approaches. The representation is motivated by work in natural language semantics and discourse, temporal logic, and AI planning and plan recognition. The formal basis of the representation is presented in detail, from the axiomatization of time periods to the relationship between actions and events and their effects. The power of the representation is illustrated by applying it to the axiomatization and solution of several standard problems from the AI literature on action and change. An approach to the frame problem based on explanation closure is shown to be both powerful and natural when combined with our representational framework. We also discuss features of the logic that are beyond the scope of many traditional representations, and describe our approach to difficult problems such as external events and simultaneous actions.