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

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, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Volume 6397 of Lecture Notes in Computer Science, pages 82-96, Springer, 2010. [doi]

Authors

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Marcel Lippmann

This author has not been identified. Look up 'Marcel Lippmann' in Google

Hongkai Liu

This author has not been identified. Look up 'Hongkai Liu' in Google