Towards a general theory of action and time
Artificial Intelligence
Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
Temporal imagery: an approach to reasoning about time for planning and problem solving
Temporal imagery: an approach to reasoning about time for planning and problem solving
The Inference Machine Laboratory: graphic tools for knowledge management
Proceedings on Graphics Interface '86/Vision Interface '86
The consistency of syntactical treatments of knowledge
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Maintaining knowledge about temporal intervals
Communications of the ACM
Towards An Implementation of Database Management Systems with Temporal Support
Proceedings of the Second International Conference on Data Engineering
Language, computation, and reality
Language, computation, and reality
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Temporal Bayesian Knowledge Bases - Reasoning about uncertainty with temporal constraints
Expert Systems with Applications: An International Journal
| Hi-index | 0.02 |
An expressive first-order temporal logic using the method of temporal arguments is developed and provided with a non-standard semantics that explicates its underlying temporal structure. Objections from the AI literature against the adequacy of temporal argument theories are answered in the course of discussing representational issues for the developed logic. This logic "accords a special status to time," distinguishes the temporal features of event occurrences from ordinary facts, and supports changing ontologies. We conclude that the method of temporal arguments remains a viable candidate for temporal reasoning in AI.