Enumerating justifications using resolution

DOI10.1007/978-3-319-94205-6_40MaRDI QIDQ1799123zbMATH OpenOpenAlexFDO

Authors Yevgeny Kazakov, Peter Skočovský

Publication date 18 October 2018

Full work available at URL https://doi.org/10.1007/978-3-319-94205-6_40

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Justifications for Logic Programs Under Answer Set Semantics
• scientific article; zbMATH DE number 7121940
• Functional and Logic Programming
• BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
• Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis

Cited in

(2)

• PULi
• Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications

Describes a project that uses

Uses Software

• BEACON
• ELK
• EL2MCS
• QUICKXPLAIN

This page was built for publication: Enumerating justifications using resolution

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