Résumé: This volume contains papers selected for presentation at the Seventh International Symposium on Methodologies for Intelligent Systems ISMIS '93, held at the Norwegian Institute of Technology, Trondheim, Norway, in June 1993. The volume includes six invited talks and 43 contributed papers organized under the following headings: logic for artificial intelligence, expert systems, intelligent databases, approximate reasoning, constraint programming, learning and adaptive systems, methodologies, knowledge representation, and manufacturing.

Edition: Heidelberg,New York: Springer-Verlag Springer-Verlag
Langue: Anglais
Collation: xi, 651 p. ill. ;24 cm
ISBN: 3540568042
Index décimal 006.3 .Intelligence artificielle (ouvrages généraux sur l'intelligence artificielle et la science cognitive, reconnaissance de formes comme outil de l'intelligence artificielle, systèmes de questions et réponses)
Thème Informatique

Mots clés:
Systèmes experts (Informatique) :Actes de congrès
Intelligence artificielle :Actes de congrès