Advertisement

Table of contents

  1. Front Matter
  2. Ricardo Caferra, Michel Herment, Nicolas Zabel
    Pages 1-10
  3. Luis Fariñas del Cerro, Andreas Herzig
    Pages 11-18
  4. Gheorghe PĂun
    Pages 48-58
  5. Zdravko Markov
    Pages 127-140
  6. M. Rusinowitch, L. Vigneron
    Pages 185-199
  7. Gražina Taučaitė, Justinas Laurinskas
    Pages 220-226
  8. Jacqueline Vauzeilles
    Pages 227-241
  9. Back Matter

About these proceedings

Introduction

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.

Keywords

Automatisches Schließen Grammars Grammatiken Mathematical Logic Mathematische Logik Möglichkeitstheorie Reasoning Simulation artificial intelligence automated deduction grammar knowledge knowledge representation learning theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-54507-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54507-1
  • Online ISBN 978-3-540-38420-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site