A tableau calculus for minimal model reasoning

DOI10.1007/3-540-61208-4_18zbMATH Open1412.68247OpenAlexW2167440926MaRDI QIDQ4645243

Ilkka Niemelä

Publication date: 10 January 2019

Published in: Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61208-4_18

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Taming of the Cut. Classical Refutations with Analytic Cut
• An algorithm to compute circumscription
• Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
• Static semantics for normal and disjunctive logic programs
• Computing circumscriptive databases
• Tableaux and sequent calculus for minimal entailment
• A circumscriptive theorem prover
• Minimal model generation with positive unit hyper-resolution tableaux
• Ordered model trees: A normal form for disjunctive deductive databases

Cited In (14)

• Theorem proving techniques for view deletion in databases
• On the equivalence of the static and disjunctive well-founded semantics and its computation
• ASP and subset minimality: enumeration, cautious reasoning and MUSes
• Paracoherent answer set computation
• Reasoning under minimal upper bounds in propositional logic
• Minimal sets on propositional formulae. Problems and reductions
• A tableau calculus for minimal modal model generation
• Possible models computation and revision -- a practical approach
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• An abductive framework for negation in disjunctive logic programming
• Exploring Theories with a Model-Finding Assistant
• Better Paracoherent Answer Sets with Less Resources
• lean\(T^ AP\): Lean tableau-based deduction
• Hyper tableaux

Uses Software

• SATCHMO

This page was built for publication: A tableau calculus for minimal model reasoning

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