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.)

Free Preview

Buy this book

eBook 71,68 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • 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 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-55887-3
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
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)

Table of contents (23 chapters)
  • A modal theory of arrows. Arrow logics I

    Pages 1-24

    Vakarelov, Dimiter

  • Knowledge without modality: A simplified framework for chronological ignorance

    Pages 25-35

    MacNish, Craig

  • Design complete sequential calculus for continuous fixpoint temporal logic

    Pages 36-51

    Pliuškevičius, Regimantas

  • Logical omniscience and classical logic

    Pages 52-64

    Muskens, Reinhard

  • Weak implication: Theory and applications

    Pages 65-83

    Kwast, Karen L. (et al.)

Buy this book

eBook 71,68 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • 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 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-55887-3
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
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