Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Representing Transition Systems by Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Bounded LTL model checking with stable models
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
The System BioC for Reasoning about Biological Models in Action Language C
ICTAI '08 Proceedings of the 2008 20th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
Translating first-order causal theories into answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Applications of action languages in cognitive robotics
Correct Reasoning
Gearing up for effective ASP planning
Correct Reasoning
Modeling actions based on a situative space model for recognizing human activities
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Hi-index | 0.00 |
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, called Coala, offering manifold compilation techniques for several action languages. We provide an overview of the salient and distinctive features of Coala as well as an experimental comparison of them.