"October" is not in the list (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) of allowed values for the "Month" property.

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

Franz BaaderFranz Baader, Marcel LippmannMarcel Lippmann, Hongkai LiuHongkai Liu

Download

Franz Baader, Marcel Lippmann, Hongkai Liu
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
In Christian G. Fermüller and Andrei Voronkov, eds., Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), 82-96, 2010. Springer

Details
Bibtex

KurzfassungAbstract
In the reasoning about actions community, causal relationships have been proposed as a possible approach for solving the ramification problem, i.e., the problem of how to deal with indirect effects of actions. In this paper, we show that causal relationships can be added to action formalisms based on Description Logics (DLs) without destroying the decidability of the consistency and the projection problem. We investigate the complexity of these decision problems based on which DL is used as base logic for the action formalism.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ BaLiLi-LPAR-10,
  address = {Yogyakarta, Indonesia},
  author = {Franz {Baader} and Marcel {Lippmann} and Hongkai {Liu}},
  booktitle = {Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning ({LPAR-17})},
  editor = {Christian G. {Ferm{\"u}ller} and Andrei {Voronkov}},
  month = {October},
  pages = {82--96},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science)},
  title = {Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics},
  volume = {6397},
  year = {2010},
}