{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:46Z","timestamp":1725551626079},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304623"},{"type":"electronic","value":"9783540316527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589990_86","type":"book-chapter","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T06:28:03Z","timestamp":1132986483000},"page":"812-815","source":"Crossref","is-referenced-by-count":0,"title":["A Fixed-Point Semantics for Plausible Logic"],"prefix":"10.1007","author":[{"given":"David","family":"Billington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"86_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5040.001.0001","volume-title":"Nonmonotonic Reasoning","author":"G. Antoniou","year":"1997","unstructured":"Antoniou, G.: Nonmonotonic Reasoning. MIT Press, Cambridge (1997)"},{"key":"86_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/3-540-45656-2_2","volume-title":"AI 2001: Advances in Artificial Intelligence","author":"G. Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D.: Relating Defeasible and Default Logic. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) Canadian AI 2001. LNCS (LNAI), vol.\u00a02256, pp. 13\u201324. Springer, Heidelberg (2001)"},{"key":"86_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1007\/11589990_83","volume-title":"AI 2005: Advances in Artificial Intelligence","author":"D. Billington","year":"2005","unstructured":"Billington, D.: The Proof Algorithms of Plausible Logic Form a Hierarchy. In: Zhang, S., Jarvis, R.A. (eds.) AI 2005. LNCS (LNAI), vol.\u00a03809, pp. 796\u2013799. Springer, Heidelberg (2005)"},{"key":"86_CR4","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"1972","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, London (1972)"},{"key":"86_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"#cr-split#-86_CR6.1","unstructured":"Maher, M.J.: A Model-Theoretic Semantics for Defeasible Logic. In: Decker, H., Villadsen, J., Waragai, T. (eds.) Paraconsistent Computational Logic, Roskilde University, Roskilde, Denmark, pp. 67???80 (2002);"},{"key":"#cr-split#-86_CR6.2","unstructured":"This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, July 27, Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC), also available at                                           http:\/\/arxiv.org\/abs\/cs.LO\/0207086,                                           http:\/\/arxiv.org\/pdf\/cs.LO\/0207086"},{"key":"86_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","AI 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589990_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:48:22Z","timestamp":1619506102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589990_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304623","9783540316527"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11589990_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}