![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.