Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings: 689 (Lecture Notes in Computer Science, 689) - Tapa blanda

Ras, Zbigniew W.; Komorowski, Jan

 
9783540568049: Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings: 689 (Lecture Notes in Computer Science, 689)

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9780387568041: Methodologies for Intelligent Systems: 7th International Symposium, Ismis '93 Trondheim, Norway, June 15-18, 1993 Proceedings (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  0387568042 ISBN 13:  9780387568041
Editorial: Springer Verlag, 1993
Tapa blanda