JELIA 1996: Évora, Portugal

@proceedings{DBLP:conf/jelia/1996,
  editor    = {Jos{\'e} J{\'u}lio Alferes and
               Lu\'{\i}s Moniz Pereira and
               Ewa Orlowska},
  title     = {Logics in Artificial Intelligence, European Workshop, JELIA '96,
               {\'E}vora, Portugal, September 30 - October 3, 1996, Proceedings},
  booktitle = {JELIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1126},
  year      = {1996},
  isbn      = {3-540-61630-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Automated Reasoning

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

Modal Logics

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

Applications

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

Invited Speaker

• Michael R. Genesereth: McCarthy's Idea. 134-142 BibTeX

Nonmonotonic Reasoning

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

Default Logics

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

Invited Speaker

• Gert Smolka: The Oz Programming Model. 251 BibTeX

Logic Programming

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

Invited Speaker

• Robert A. Kowalski: Logic Programming with Integrity Constraints. 301-302 BibTeX

Temporal and Spatial Logics

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

Belief Revision and Paraconsistency

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