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

Zbigniew W. Ras

ISBN 10: 3540568042 / ISBN 13: 9783540568049

Published by Springer Berlin Heidelberg, 1993

About this Item

Druck auf Anfrage Neuware - Printed after ordering - This volume contains papers selected for presentation at theSeventh International Symposium on Methodologies forIntelligent Systems (ISMIS '93), held at the NorwegianInstitute of Technology, Trondheim, Norway, in June 1993.The volume includes six invited talks and 43 contributedpapers organized under the following headings: logic forartificial intelligence, expert systems, intelligentdatabases, approximate reasoning, constraint programming,learning and adaptive systems, methodologies, knowledgerepresentation, and manufacturing.Theinvited talks are: 'On extended disjunctive logicprograms' (J. Minker, C. Ruiz), 'Towards intelligentdatabases' (F. Bry), 'Methodologies for knowledge-basedsoftware engineering' (M. Lowry), 'Modelling of industrialsystems' (L. Ljung), 'The many faces of inductive logicprogramming' (L. De Raedt, N. Lavrac), and 'Systematicassessment of temporal reasoning methods for use inautonomous agents' (E. Sandewall).

Seller Inventory # 9783540568049

Bibliographic Details

• Title: Methodologies for Intelligent Systems : 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings
• Publisher: Springer Berlin Heidelberg
• Publication Date: 1993
• Language: English
• ISBN 10: 3540568042
• ISBN 13: 9783540568049
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 37D millimeters 235 millimeters width by 155 millimeters height by 37 millimeters depth
• Weight: 1007 grams

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