The Complexity of Theorem Proving in Circumscription and Minimal Entailment

DOI10.1007/978-3-319-08587-6_32zbMATH Open1425.03006DBLPconf/cade/BeyersdorffC14OpenAlexW1598129020WikidataQ59900280 ScholiaQ59900280MaRDI QIDQ3192208FDOQ3192208

Leroy Chew, Olaf Beyersdorff

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/80489/1/circumscription-CIRC-final-version.pdf

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Cited In (5)

• Title not available (Why is that?)
• Proof complexity of modal resolution
• Title not available (Why is that?)
• Online Enumeration of All Minimal Inductive Validity Cores
• The Complexity of Circumscriptive Inference in Post’s Lattice

This page was built for publication: The Complexity of Theorem Proving in Circumscription and Minimal Entailment

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