Domain descriptions should be modular

Andreas Herzig, Ivan José Varzinczak
2004 Non-Monotonic Reasoning  
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