Reasoning About Actions Using Description Logics with General TBoxes
From MaRDI portal
Publication:3533138
DOI10.1007/11853886_23zbMath1152.68609OpenAlexW1579501393MaRDI QIDQ3533138
Frank Wolter, Hongkai Liu, Carsten Lutz, Maja Miličić
Publication date: 30 October 2008
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11853886_23
Related Items (6)
A family of dynamic description logics for representing and reasoning about actions ⋮ A description logic based situation calculus ⋮ Complexity of Planning in Action Formalisms Based on Description Logics ⋮ Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots ⋮ Foundations of instance level updates in expressive description logics ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
Uses Software
This page was built for publication: Reasoning About Actions Using Description Logics with General TBoxes