JELIA 1996: Évora, Portugal

José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Lecture Notes in Computer Science 1126 Springer 1996, ISBN 3-540-61630-6

Automated Reasoning

Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä:
Hyper Tableaux. 1-17
Hans de Nivelle:
An Algorithm for the Retrieval of Unifiers from Discrimination Trees. 18-33
Christophe Bourely, Gilles Défourneaux, Nicolas Peltier:
Building Proofs or Counterexamples by Analogy in a Resoluton Framework. 34-49
Anatoli Degtyarev, Andrei Voronkov:
What You Always Wanted to Know About Rigid E-Unification. 50-69

Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo:
Labelled Proofs for Quantified Modal Logic. 70-86
Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati:
A Uniform Tableaux Method for Nonmonotonic Modal Logics. 87-103

Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder:
Design and Implementation of Diagnostic Strategies Using Modal Logic. 104-118
Filipe Santos, José Carmo:
A Modal Action Logic Based Framework for Organization Specification and Analysis. 119-133

José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. 143-163
Joeri Engelfriet:
Only Persistence Makes Nonmonotonicity Monotonous. 164-175
Konstantinos Georgatos:
Ordering-Based Representations of Rational Inference. 176-191

Artur Mikitiuk:
Semi-Representability of Default Theories in Rational Default Logic. 192-207
Viorica Ciorba:
A Query Answering Algorithm for Lukaszewicz' General Open Default Theory. 208-223
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. 224-236
Grigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams:
A System for Computing Constrained Default Logic Extensions. 237-250

Chandrabose Aravindan:
An Abductive Framework for Negation in Disjunctive Logic Programming. 252-267
Stefan Brass, Jürgen Dix:
Characterizing D-WFS: Confluence and Iterated GCWA. 268-283
Vasco Pedro, Luís Monteiro:
Modules and Specifications. 284-300

Manuel Enciso, Inman P. de Guzmán, Carlos Rossi:
Temporal Reasoning over Linear Discrete Time. 303-319
Regimantas Pliuskevicius:
Similarity Saturation for First Order Linear Temporal Logic with UNLESS. 320-336
Brandon Bennett:
Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions. 337-353

Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino:
Informational Logic for Automated Reasoning. 354-372
Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin:
Extensions for Open Default Theories via the Domain Closure Assumption. 373-387
Cees Witteveen, Wiebe van der Hoek:
Revising and Updating Using a Back-Up Semantics. 388-403
Philippe Besnard, Torsten Schaub:
A Simple Signed System for Paraconsistent Reasoning. 404-416