Get your next eBook for only 9.99! Stock up on Springer Protocols! Available through Aug 17, 2018.

Lecture Notes in Artificial Intelligence

Logics in AI

European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings

Editors: Pearce, David, Wagner, Gerd (Eds.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-47304-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-55887-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (23 chapters)

  • A modal theory of arrows. Arrow logics I

    Vakarelov, Dimiter

    Pages 1-24

  • Knowledge without modality: A simplified framework for chronological ignorance

    MacNish, Craig

    Pages 25-35

  • Design complete sequential calculus for continuous fixpoint temporal logic

    Pliuškevičius, Regimantas

    Pages 36-51

  • Logical omniscience and classical logic

    Muskens, Reinhard

    Pages 52-64

  • Weak implication: Theory and applications

    Kwast, Karen L. (et al.)

    Pages 65-83

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-47304-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-55887-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logics in AI
Book Subtitle
European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
Editors
  • David Pearce
  • Gerd Wagner
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
633
Copyright
1992
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47304-6
DOI
10.1007/BFb0023417
Softcover ISBN
978-3-540-55887-3
Edition Number
1
Number of Pages
VIII, 412
Topics