Table of contents

  1. Front Matter
  2. Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
    Pages 1-10
  3. Alessandro Armando, Alessandro Cimatti, Luca Viganò
    Pages 11-22
  4. Evelina Lamma, Paola Mello
    Pages 23-34
  5. Fiora Pirri, Clara Pizzuti
    Pages 41-46
  6. Cristina Conati, Jill Fain Lehman
    Pages 47-58
  7. Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
    Pages 59-64
  8. Gary McGraw, Douglas Hofstadter
    Pages 65-70
  9. E. Ardizzone, A. Chella, R. Pirrone
    Pages 71-83
  10. Alberto Braggiotti, Gaetano Chemello, Claudio Sossai, Gaetano Trainito
    Pages 90-95
  11. Angelo Monfroglio
    Pages 102-107
  12. Claudio Bettini
    Pages 120-131
  13. Giovanni Adorni, Agostino Poggi
    Pages 154-159
  14. George Vossos, John Zeleznikow, Daniel Hunter
    Pages 160-165

About these proceedings


This book contains 22 long papers and 13 short ones selected for the Scientific Track of the Third Congress of the Italian Association for Artificial Intelligence. The long papers report completed work whereas the short papers are mainly devoted to ongoing research. The papers report significant work carried out in the different subfields of artificial intelligence not only in Italy but also elsewhere: 8 of the papers come from outside Italy, with 2 from the United States and 1 eachfrom Australia, Austria, Germany, The Netherlands, Spain, and Turkey. The papers in the book are grouped into parts on: automated reasoning; cognitive models; connectionist models and subsymbolic approaches; knowledge representation and reasoning; languages, architectures and tools for AI; machine learning; natural language; planning and robotics; and reasoning about physical systems and artifacts.


Automated Reasoning Automatisches Schließen Cognitive Models Kognitionsmodelle Machine Learning Maschinelles Lernen Natural Language Processing algorithms artificial intelligence complexity genetic algorithms knowledge representation programming robot robotics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57292-3
  • Online ISBN 978-3-540-48038-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book