Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Generality in artificial intelligence
Communications of the ACM
A library of generic concepts for composing knowledge bases
Proceedings of the 1st international conference on Knowledge capture
Answer set programming and plan generation
Artificial Intelligence
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Elaboration tolerance through object-orientation
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Commonsense Reasoning
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Modular-ε: an elaboration tolerant approach to the ramification and qualification problems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Metatheory of actions: Beyond consistency
Artificial Intelligence
Modular Action Language ${\cal ALM}$
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Run-Time Semantics of a Language for Programming Social Processes
Computational Logic in Multi-Agent Systems
A modular action description language for protocol composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
The semantics of variables in action descriptions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Reasoning about large taxonomies of actions
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
A logic program characterization of causal theories
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
Translating first-order causal theories into answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Journal of Computer and System Sciences
Macros, macro calls and use of ensembles in modular answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Extending action language C+ by formalizing composite actions
Correct Reasoning
Applications of action languages in cognitive robotics
Correct Reasoning
Toward question answering in travel domains
Correct Reasoning
| Hi-index | 0.00 |
"Toy worlds" involving actions, such as the blocks world and the Missionaries and Cannibals puzzle, are often used by researchers in the areas of commonsense reasoning and planning to illustrate and test their ideas. We would like to create a datahase of general-purpose knowledge about actions that encodes common features of many action domains of this kind. in the same way as abstract algebra and topology represent common features of specific number systems. This paper is a report on the first stage of this project--the design of an action description language in which this database will be written The new language is an extension of the action language C+. Its main distinctive feature is the possibility of referring to other action descriptions in the definition of a new action domain.