A Tableau Calculus for Minimal Model Reasoning (1996)

Cached

Download Links

by Ilkka Niemela
Venue:Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Citations:51 - 6 self

Active Bibliography

6 Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation – François Bry, Adnan Yahya - 2000
20 Implementing Circumscription Using a Tableau Method – Ilkka Niemelä - 1996
11 Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation – François Bry, Adnan Yahya - 1997
1 Minimal Model Generation Based on E-Hyper Tableaux – Wenjin Lu, Wenjin Lu - 1996
8 Merge Path Improvements for Minimal Model Hyper Tableaux – Peter Baumgartner, J.D. Horton, Bruce Spencer - 1999
40 Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux – François Bry, Adnan Yahya - 1996
1 Finding Minimal Models by the Semantic Tableaux System – Kouichi Hirata - 1992
6 A Goal-Driven Approach to Efficient Query Processing in Disjunctive Databases – Adnan H. Yahya, Adnan Yahya - 1996
2 Model Generation in Disjunctive Normal Databases – Adnan H. Yahya, Adnan Yahya - 1996
11 An Abductive Framework for Negation in Disjunctive Logic Programming – Chandrabose Aravindan - 1996
9 SIC: Satisfiability Checking for Integrity Constraints – François Bry, Norbert Eisinger, Norbert Eisinger, Heribert Schütz, Heribert Schutz, Sunna Torge, Sunna Torge - 1998
Comparison of Two Complementary Herbrand Model Generators – Heribert Schütz - 1996
8 Analysis and Transformation of Proof Procedures – David André de Waal - 1994
7 A Comparison of the Static and the Disjunctive Well-founded Semantics – Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski - 1998
2 Computing only minimal answers in disjunctive deductive databases – C A Johnson - 2003
27 Knowledge Representation with Logic Programs – Gerhard Brewka, Jürgen Dix - 1996
23 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
Massively Parallel Reasoning – S.-E. Bornscheuer, S. Hölldobler, S. {e. Bornscheuer, Y. Kalinke, A. Strohmaier - 1998
2 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä, Ilkka Niemel A - 1993