{"product_id":"9783540568049","title":"Lecture Notes in Computer Science: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eKomorowski, Jan; Ras, Zbigniew W.\u003c\/h2\u003e \u003cp\u003eThis volume contains papers selected for presentation at the\nSeventh        International Symposium on Methodologies for\nIntelligent Systems (ISMIS     '93), held at the Norwegian\nInstitute of Technology, Trondheim, Norway, in  June 1993.\nThe volume includes six invited talks and 43                     contributed\npapers organized under the following headings: logic            for\nartificial intelligence, expert systems, intelligent\ndatabases,     approximate reasoning, constraint programming,\nlearning and adaptive        systems, methodologies, knowledge\nrepresentation, and manufacturing.\nTheinvited talks are: \"On extended disjunctive logic\nprograms\" (J. Minker, C.  Ruiz), \"Towards intelligent\ndatabases\" (F. Bry), \"Methodologies for         knowledge-based\nsoftware engineering\" (M. Lowry), \"Modelling of             industrial\nsystems\" (L. Ljung), \"The many faces of inductive                logic\nprogramming\" (L. De Raedt, N. Lavrac), and \"Systematic\nassessment of temporal reasoning methods for use in\nautonomous agents\" (E. Sandewall).\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-06-01\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540568049\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56804-2\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 662\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370066632844,"sku":"9783540568049","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540568049.jpg?v=1773969693","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540568049","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}