Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings: 689 (Lecture Notes in Computer Science, 689) - Softcover
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).
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Methodologies for Intelligent Systems: 7th International...
Seller Image
Methodologies for Intelligent Systems
Published by
Springer Berlin Heidelberg Jun 1993, 1993
ISBN 10: 3540568042
ISBN 13: 9783540568049
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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). 676 pp. Englisch. Seller Inventory # 9783540568049
Seller Image
Methodologies for Intelligent Systems
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540568042
ISBN 13: 9783540568049
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 si. Seller Inventory # 4894082
Buy New
£ 43.15
£ 42.43 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Methodologies for Intelligent Systems
Published by
Springer, Springer Jun 1993, 1993
ISBN 10: 3540568042
ISBN 13: 9783540568049
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains papers selected for presentation at theSeventh 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).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 676 pp. Englisch. Seller Inventory # 9783540568049
Seller Image
Methodologies for Intelligent Systems : 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540568042
ISBN 13: 9783540568049
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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
Seller Image
Methodologies for Intelligent Systems | 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Methodologies for Intelligent Systems | 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings | Jan Komorowski (u. a.) | Taschenbuch | xiv | Englisch | 1993 | Springer | EAN 9783540568049 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 102132755
Stock Image
Methodologies for Intelligent Systems : 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 676 | Sprache: Englisch | Produktart: Bücher | 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 # 3950453/202