ENGLISH

Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings

By Jack Minker , Carolina Ruiz (auth.) , Jan Komorowski , Zbigniew W. Raś (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1993
ISBN
978-3-540-56804-9, 978-3-540-47750-1
DOI
10.1007/3-540-56804-2
Language
english
Format
PDF
Filesize
11 MB (11490012 bytes)
Series
Lecture Notes in Computer Science 689
Edition
1
Pages
662\664
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Artificial Intelligence (incl. Robotics)

Description

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. Theinvited talks are: "On extended disjunctive logic programs" (J. Minker, C. Ruiz), "Towards intelligent databases" (F. Bry), "Methodologies for knowledge-based software engineering" (M. Lowry), "Modelling of industrial systems" (L. Ljung), "The many faces of inductive logic programming" (L. De Raedt, N. Lavrac), and "Systematic assessment of temporal reasoning methods for use in autonomous agents" (E. Sandewall).

Similar books