A formalism unifying defeasible logics and repair semantics for existential rules

DOI10.1007/978-3-030-57855-8_1MaRDI QIDQ2038047zbMATH OpenOpenAlexFDO

Authors Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru

Publication date 8 July 2021

Full work available at URL https://hal-lirmm.ccsd.cnrs.fr/lirmm-03037374/file/ICCS2020.pdf

Mathematics Subject Classification ID

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

Recommendations

• Logic-based argumentation with existential rules
• -ASP for computing repairs with existential ontologies
• Inconsistency-tolerant query answering: rationality properties and computational complexity analysis
• On the consistency of defeasible databases
• Towards practical deletion repair of inconsistent DL-programs

Cited in

(1)

• Logic-based argumentation with existential rules

This page was built for publication: A formalism unifying defeasible logics and repair semantics for existential rules

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