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):
Displaying 6 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)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← 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)
