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 updated on Sat May 18 06:19:38 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page