Reasoning About Actions Using Description Logics with General TBoxes

DOI10.1007/11853886_23MaRDI QIDQ3533138zbMATH OpenOpenAlexFDO

Authors Hongkai Liu, Carsten Lutz, Maja Miličić, F. Wolter

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Complexity of Planning in Action Formalisms Based on Description Logics
• A family of dynamic description logics for representing and reasoning about actions
• Using causal relationships to deal with the ramification problem in action formalisms based on description logics
• Actions over a constructive semantics for description logics
• scientific article; zbMATH DE number 1249651

Cited in

(19)

• A family of dynamic description logics for representing and reasoning about actions
• Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
• Actions over a constructive semantics for description logics
• Verification of description logic knowledge and action bases
• 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
• scientific article; zbMATH DE number 1249651 (Why is no real title available?)
• scientific article; zbMATH DE number 1765662 (Why is no real title available?)
• scientific article; zbMATH DE number 6902582 (Why is no real title available?)
• Description logic knowledge and action bases
• Using causal relationships to deal with the ramification problem in action formalisms based on description logics
• A theory and implementation of cognitive mobile robots
• Matching in the Description Logic FL0 with respect to General TBoxes
• scientific article; zbMATH DE number 2209432 (Why is no real title available?)
• scientific article; zbMATH DE number 6606368 (Why is no real title available?)
• A description logic based situation calculus
• Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
• Towards an expressive practical logical action theory

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Reasoning About Actions Using Description Logics with General TBoxes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3533138)