{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:10:50Z","timestamp":1761621050652},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_9","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T22:10:11Z","timestamp":1290204611000},"page":"121-132","source":"Crossref","is-referenced-by-count":9,"title":["On the Relationship between Defeasible Logic and Well-Founded Semantics"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Brewka","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M. J., A Flexible Framework for Defeasible Logics, Proc. 17th American National Conference on Artificial Intelligence, AAAI-2000, 405\u2013410 121","key":"9_CR1"},{"unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M. J., Representation Results for Defeasible Logics, ACM Transactions on Computational Logic, in print 121, 122","key":"9_CR2"},{"unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M. J., Rock, A., A Family of Defeasible Reasoning Logics and its Implementation, Proc. European Conference on Artificial Intelligence ECAI-2000, 459\u2013463 121, 122, 123, 130","key":"9_CR3"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"20","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M., Logic Programming and Knowledge Representation,Journal of Logic Programming, 19,20:73\u2013148, 1994 125","journal-title":"Journal of Logic Programming"},{"unstructured":"Baral, C., Subrahmanian, V. S., Duality between Alternative Semantics of Logic Programs and Nonmonotonic Formalisms, Intl. Workshop on Logic Programming and Nonmonotonic Reasoning, 1991 125","key":"9_CR5"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1613\/jair.284","volume":"4","author":"G. Brewka","year":"1996","unstructured":"Brewka, G., Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences. Journal of Artificial Intelligence Research, 4:19\u201336, 1996 121, 122, 124, 125, 126, 130, 131","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G. Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T., Preferred Answer Sets for Extended Logic Programs. Artificial Intelligence 109, 297\u2013356, 1999 121","journal-title":"Artificial Intelligence"},{"unstructured":"Gelfond, M., Lifschitz, V., Logic Programs with Classical Negation, Proc. 7th Intl. Conference on Logic Programming, 1990 125","key":"9_CR8"},{"unstructured":"van Gelder, A., Ross, K., Schlipf, J., The Well-Founded Semantics for General Logic Programs, Journal of ACM, 221\u2013230, 1990 125","key":"9_CR9"},{"unstructured":"Lifschitz, V., Foundations of Declarative Logic Programming, in: G. Brewka (ed.), Principles of Knowledge Representation, Studies in Logic, Language and Information, CSLI publications, 1996 125","key":"9_CR10"},{"key":"9_CR11","first-page":"121","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J., Circumscription-A Form of Nonmonotonic Reasoning, Artificial Intelligence 13, 1980 121","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Maher, M. J., Rock, A., Antoniou, G., Billington, D., Miller, T., Efficient Defeasible Reasoning Systems, Proc. 12th IEEE International Conference on Tools with Artificial Intelligence, ICTAI-2000, 384\u2013392 121, 131","key":"9_CR12","DOI":"10.1109\/TAI.2000.889898"},{"unstructured":"Nute, D., Defeasible Reasoning, in Proc. 20th Hawaii International Conference on on Systems Science, IEEE Press, 1987, 470\u2013477 121, 122","key":"9_CR13"},{"doi-asserted-by":"crossref","unstructured":"Nute, D., Defeasible Logic, in D. M. Gabbay, C. J. Hogger, J. A. Robinson (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford University Press, 1994, 353\u2013395 121","key":"9_CR14","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"doi-asserted-by":"crossref","unstructured":"Przymusinski, T., The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics, Fundamenta Informaticae, 1989 125","key":"9_CR15","DOI":"10.3233\/FI-1990-13404"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"Przymusinski, T., Stable Semantics for Disjunctive Programs, New Generation Computing, 9:401\u2013424, 1991 125","journal-title":"New Generation Computing"},{"key":"9_CR17","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 13 (1980) 81\u2013132 121","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T10:34:37Z","timestamp":1711967677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}