Methodologies for Intelligent Systems

7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings

662 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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).

• Reihe: Lecture Notes in Artificial Intelligence
• ISBN: 9783540568049
• Sprache: Englisch
• Erscheinungsdatum: 01.06.1993
• Genre: Informatik, EDV/Informatik
• Verlag: Springer Berlin
• Herausgegeben von: Jan Komorowski, Zbigniew W. Ras