default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 28

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 28, Number 1, January 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Yahya02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Yahya02
Adnan H. Yahya:
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases. 1-34
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Eker02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Eker02
Steven Eker:
Single Elementary Associative-Commutative Matching. 35-51
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ShenYY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ShenYY02
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
SLT-Resolution for the Well-Founded Semantics. 53-97

Volume 28, Number 2, February 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GentW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GentW02
Ian P. Gent, Toby Walsh:
Satisfiability in the Year 2000. 99
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CadoliSGG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CadoliSGG02
Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi:
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. 101-142
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GiunchigliaTG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GiunchigliaTG02
Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia:
SAT-Based Decision Procedures for Classical Modal Logics. 143-171
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HorrocksP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HorrocksP02
Ian Horrocks, Peter F. Patel-Schneider:
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. 173-204
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HustadtS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HustadtS02
Ullrich Hustadt, Renate A. Schmidt:
Using Resolution for Testing Modal Satisfiability and Building Models. 205-232

Volume 28, Number 3, April 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jar/CremannsO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CremannsO02
Robert Cremanns, Friedrich Otto:
A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles. 235-256
- view
  authority control:
- export record
  dblp key:
  - journals/jar/JanicicB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/JanicicB02
Predrag Janicic, Alan Bundy:
A General Setting for Flexibly Combining and Augmenting Decision Procedures. 257-305
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SutcliffeSP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SutcliffeSP02
Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier:
The IJCAR ATP System Competition. 307-320
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BarendregtB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BarendregtB02
Henk Barendregt, Erik Barendsen:
Autarkic Computations in Formal Proofs. 321-336

Volume 28, Number 5, May 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Knapik02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Knapik02
Teodor Knapik:
Checking Simple Properties of Transition Systems Defined by Thue Specifications. 337-369
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HookerRCS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HookerRCS02
John N. Hooker, G. Rago, V. Chandru, A. Shrivastava:
Partial Instantiation Methods for Inference in First-Order Logic. 371-396
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MontanariPS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MontanariPS02
Angelo Montanari, Alberto Policriti, Matteo Slanina:
Alternative Translation Techniques for Propositional and First-Order Modal Logics. 397-415
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Goldberg02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Goldberg02
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.