Towards a general theory of action and time
Artificial Intelligence
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
A critical examination of Allen's theory of action and time
Artificial Intelligence
Moments and points in an interval-based temporal logic
Computational Intelligence
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Artificial Intelligence
A survey on temporal reasoning in artificial intelligence
AI Communications
Maintaining knowledge about temporal intervals
Communications of the ACM
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
Transformational government: basics and key issues
Proceedings of the 2nd international conference on Theory and practice of electronic governance
Strategic IT planning as change specification
Proceedings of the 2nd international conference on Theory and practice of electronic governance
A framework for historical case-based reasoning
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
Representing and recognizing scenario patterns
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part II
An approach for temporal case-based reasoning: episode-based reasoning
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Temporal model for business process
Intelligent Decision Technologies
Hi-index | 0.00 |
There are three main approaches to the representationof temporal information in AI literature: theso-called method of temporal arguments thatsimply extends functions and predicates of first-orderlanguage to include time as the additional argument;modal temporal logics which are extensions ofthe propositional or predicate calculus with modaltemporal operators; and reified temporal logicswhich reify standard propositions of some initiallanguage (e.g., the classical first-order or modallogic) as objects denoting propositional terms. Theobjective of this paper is to provide an overview onthe temporal reified approach by looking closely atsome representative existing systems featuring reifiedpropositions, including those of Allen, McDermott,Shoham, Reichgelt, Galton, and Ma and Knight. We shalldemonstrate that, although reified logics might bemore complicated in expressing assertions about somegiven objects with respect to different times, theyaccord a special status to time and therefore haveseveral distinct advantages in talking about someimportant issues which would be difficult (if notimpossible) to express in other approaches.