Detecting inconsistencies in large first-order knowledge bases

DOI10.1007/978-3-319-63046-5_19zbMATH Open1494.68262OpenAlexW2734717629MaRDI QIDQ2405258FDOQ2405258

Stephan Schulz, Josef Urban, Geoff Sutcliffe, Adam Pease

Publication date: 22 September 2017

Full work available at URL: https://zenodo.org/record/1227143

Mathematics Subject Classification ID

Knowledge representation (68T30) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (7)

• Title not available (Why is that?)
• Analysing inconsistent first-order knowledgebases
• Contradiction separation based dynamic multi-clause synergized automated deduction
• Title not available (Why is that?)
• The 10th IJCAR automated theorem proving system competition – CASC-J10
• Translating SUMO-K to Higher-Order Set Theory
• The 11th IJCAR automated theorem proving system competition – CASC-J11

Uses Software

• LEO-II
• Nitpick
• MPTP 0.2
• VAMPIRE
• TPTP
• Mizar
• E Theorem Prover
• Flyspeck
• MaLARea
• BliStr
• SRASS

Recommendations

• Analysing inconsistent first-order knowledgebases 👍 👎
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases 👍 👎
• Measuring and repairing inconsistency in probabilistic knowledge bases 👍 👎
• Measuring inconsistency with constraints for propositional knowledge bases 👍 👎
• Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics 👍 👎

This page was built for publication: Detecting inconsistencies in large first-order knowledge bases

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