Table of contents

  1. Front Matter
  2. Dimiter Vakarelov
    Pages 1-24
  3. Reinhard Muskens
    Pages 52-64
  4. Karen L. Kwast, Sieger van Denneheuvel
    Pages 65-83
  5. Véronique Royer, J. Joachim Quantz
    Pages 84-105
  6. Bertram Fronhöfer
    Pages 106-125
  7. Emil Weydert
    Pages 126-138
  8. Christine Froidevaux, Jérôme Mengin
    Pages 154-173
  9. Ph. Besnard, E. Grégoire
    Pages 212-231
  10. Tim Fernando
    Pages 232-251
  11. Marion Sarkis Mircheva
    Pages 252-261
  12. Hans-Joachim Goltz
    Pages 279-303
  13. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
    Pages 339-356
  14. Cees Witteveen
    Pages 373-390
  15. Heinrich Herre, David Pearce
    Pages 391-410
  16. Back Matter

About these proceedings


This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.


Artificial intelligence Automat automated theorem proving intelligence knowledge knowledge-based system knowledge-based systems logic nonmonotonic reasoning programming proving semantics theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55887-3
  • Online ISBN 978-3-540-47304-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site