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

Franz Baader, Marcel Lippmann, Hongkai Liu

Browse the full LPAR paper archive.