Lecture Notes in Artificial Intelligence

Fundamentals of Artificial Intelligence Research

International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings

Editors: Jorrand, Philippe, Kelemen, Jozef (Eds.)

Buy this book

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

This volume contains 6 invited lectures and 13 submitted contributions to the scientific programme of the international workshop Fundamentals of Artificial Intelligence Research, FAIR '91, held at Smolenice Castle, Czechoslovakia, September 8-12, 1991, under the sponsorship of the European Coordinating Committee for Artificial Intelligence, ECCAI. FAIR'91, the first of an intended series of international workshops, addresses issues which belong to the theoretical foundations of artificial intelligence considered as a discipline focused on concise theoretical description of some aspects of intelligence by toolsand methods adopted from mathematics, logic, and theoretical computer science. The intended goal of the FAIR workshops is to provide a forum for the exchange of ideas and results in a domain where theoretical models play an essential role. It is felt that such theoretical studies, their development and their relations to AI experiments and applications have to be promoted in the AI research community.

Table of contents (20 chapters)

  • User-oriented theorem proving with the ATINF graphic proof editor

    Caferra, Ricardo (et al.)

    Pages 1-10

  • A modal analysis of possibility theory

    Fariñas del Cerro, Luis (et al.)

    Pages 11-18

  • Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I — A position paper

    Gabbay, Dov (et al.)

    Pages 19-32

  • Relational proof systems for some AI logics

    Orlowska, Eva

    Pages 33-47

  • Formal grammars and cognitive architectures

    PĂun, Gheorghe

    Pages 48-58

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Fundamentals of Artificial Intelligence Research
Book Subtitle
International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings
Editors
  • Philippe Jorrand
  • Jozef Kelemen
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
535
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38420-5
DOI
10.1007/3-540-54507-7
Softcover ISBN
978-3-540-54507-1
Edition Number
1
Number of Pages
VIII, 260
Topics