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

DOI10.1007/978-3-642-16242-8_7zbMath1306.68180OpenAlexW1576582577MaRDI QIDQ4933297

Marcel Lippmann, Franz Baader, Hongkai Liu

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_7

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (5)

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ Combining event calculus and description logic reasoning via logic programming ⋮ Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ A general first-order solution to the ramification problem with cycles

This page was built for publication: Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics