Actions over core-closed knowledge bases

DOI10.1007/978-3-031-10769-6_17MaRDI QIDQ2104517zbMATH OpenOpenAlexFDO

Authors Claudia Cauli, Magdalena Ortiz, Nir Piterman

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2202.12592

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• ADL and the State-Transition Model of Action
• An introduction to description logic
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite
• Complexity, decidability and undecidability results for domain-independent planning
• Description logic knowledge and action bases
• Foundations of instance level updates in expressive description logics
• scientific article; zbMATH DE number 1424042 (Why is no real title available?)
• Managing Change in Graph-Structured Data Using Description Logics
• Planning for conjunctive goals
• Stratified abstraction of access control policies
• The DL-Lite Family and Relations
• Verification of evolving graph-structured data under expressive path constraints

This page was built for publication: Actions over core-closed knowledge bases

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