{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:19:17Z","timestamp":1760170757469},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:18:39Z","timestamp":1330276719000},"page":"316-329","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Nonmonotonic inheritance, argumentation and logic programming"],"prefix":"10.1007","author":[{"given":"Phan Minh","family":"Dung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Delgrande, J.P., Schaub, T.H.: A General Approach to Specificity in Default Reasoning, Knowledge and Representation (1994).","DOI":"10.1016\/B978-1-4832-1452-8.50110-X"},{"key":"23_CR2","first-page":"2","volume":"76","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming and N-person game. AI Vol. 76 2 (1995) (An extended abstract of this paper can be found in the proceeding of IJCAI, 1993)","journal-title":"AI"},{"key":"23_CR3","volume-title":"Reasoning with Incomplete Information","author":"D. Etherington","year":"1988","unstructured":"Etherington, D.: Reasoning with Incomplete Information, Pitman, London. (1988)"},{"key":"23_CR4","unstructured":"Etherington, D., Reiter, R.: On Inheritance Hierarchies with Exceptions in Proc. of AAAI-83 (1983) 104-108"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Geerts P., Vermeir D.: A Nonmonotonic Reasoning Formalism using implicit specificity information. Proceeding of LPNMR'93, 380\u2013396","DOI":"10.7551\/mitpress\/4307.003.0032"},{"key":"23_CR6","first-page":"209","volume":"53","author":"H. Geffner","year":"1992","unstructured":"Geffner H., Pearl, J.: Conditional entailment: bridging two approaches to default reasoning, Elsevier, AI Vol. 53, (1992) 209\u2013244","journal-title":"AI"},{"key":"23_CR7","unstructured":"Gelfond, M., Lipschitz, V.: The stable model semantics for logic programs, Proceeding of the 5th ICLP, MIT Press, (1988), 1070\u20131079"},{"key":"23_CR8","unstructured":"Gelfond, M., Lipschitz, V.: Logic Programs with Classical Negation, Proceeding of the 7th ICLP, MIT Press, (1990), 579\u2013597"},{"key":"23_CR9","unstructured":"Gelfond M., Przymusinska H.: Formalization of Inheritance Reasoning in Autoepistemic Logic, Fundamental Informaticae XIII. (1990) 403\u2013443"},{"key":"23_CR10","first-page":"430","volume":"4","author":"E. Gr\u00e9goire","year":"1989","unstructured":"Gr\u00e9goire, E.: Skeptical Theories of Inheritance and Nonmonotonic Logics, Methodologies for Intelligent System 4, (1989) 430\u2013438","journal-title":"Methodologies for Intelligent System"},{"key":"23_CR11","unstructured":"Gr\u00e9goire, E.: Skeptical Inheritance Can Be More Expressive, Proceeding of ECAI (1990) 326\u2013332"},{"key":"23_CR12","unstructured":"Haugh, B.: Tractable theories of multiple defeasible Inheritance in Ordinary Nonmonotonic Logics, In Proc. of 7th NCAI. (1988) 421\u2013426"},{"key":"23_CR13","unstructured":"Horty, J.F.: Some direct Theories of Non-monotonic Inheritance in Handbook of Logic and Artificial Intelligence and Logic Programming, D.Gabbay and C. Hogger, Oxford University. (1991) 111\u2013187"},{"key":"23_CR14","first-page":"311","volume":"42","author":"J.F. Horty","year":"1987","unstructured":"Horty, J.F., Thomason, R.H., Touretzky, D.S.: A skeptical theory of inheritance in non-monotonic semantic networks. AI Vol. 42 (1987) 311\u2013348","journal-title":"AI"},{"issue":"No.6","key":"23_CR15","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A, Toni, F.: The role of Abduction in Logic Programming. J. Logic and Computations 2 No.6, (1992) 719\u2013770","journal-title":"J. Logic and Computations"},{"key":"23_CR16","unstructured":"Lin, F.: A study of nonmonotonic reasoning, Ph.D. Dissertation, Standford University. (1991)"},{"key":"23_CR17","first-page":"99","volume":"48","author":"D. Matkinson","year":"1980","unstructured":"Matkinson, D., Schlechta K.: Floating conclusion and zombie paths: two deep difficulties in the \u2018directly skeptical\u2019 approach to defeasible inheritance nets. AI Vol. 48 (1980) 99\u2013209","journal-title":"AI"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"McDermott, D., Doyle, J.: Nonmonotonic Logic I. AI, 13 41\u201372","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"23_CR19","first-page":"127","volume-title":"Readings in Nonmonotonic Reasoning","author":"R.C. Moore","year":"1988","unstructured":"Moore, R.C.: Semantical Considerations on Nonmonotonic Logics, in Readings in Nonmonotonic Reasoning, Edited by M. L. Ginsberg, Morgan Kaufmann Publishers, Inc., Los Altos, California. (1988) 127\u2013137"},{"key":"23_CR20","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"17","author":"J.L. Pollock","year":"1987","unstructured":"Pollock, J.L.: Defeasible reasoning. Cognitive Science 17 (1987) 481\u2013518","journal-title":"Cognitive Science"},{"key":"23_CR21","first-page":"68","volume-title":"A Logic for Default Reasoning in Readings in Nonmonotonic Reasoning","author":"R. Reiter","year":"1987","unstructured":"Reiter R.: A Logic for Default Reasoning in Readings in Nonmonotonic Reasoning, Edited by M. L. Ginsberg, Morgan Kaufmann Publishers, Inc., Los Altos, California (1987) 68\u201393"},{"key":"23_CR22","first-page":"94","volume-title":"On interacting defaults in Readings in Nonmonotonic Reasoning","author":"R. Reiter","year":"1987","unstructured":"Reiter R., Criscuolo G.: On interacting defaults in Readings in Nonmonotonic Reasoning, Edited by M. L. Ginsberg, Morgan Kaufmann Publishers, Inc., Los Altos, California (1987) 94\u2013100"},{"key":"23_CR23","first-page":"125","volume":"53","author":"G.R. Simary","year":"1992","unstructured":"Simary, G.R., Loui R.P.: A mathematical treatment of defeasible reasoning and its implementation. AI 53 (1992) 125\u2013257","journal-title":"AI"},{"key":"23_CR24","unstructured":"Simonet, G.: RS theory: a really skeptical theory of inheritance with exceptions, Proceeding of ECAI (1990) 615\u2013626."},{"key":"23_CR25","first-page":"259","volume":"55","author":"L.A. Stein","year":"1992","unstructured":"Stein, L.A.: Resolving ambiguity in non-monotonic inheritance hierarchies. AI 55 (1992) 259\u2013310","journal-title":"AI"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Thomason, R.H:, Horty, J.F: Logics for Inheritance Theory, 2nd Workshop on nonmonotonic reasoning, 220\u2013237","DOI":"10.1007\/3-540-50701-9_30"},{"key":"23_CR27","unstructured":"Touretzky, D.S., Horty, J.F., Thomason, R.H.: A clash of Intuition: The current state of Non-monotonic Multiple Inheritance Systems. Proceeding of IJCAI (1987) 476\u2013482"},{"key":"23_CR28","unstructured":"Touretzky, D.S., Horty, J.F., Thomason, R.H.: A skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and zombies in nonmonotonic Inheritance. Proceeding of IJCAI, (1991) 478\u2013483"},{"key":"23_CR29","volume-title":"The mathematics of Inheritance Systems","author":"D. S. Touretzky","year":"1986","unstructured":"Touretzky, D. S.: The mathematics of Inheritance Systems, Morgan Kaufmann Publishers, Inc., Los Altos, California, (1986)."},{"key":"23_CR30","doi-asserted-by":"crossref","unstructured":"Van Gelder A., Ross, K., Schlipf J.S.: Unfounded sets and well-founded semantics for general logic programs. Proceeding of PODS 1988.","DOI":"10.1145\/308386.308444"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:32:12Z","timestamp":1713630732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}