Sciweavers

AI
2007
Springer
13 years 11 months ago
Metatheory of actions: Beyond consistency
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
Andreas Herzig, Ivan José Varzinczak
ECAI
2004
Springer
14 years 4 months ago
Domain Descriptions Should Be Modular
This work is about the metatheory of actions, and here we address the problem of what a good domain description for reasoning about actions should look like. We state some postulat...
Andreas Herzig, Ivan José Varzinczak