default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automated Reasoning (JAR), Volume 13
Volume 13, Number 1, 1994
- Maria Paola Bonacina
, Jieh Hsiang:
Parallelization of Deduction Strategies: An Analytical Study. 1-33 - Piero A. Bonatti:
Autoepistemic Logic Programming. 35-67 - Li-Yan Yuan:
Autoepistemic Logic of First Order and Its Expressive Power. 69-82 - C. A. Johnson:
On the Termination of Clause Graph Resolution. 83-115 - Adnan H. Yahya, José Alberto Fernández, Jack Minker:
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. 117-143 - Chiaki Sakama, Katsumi Inoue:
An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. 145-172
Volume 13, Number 2, 1994
- Melvin Fitting:
Tableaux for Logic Programming. 175-188 - Mark E. Stickel:
Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction. 189-210 - Reiner Hähnle, Peter H. Schmitt:
The Liberalized delta-Rule in Free Variable Semantic Tableaux. 211-221 - Vincent Risch, Camilla Schwind:
Tableaux-Based Characterization and Theorem Proving for default Logic. 223-242 - Marcello D'Agostino, Dov M. Gabbay:
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. 243-281
Volume 13, Number 3, 1994
- Owen L. Astrachan:
Meteor: Exploring Model Elimination Theorem Proving. 283-296 - Reinhold Letz, Klaus Mayr, Christoph Goller:
Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. 297-337 - Peter Baumgartner, Ulrich Furbach:
Model Elimination Without Contrapositives and Its Application to PTTP. 339-359 - Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
An Improved Refutation System for Intuitionistic Predicate Logic. 361-373 - Sven Lorenz:
A Tableaux Prover for Domain Minimization. 375-390 - Regimantas Pliuskevicius:
The Saturated Tableaux for Linear Miniscoped Horn-like Temporal Logic. 391-407 - Johann Schumann:
Tableaux-based Theorem Provers: Systems and Implementations. 409-421
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
