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

ISBN 10: 3540568042 / ISBN 13: 9783540568049

Published by Springer, 1993

About this Item

A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.

Seller Inventory # OTV.3540568042.G

Bibliographic Details

• Title: Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings (Lecture Notes in Computer Science, 689)
• Publisher: Springer
• Publication Date: 1993
• Language: English
• ISBN 10: 3540568042
• ISBN 13: 9783540568049
• Binding: Soft cover
• Condition: good

About this title

Synopsis

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