A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object oriented design with applications
Object oriented design with applications
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Prolog++: The Power of Object-Oriented and Logic Programming
Prolog++: The Power of Object-Oriented and Logic Programming
A Theory of Objects
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Cicumscribing Features and Fluents
ICTL '94 Proceedings of the First International Conference on Temporal Logic
(De)Composition of Situation Calculus Theories
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Modular Action Language ${\cal ALM}$
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
Hi-index | 0.00 |
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of tiny domains that highlight some particular aspect or problem. However, since some of the classical problems are now completely or partially solved and since powerful tools are becoming available, it is now necessary to start modeling more complex domains. This article presents a methodology for handling such domains in a systematic manner using an object-oriented framework and provides several examples of the elaboration tolerance exhibited by the resulting models.