Pages that link to "Item:Q4917617"
From MaRDI portal
The following pages link to Description Logic Knowledge and Action Bases (Q4917617):
Displaying 10 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- Actions over core-closed knowledge bases (Q2104517) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Process-centric views of data-driven business artifacts (Q2396822) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- (Q5740438) (← links)
- Ontology-mediated probabilistic model checking (Q6536352) (← links)