Advertisement

Table of contents

  1. Front Matter
  2. Yves Moinard, Raymond Rolland
    Pages 34-49
  3. Yannis Dimopoulos
    Pages 50-65
  4. Chandrabose Aravindan, Phan Minh Dung
    Pages 66-85
  5. Mary-Anne Williams
    Pages 86-105
  6. José Júlio Alferes, Luís Moniz Pereira
    Pages 106-121
  7. Victor W. Marek, Mirosław Truszczyński
    Pages 122-136
  8. Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle
    Pages 137-151
  9. Richard Scherl
    Pages 167-181
  10. Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda
    Pages 198-216
  11. Ewa Orlowska
    Pages 231-231
  12. Jussi Rintanen
    Pages 232-246
  13. Joeri Engelfriet, Jan Treur
    Pages 279-299
  14. Konstantinos Georgatos
    Pages 300-315
  15. Gerd Große
    Pages 316-331
  16. Giuseppe De Giacomo, Maurizio Lenzerini
    Pages 332-346
  17. Teodor C. Przymusinski
    Pages 364-364
  18. Andreas Nonnengart
    Pages 365-378
  19. Stefania Costantini, Pierangelo Dell'Acqua, Gaetano A. Lanzarone
    Pages 400-413
  20. Back Matter

About these proceedings

Introduction

This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision.

Keywords

Artificial intelligence Automat automated reasoning intelligence knowledge knowledge representation logic nonmonotonic reasoning programming

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0021960
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58332-5
  • Online ISBN 978-3-540-48657-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site