Detecting inconsistencies in large first-order knowledge bases

DOI10.1007/978-3-319-63046-5_19zbMath1494.68262OpenAlexW2734717629MaRDI QIDQ2405258

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)

Related Items (4)

Unnamed Item ⋮ The 11th IJCAR automated theorem proving system competition – CASC-J11 ⋮ Contradiction separation based dynamic multi-clause synergized automated deduction ⋮ The 10th IJCAR automated theorem proving system competition – CASC-J10

Uses Software

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

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