{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:42:06Z","timestamp":1725550926786},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540667490"},{"type":"electronic","value":"9783540467670"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46767-x_25","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:51Z","timestamp":1269897171000},"page":"347-356","source":"Crossref","is-referenced-by-count":0,"title":["A Comparison of Sceptical NAF-Free Logic Programming Approaches"],"prefix":"10.1007","author":[{"given":"G.","family":"Antoniou","sequence":"first","affiliation":[]},{"given":"M. J.","family":"Maher","sequence":"additional","affiliation":[]},{"given":"Billington","family":"Billington","sequence":"additional","affiliation":[]},{"given":"G.","family":"Governatori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"G. Antoniou. Nonmonotonic Reasoning. MIT Press 1997.","DOI":"10.7551\/mitpress\/5040.001.0001"},{"key":"25_CR2","unstructured":"G. Antoniou, D. Billington, and M.J. Maher. Normal forms for defeasible logic. In Proc. 1998 Joint International Conference and Symposium on Logic Programming, MIT Press 1998."},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1080\/09528139008953720","volume":"2","author":"D. Billington","year":"1990","unstructured":"D. Billington, K. de Coster and D. Nute. A modular translation from defeasible nets to defeasible logic. Journal of Experimental and Theoretical Artificial Intelligence 2 (1990): 151\u2013177.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1093\/logcom\/3.4.379","volume":"3","author":"D. Billington","year":"1993","unstructured":"D. Billington. Defeasible Logic is Stable. Journal of Logic and Computation 3 (1993): 370\u2013400.","journal-title":"Journal of Logic and Computation"},{"key":"25_CR5","unstructured":"M.A. Covington, D. Nute and A. Vellino. Prolog Programming in Depth. Prentice Hall 1997."},{"key":"25_CR6","unstructured":"Y. Dimopoulos and A. Kakas. Logic Programming without Negation as Failure. In Proc. ICLP-95, MIT Press 1995."},{"key":"25_CR7","unstructured":"B.N. Grosof. Prioritized Conflict Handling for Logic Programs. In Proc. Int. Logic Programming Symposium, J. Maluszynski (Ed.), 197\u2013211. MIT Press, 1997."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"J.F. Horty, R.H. Thomason and D. Touretzky. A skeptical theory of inheritance in nonmonotonic semantic networks. In Proc. AAAI-87, 358\u2013363.","DOI":"10.1016\/0004-3702(90)90057-7"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"J.F. Horty. Some direct theories of nonmonotonic inheritance. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Clarendon Press 1994, 111\u2013187.","DOI":"10.1093\/oso\/9780198537472.003.0003"},{"key":"25_CR10","unstructured":"A.C. Kakas, P. Mancarella and P.M. Dung. The Acceptability Semantics for Logic Programs. In Proc. Eleventh International Conference on Logic Programming,(ICLP\u201994), 504\u2013519, MIT Press 1994"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"M.J. Maher, G. Antoniou and D. Billington. A Study of Provability in Defeasible Logic. In Proc. 11th Australian Joint Conference on Artificial Intelligence, LNAI 1502, Springer 1998, 215\u2013226.","DOI":"10.1007\/BFb0095054"},{"key":"25_CR12","unstructured":"D. Nute. Defeasible Reasoning. In Proc. 20th Hawaii International Conference on Systems Science, IEEE Press 1987, 470\u2013477."},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Arti_cial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353\u2013395.","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"25_CR14","unstructured":"D. Touretzky. The mathematics of inheritance systems. Morgan Kaufmann 1986."},{"key":"25_CR15","unstructured":"D. Touretzky, J.F. Horty and R.H. Thomason. A clash of intuitions: The current state of nonmonotonic multiple inheritance systems. In Proc. IJCAI-87, 476\u2013482, Morgan Kaufmann 1987."},{"key":"25_CR16","unstructured":"G. Wagner. Ex contradictione nihil sequitur. In Proc. 12th International Joint Conference on Artificial Intelligence, Morgan Kaufmann 1991."},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"X. Wang, J. You and L. Yuan. Nonmonotonic reasoning by monotonic inferences with priority constraints. In Nonmonotonic Extensions of Logic Programming, J Dix, P. Pereira, and T. Przymusinski (eds), LNAI 1216, Springer 1997, 91\u2013109.","DOI":"10.1007\/BFb0023803"},{"key":"25_CR18","unstructured":"X. Wang, J. You and L. Yuan. Logic programming without default negation revisited. In Proc. IEEE International Conference on Intelligent Processing Systems, IEEE 1997."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46767-X_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T11:20:22Z","timestamp":1711365622000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46767-X_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667490","9783540467670"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46767-x_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}