Sciweavers

84
Voted
AI
2007
Springer
15 years 1 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
89
Voted
ECAI
2004
Springer
15 years 6 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