An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Causality in Commonsense Reasoning about Actions
Causality in Commonsense Reasoning about Actions
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Describing additive fluents in action language C+
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Loop formulas for circumscription
Artificial Intelligence
An executable specification of a formal argumentation protocol
Artificial Intelligence
Representation of occurrences for road vehicle traffic
Artificial Intelligence
A Regressive Problem Solver That Uses Knowledgelet
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
From the textual description of an accident to its causes
Artificial Intelligence
What Next for ASP? (A Not-Entirely-Well-Informed Opinion)
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Run-Time Semantics of a Language for Programming Social Processes
Computational Logic in Multi-Agent Systems
A logic program characterization of causal theories
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Loop formulas for circumscription
Artificial Intelligence
Updating action domain descriptions
Artificial Intelligence
Translating general game descriptions into an action language
Logic programming, knowledge representation, and nonmonotonic reasoning
Journal of Computer and System Sciences
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Programming social middleware through social interaction types
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Applications of action languages in cognitive robotics
Correct Reasoning
Toward question answering in travel domains
Correct Reasoning
Journal of Artificial Intelligence Research
The design of intelligent socio-technical systems
Artificial Intelligence Review
Hi-index | 0.00 |
The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCALC) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop--an environment for communicating axiomatizations of action domains of nontrivial size.The Zoo World consists of several cages and the exterior, gates between them, and animals of several species, including humans. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Traffic World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. We show how to represent the two domains in the input language of CCALC, and how to use CCALC to test these representations.