Lecture Notes in Artificial Intelligence

Logics in AI

European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings

Editors: Eijck, Jan van (Ed.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-46982-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-53686-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.

Table of contents (1 chapters)

  • Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators

    J. Michael Dunn

    Pages

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-46982-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-53686-4
  • 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 '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
Editors
  • Jan van Eijck
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
478
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46982-7
DOI
10.1007/BFb0018429
Softcover ISBN
978-3-540-53686-4
Edition Number
1
Number of Pages
XI, 569
Topics