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

  • Book Title Logics in Artificial Intelligence
  • Book Subtitle European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
  • Editors Craig MacNish
    David Pearce
    Luis M. Pereira
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-58332-5
  • eBook ISBN 978-3-540-48657-2
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages IX, 416
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Mathematical Logic and Formal Languages
    Logics and Meanings of Programs
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences