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
  16. Vasco Pedro, Luís Monteiro
    Pages 284-300
  17. Robert Kowalski
    Pages 301-302
  18. Manuel Enciso, Inma P. de Guzmán, Carlos Rossi
    Pages 303-319
  19. Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino
    Pages 354-372
  20. Michael Kaminski, Johann A. Makowsky, Michael Tiomkin
    Pages 373-387
  21. Cees Witteveen, Wiebe van der Hoek
    Pages 388-403
  22. Philippe Besnard, Torsten Schaub
    Pages 404-416
  23. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences