A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Domain descriptions should be modular
2004
Non-Monotonic Reasoning
Preserved Fulltext
We address the problem of what a good domain description for reasoning about actions should look like. We state some metatheoretic postulates concerning this sore spot, which establishes the notion of a modular domain description. We point out the problems that arise when modularity is violated and propose algorithms to overcome them.
dblp:conf/nmr/HerzigV04
fatcat:efegjx37ofcjjahb5nis3z6p5m