Pages that link to "Item:Q4933297"
From MaRDI portal
The following pages link to Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics (Q4933297):
Displayed 5 items.
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)