Volume 20,
Number 1/2,
April 1998
Logics for Artificial Intelligence
- José Júlio Alferes, Luís Moniz Pereira:
Preface: Logics for Artificial Intelligence.
1-3 BibTeX
- Hans de Nivelle:
An Algorithm for the Retrieval of Unifiers from Discrimination Trees.
5-25 BibTeX
- Gilles Défourneaux, Christophe Bourely, Nicolas Peltier:
Semantic Generalizations for Proving and Disproving Conjectures by Analogy.
27-45 BibTeX
- Anatoli Degtyarev, Andrei Voronkov:
What You Always Wanted to Know about Rigid E-Unification.
47-80 BibTeX
- Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder:
Strategies in Model-Based Diagnosis.
81-105 BibTeX
- José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
`Classical' Negation in Nonmonotonic Reasoning and Logic Programming.
107-142 BibTeX
- Stefan Brass, Jürgen Dix:
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA.
143-165 BibTeX
- Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino:
Informational Logic as a Tool for Automated Reasoning.
167-190 BibTeX
- Philippe Besnard, Torsten Schaub:
Signed Systems for Paraconsistent Reasoning.
191-213 BibTeX
Volume 20,
Number 3,
June 1998
Studies in Automated Reasoning
Research Articles
Copyright © Sun May 17 00:06:23 2009
by Michael Ley (ley@uni-trier.de)
