Journal 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
  

Last update Tue Feb 14 04:19:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page