LILaC - paper abstract

Domain descriptions should be modular

Herzig, Andreas and Varzinczak, Ivan


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.




  author =       "Herzig, Andreas and Varzinczak, Ivan",
  title =        "Domain descriptions should be modular",
  OPTeditor =    "Saitta, Lorenza ",
  OPTdate =        "august 22-27, 2004 ",
  booktitle =    "Proc. Eur. Conf. on Artificial Intelligence (ECAI'2004)",
  address =      "Valencia",
  month =    	aug,
  year =         "2004",


Note: Preliminary versions have been presented at NMR'04, in the Festschrift for the 50th anniversary of Norman Foo, and in the French "Journées nationales sur la modélisation du raisonnement" (JNMR'03).