Description Logic Knowledge and Action Bases

DOI10.1613/jair.3826zbMath1280.68249OpenAlexW2099613024WikidataQ58185303 ScholiaQ58185303MaRDI QIDQ4917617

Paolo Felli, Riccardo De Masellis, Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Babak Bagheri Hariri

Publication date: 2 May 2013

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.3826

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (8)

Combining event calculus and description logic reasoning via logic programming ⋮ Model checking Petri nets with names using data-centric dynamic systems ⋮ Process-centric views of data-driven business artifacts ⋮ Non-terminating processes in the situation calculus ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus ⋮ Enhancing probabilistic model checking with ontologies ⋮ Actions over core-closed knowledge bases

This page was built for publication: Description Logic Knowledge and Action Bases