{"product_id":"logics-in-ai-european-workshop-jelia-92-berlin-germany-september-7-10-1992-proceedings-von-david-pearce-gerd-wagner-hrsg","title":"Logics in AI","description":"This 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540558873\"\u003e\u003ch3\u003eEuropean Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540558873","offer_id":39425979482205,"sku":"9783540558873","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/da0f7deb-51ca-4c2e-86fa-f2b2125b08f7.jpg?v=1773554524","url":"https:\/\/shop.autorenwelt.de\/products\/logics-in-ai-european-workshop-jelia-92-berlin-germany-september-7-10-1992-proceedings-von-david-pearce-gerd-wagner-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}