{"product_id":"9783540558873","title":"Lecture Notes in Computer Science: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003ePearce, David; Wagner, Gerd\u003c\/h2\u003e \u003cp\u003eThis volume contains the proceedings of JELIA '92, les\nJourn es Europ ennes sur la Logique en Intelligence\nArtificielle, or the Third European Workshop on Logics in\nArtificial Intelligence.\nThe volume contains 2 invited     addresses and 21 selected\npapers covering such topics as:\n- Logical     foundations of logic programming and\nknowledge-based systems,\n-         Automated theorem proving,\n- Partial and dynamic logics,\n- Systems of   nonmonotonic reasoning,\n- Temporal and epistemic logics,\n- Belief       revision.\nOne invited paper, by D. Vakarelov, is on arrow logics,\ni.e., modal logics for representing graph information. The\nother, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is\non default theory for well founded      semantics with explicit\nnegation.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-08-19\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540558873\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0023417\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 412\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370065715340,"sku":"9783540558873","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540558873.jpg?v=1773969660","url":"https:\/\/lateknightbooks.com\/products\/9783540558873","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}