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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/BFb0023417
  • 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
  • About this book