default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 20

> 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 20, Number 1/2, April 1998

Logics for Artificial Intelligence

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/jar/AlferesP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlferesP98
José Júlio Alferes, Luís Moniz Pereira:
Preface: Logics for Artificial Intelligence. J. Autom. Reason. 20(1): 1-3 (1998)
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Nivelle98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Nivelle98
Hans de Nivelle:
An Algorithm for the Retrieval of Unifiers from Discrimination Trees. 5-25
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DefourneauxBP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DefourneauxBP98
Gilles Défourneaux, Christophe Bourely, Nicolas Peltier:
Semantic Generalizations for Proving and Disproving Conjectures by Analogy. 27-45
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DegtyarevV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DegtyarevV98
Anatoli Degtyarev, Andrei Voronkov:
What You Always Wanted to Know about Rigid E-Unification. 47-80
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FrohlichNS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FrohlichNS98
Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder:
Strategies in Model-Based Diagnosis. 81-105
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AlferesPP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlferesPP98
José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. 107-142
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BrassD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BrassD98
Stefan Brass, Jürgen Dix:
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. 143-165
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ForcheriGM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ForcheriGM98
Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino:
Informational Logic as a Tool for Automated Reasoning. 167-190
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BesnardS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BesnardS98
Philippe Besnard, Torsten Schaub:
Signed Systems for Paraconsistent Reasoning. 191-213

Volume 20, Number 3, June 1998

Studies in Automated Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/jar/HuangM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HuangM98
Guoxiang Huang, Dale Myers:
Subgoal Strategies for Solving Board Puzzles. 215-253

Research Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Melis98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Melis98
Erica Melis:
The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe. 255-282
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Hodgson98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Hodgson98
Kahlil Hodgson:
Shortest Single Axioms for the Equivalential Calculus with CD and RCD. 283-316
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ohlbach98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ohlbach98
Hans Jürgen Ohlbach:
Elimination of Self-Resolving Clauses. 317-336
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ParamasivamP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ParamasivamP98
M. Paramasivam, David A. Plaisted:
Automated Deduction Techniques for Classification in Description Logic Systems. 337-364
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kandri-RodyMS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kandri-RodyMS98
Abdelilah Kandri-Rody, Hamid Maarouf, Mohamed Ssafini:
Triviality and Dimension of a System of Algebraic Differential Equations. 365-385

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.