{"product_id":"nonclassical-logics-and-information-processing-international-workshop-berlin-germany-november-9-10-1990-proceedings-9783540557456","title":"Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings","description":"\u003cp\u003e • Author(s): David Pearce | Heinrich Wansing\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Artificial Intelligence - General\u003c\/p\u003e\u003cp\u003eThis volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence. The papers are grouped according to the four major topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory. The classification is only a rough guide since the four areas overlap considerably.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47591843233943,"sku":"9783540557456","price":4080.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540557456.webp?v=1774974784","url":"https:\/\/atlanticbooks.com\/products\/nonclassical-logics-and-information-processing-international-workshop-berlin-germany-november-9-10-1990-proceedings-9783540557456","provider":"Atlantic Books","version":"1.0","type":"link"}