Table of contents

  1. Front Matter
  2. Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä
    Pages 1-17
  3. Christophe Bourely, Gilles Défourneaux, Nicolas Peltier
    Pages 34-49
  4. Anatoli Degtyarev, Andrei Voronkov
    Pages 50-69
  5. Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo
    Pages 70-86
  6. Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati
    Pages 87-103
  7. Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder
    Pages 104-118
  8. Michael R. Genesereth
    Pages 134-142
  9. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
    Pages 143-163
  10. Joeri Engelfriet
    Pages 164-175
  11. Konstantinos Georgatos
    Pages 176-191
  12. Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Mirosław Truszczyński
    Pages 224-236
  13. G. Antoniou, A. P. Courtney, J. Ernst, M. A. Williams
    Pages 237-250
  14. Gert Smolka
    Pages 251-251
  15. Stefan Brass, Jürgen Dix
    Pages 268-283

About these proceedings


This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996.
The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.


AI Logics Automatisches Schließen KI-Logiken Logic Programming Mathematical Logics Nicht-Klassische Logiken Non-classical Logics artificial intelligence automated reasoning nonmonotonic reasoning

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61630-6
  • Online ISBN 978-3-540-70643-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book