Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings (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...
Stock Image
Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings (Lecture Notes in . / Lecture Notes in Artificial Intelligence)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD14a-0619
Stock Image
Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings (Lecture Notes in Computer Science, 689)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020170881
Stock Image
Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings (Lecture Notes in Computer Science, 689)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540568049_new
Buy New
US$ 69.11
US$ 16.30 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
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
Buy New
US$ 65.16
US$ 27.20 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Methodologies for Intelligent Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 676. Seller Inventory # 263093662
Stock Image
Methodologies for Intelligent Systems
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 676 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5802817
Buy New
US$ 87.18
US$ 8.85 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Methodologies for Intelligent Systems
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 676. Seller Inventory # 183093652
Buy New
US$ 98.25
US$ 11.77 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
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 4 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
US$ 58.92
US$ 57.94 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 Berlin Heidelberg 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 676 pp. Englisch. Seller Inventory # 9783540568049
Buy New
US$ 65.16
US$ 70.96 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
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
Buy New
US$ 65.16
US$ 76.92 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available