Representation of temporal information (original) (raw)
Related papers
A Formalism for Representing and Reasoning with Temporal Information, Event and Change
Applied Intelligence, Vol. 23, No. 2. 109-119, 2005
Logical modeling of temporal data
ACM SIGMOD Record, 1987
Temporal representation and reasoning
Data & Knowledge Engineering, 2003
Towards A Logic For Representation And Retrieval Of Incomplete Temporal Objects
2001
The temporal representation and reasoning of
2013
Formal Representation of Temporal Expressions
Lecture Notes in Computer Science, 2004
LITO - a logic for indeterminate temporal objects
2004
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Lecture Notes in Computer Science, 2011
Journal of Universal Computer Science, 2008
Temporal aspects of logical procedure definition
Information Systems, 1980
Temporal and modal logic programming languages
2001
On a temporal logic for object-based systems
… IV: IFIP TC6/WG6. 1 Fourth …, 2000
ISTO: a language for temporal organizational information systems
2011
Temporal aspects of logical procedure definiton
Information Systems, 1980
A Novel Temporal Framework for Relational Event Representation
MSV'12, 2012
A scenario based notation for specifying temporal properties
2006
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks
Mathematics in Computer Science, 2008
A Formalization of Objective and Subjective Time Ontologies
2007
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Lecture Notes in Computer Science, 2002
A computational account for a description logic of time and action
1993
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
Lecture Notes in Computer Science, 2002
A Temporal Semantics for Basic Logic
Studia Logica, 2009
TILCO-X, an extension of TILCO temporal logic
2001
Semantics of time-varying information
Information Systems, 1996
A temporal logic for reasoning about processes and plans*
Cognitive science, 1982
The Logic of Time Structures: Temporal and Nonmonotonic Features
Proceedings of the 11th international joint …, 1989
Expressiveness of Hybrid Temporal Logic on Data Words
Electronic Notes in Theoretical Computer Science, 2011
A LOGIC FOR REPRESENTATION AND MANIPULATION OF INDETERMINATE TEMPORAL DATABASES
Logic, Artificial Intelligence and Robotics - Proc. of the 2nd Congress of Logic Applied to Technology - LAPTEC Vol. II, 2001
Temporal Description Logics: A Survey
2008 15th International Symposium on Temporal Representation and Reasoning, 2008
Guest editorial: Temporal representation and reasoning
Annals of Mathematics and Artificial Intelligence, 2006
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review, 2001