{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T11:54:36Z","timestamp":1747742076705},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627180"},{"type":"electronic","value":"9783540684947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62718-9_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:49:18Z","timestamp":1330296558000},"page":"313-324","source":"Crossref","is-referenced-by-count":2,"title":["Synthesis of proof procedures for default reasoning"],"prefix":"10.1007","author":[{"given":"Phan Minh","family":"Dung","sequence":"first","affiliation":[]},{"given":"Robert A.","family":"Kowalski","sequence":"additional","affiliation":[]},{"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"18_CR1","first-page":"171","volume-title":"An assumption-based framework for non-monotonic reasoning","author":"A. Bondarenko","year":"1993","unstructured":"A. Bondarenko, F. Toni, R. A. Kowalski, An assumption-based framework for non-monotonic reasoning. Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, Lisbon, Portugal (1993), MIT Press (L. M. Pereira and A. Nerode, eds) 171\u2013189"},{"unstructured":"A. Bondarenko, P. M. Dung, R. A. Kowalski, F. Toni, An abstract, argumentation-theoretic framework for default reasoning. To appear in Artificial Intelligence, Elsevier.","key":"18_CR2"},{"key":"18_CR3","first-page":"20","volume":"19","author":"Y. Deville","year":"1994","unstructured":"Y. Deville, K.-K. Lau, Logic program synthesis. Journal of Logic Programming 19\/20 (1994), Elsevier, 321\u2013350","journal-title":"Journal of Logic Programming"},{"key":"18_CR4","first-page":"3","volume-title":"Negation as hypothesis: an abductive foundation for logic programming","author":"P. M. Dung","year":"1991","unstructured":"P. M. Dung, Negation as hypothesis: an abductive foundation for logic programming. Proceedings of the 8th International Conference on Logic Programming, Paris, France (1991), MIT Press (K. Furukawa, ed.) 3\u201317"},{"key":"18_CR5","first-page":"852","volume-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming","author":"P. M. Dung","year":"1993","unstructured":"P. M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming. Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambery, France (1993), Morgan Kaufmann (R. Bajcsy, ed.) 852\u2013857"},{"key":"18_CR6","volume-title":"Logic Programming Section Technical Report","author":"P. M. Dung","year":"1996","unstructured":"P. M. Dung, R. A. Kowalski, F. Toni, Argumentation-theoretic proof procedures for non-monotonic reasoning. Logic Programming Section Technical Report, Department of Computing, Imperial College, London (1996)"},{"key":"18_CR7","volume-title":"Logic Programming Section Technical Report","author":"K. Eshghi","year":"1988","unstructured":"K. Eshghi, R.A. Kowalski, Abduction through deduction. Logic Programming Section Technical Report, Department of Computing, Imperial College, London (1988)"},{"key":"18_CR8","first-page":"234","volume-title":"Abduction compared with negation as failure","author":"K. Eshghi","year":"1989","unstructured":"K. Eshghi, R. A. Kowalski, Abduction compared with negation as failure. Proceedings of the 6th International Conference on Logic Programming, Lisbon, Portugal (1989), MIT Press (G. Levi and M. Martelli, eds) 234\u2013254"},{"key":"18_CR9","first-page":"1070","volume-title":"The stable model semantics for logic programming","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond, V. Lifschitz, The stable model semantics for logic programming. Proceedings of the 5th International Conference on Logic Programming, Washington, Seattle (1988), MIT Press (K. Bowen and R. A. Kowalski, eds) 1070\u20131080"},{"issue":"4","key":"18_CR10","first-page":"341","volume":"14","author":"A. C. Kakas","year":"1993","unstructured":"A. C. Kakas, P. Mancarella. Preferred extensions are partial stable models. Journal of Logic Programming 14(3,4) (1993), Elsevier, 341\u2013348","journal-title":"Journal of Logic Programming"},{"key":"18_CR11","first-page":"504","volume-title":"The Acceptability Semantics for Logic Programs","author":"A. C. Kakas","year":"1994","unstructured":"A. C. Kakas, P. Mancarella, P.M. Dung, The Acceptability Semantics for Logic Programs. Proceedings of the 11th International Conference on Logic Programming, Santa Margherita Ligure, Italy (1994), MIT Press (P. van Hentenryck, ed.) 504\u2013519"},{"key":"18_CR12","volume-title":"Logic for problem solving","author":"R.A. Kowalski","year":"1979","unstructured":"R.A. Kowalski. Logic for problem solving. Elsevier, New York (1979)"},{"key":"18_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy, Circumscription \u2014 a form of non-monotonic reasoning. Artificial Intelligence 13 (1980), Elsevier, 27\u201339","journal-title":"Artificial Intelligence"},{"issue":"1","key":"18_CR14","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDermott","year":"1982","unstructured":"D. McDermott, Nonmonotonic logic II: non-monotonic modal theories. Journal of ACM 29(1) (1982) 33\u201357","journal-title":"Journal of ACM"},{"doi-asserted-by":"crossref","unstructured":"R. Moore, Semantical considerations on non-monotonic logic. Artificial Intelligence 25 (1985), Elsevier, 75\u201394","key":"18_CR15","DOI":"10.1016\/0004-3702(85)90042-6"},{"issue":"3","key":"18_CR16","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1145\/357172.357177","volume":"4","author":"R. Paige","year":"1982","unstructured":"R. Paige, S. Koenig, Finite differencing of computable expressions. ACM Transactions on Programming Languages Systems 4(3) (1982), ACM Press, 402\u2013454","journal-title":"ACM Transactions on Programming Languages Systems"},{"key":"18_CR17","first-page":"20","volume":"19","author":"A. Pettorossi","year":"1994","unstructured":"A. Pettorossi, M. Proietti, Transformation of logic programs. Journal of Logic Programming 19\/20 (1994), Elsevier, 261\u2013320","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"D. Poole, A logical framework for default reasoning. Artificial Intelligence 36 (1988), Elsevier, 27\u201347","key":"18_CR18","DOI":"10.1016\/0004-3702(88)90077-X"},{"doi-asserted-by":"crossref","unstructured":"R. Reiter, A logic for default reasoning. Artificial Intelligence 13 (1980), Elsevier, 81\u2013132","key":"18_CR19","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"18_CR20","first-page":"205","volume-title":"Stable model semantics and non-determinism for logic programs with negation","author":"D. Sacc\u00e0","year":"1990","unstructured":"D. Sacc\u00e0, C. Zaniolo, Stable model semantics and non-determinism for logic programs with negation. Proceedings of the 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Nashville, Tennessee (1990) ACM Press, 205\u2013217"}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62718-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:10Z","timestamp":1605647650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62718-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627180","9783540684947"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-62718-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}