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

About these proceedings


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.


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

Bibliographic information

  • DOI
  • 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
  • About this book