{"product_id":"9783540566670","title":"Lecture Notes in Computer Science: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eOhlbach, Hans J.\u003c\/h2\u003e \u003cp\u003eThis volume gives the proceedings of the sixteenth German\nConference on     Artificial Intelligence, held in the Gustav\nStresemann Institute in Berlin  from August 31 to September\n3, 1992. The volume contains 24 papers presentedin the\ntechnical sessions, 8 papers selected from the                       workshop\ncontributions, and an invited talk by D.M. Gabbay entitled\n\"Howto construct a logic for your application\".\nTopics discussed in the         technical papers include: a model\nelimination calculus, a sorted logic,     human theorem proving,\ndeduction based on Shannon graphs, expert            system\napplications, knowledge engineering, time interval                   networks,\nforward logic evaluation, concept support, heuristic\ninductivegeneralization, language engineering, feature\nlogic, similarity assessment, and many others.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-05-28\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540566670\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0018988\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 407\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370066403468,"sku":"9783540566670","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540566670.jpg?v=1773969687","url":"https:\/\/lateknightbooks.com\/products\/9783540566670","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}