default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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-11-14 21:06 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:
