Journal of Automated Reasoning (JAR), Volume 28

Volume 28, Number 1, January 2002

• Adnan H. Yahya:
  Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases. 1-34
  
• Steven Eker:
  Single Elementary Associative-Commutative Matching. 35-51
  
• Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
  SLT-Resolution for the Well-Founded Semantics. 53-97
  

Volume 28, Number 2, February 2002

• Ian P. Gent, Toby Walsh:
  Satisfiability in the Year 2000. 99
  
• Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi:
  An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. 101-142
  
• Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia:
  SAT-Based Decision Procedures for Classical Modal Logics. 143-171
  
• Ian Horrocks, Peter F. Patel-Schneider:
  Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. 173-204
  
• Ullrich Hustadt, Renate A. Schmidt:
  Using Resolution for Testing Modal Satisfiability and Building Models. 205-232
  

Volume 28, Number 3, April 2002

• Robert Cremanns, Friedrich Otto:
  A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles. 235-256
  
• Predrag Janicic, Alan Bundy:
  A General Setting for Flexibly Combining and Augmenting Decision Procedures. 257-305
  
• Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier:
  The IJCAR ATP System Competition. 307-320
  
• Henk Barendregt, Erik Barendsen:
  Autarkic Computations in Formal Proofs. 321-336
  

Volume 28, Number 5, May 2002

• Teodor Knapik:
  Checking Simple Properties of Transition Systems Defined by Thue Specifications. 337-369
  
• John N. Hooker, G. Rago, V. Chandru, A. Shrivastava:
  Partial Instantiation Methods for Inference in First-Order Logic. 371-396
  
• Angelo Montanari, Alberto Policriti, Matteo Slanina:
  Alternative Translation Techniques for Propositional and First-Order Modal Logics. 397-415
  
• Eugene Goldberg:
  Proving Unsatisfiability of CNFs Locally. 417-434
  

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