{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:17:28Z","timestamp":1768353448180,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540670278","type":"print"},{"value":"9783540465812","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46581-2_14","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:23:59Z","timestamp":1194971039000},"page":"202-215","source":"Crossref","is-referenced-by-count":9,"title":["Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)"],"prefix":"10.1007","author":[{"given":"Henry","family":"Prakken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,4]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","DOI":"10.1515\/9783110839807","volume-title":"From Axiom to Dialogue: a Philosophical Study of Logic and Argumentation","author":"E.M. Barth","year":"1982","unstructured":"E.M. Barth and E.C.W. Krabbe. From Axiom to Dialogue: a Philosophical Study of Logic and Argumentation. Walter de Gruyter, New York, 1982."},{"key":"14_CR2","unstructured":"A. Bondarenko, P.M. Dung, R.A. Kowalski and F. Toni. An abstract argumentation-theoretic approach to default reasoning. Technical Report Department of Computing, Imperial College London, 1995. Also to appear in Artificial Intelligence."},{"key":"14_CR3","unstructured":"G. Brewka. Reasoning about priorities in default logic. Proceedings AAAI-94, 247\u2013260."},{"key":"14_CR4","unstructured":"G. Brewka. A reconstruction of Rescher\u2019s theory of formal disputation based on default logic. Proceedings of the 11th European Conference on Artificial Intelligence, 366\u2013370."},{"key":"14_CR5","unstructured":"P.M. Dung. An argumentation semantics for logic programming with explicit negation. Proceedings of the Tenth Logic Programming Conference, MIT Press 1993, 616\u2013630."},{"key":"14_CR6","unstructured":"P.M. Dung. Logic programming as dialogue game. Unpublished paper."},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"P.M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games. Artificial Intelligence 77 (1995), 321\u2013357.","journal-title":"Artificial Intelligence"},{"key":"14_CR8","volume-title":"The Pleadings Game. An Artificial Intelligence Model of Procedural Justice","author":"T.F. Gordon","year":"1995","unstructured":"T.F. Gordon. The Pleadings Game. An Artificial Intelligence Model of Procedural Justice. Kluwer, Dordrecht, 1995."},{"key":"14_CR9","volume-title":"Reasoning With Rules. An Essay on Legal Reasoning and Its Underlying Logic","author":"J.C. Hage","year":"1997","unstructured":"J.C. Hage. Reasoning With Rules. An Essay on Legal Reasoning and Its Underlying Logic. Kluwer Law and Philosophy Library, Dordrecht etc. 1997."},{"key":"14_CR10","unstructured":"R.P. Loui. Process and policy: resource-bounded non-demonstrative reasoning. Report WUCS-92-43, Washington-University-in-St-Louis, 1993. To appear in Computational Intelligence."},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00872529","volume":"3","author":"R.P. Loui","year":"1995","unstructured":"R.P. Loui and J. Norman. Rationales and argument moves. Artificial Intelligence and Law 3: 159\u2013189, 1995.","journal-title":"Artificial Intelligence and Law"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1016\/S0364-0213(87)80017-4","volume":"11","author":"J.L. Pollock","year":"1987","unstructured":"J.L. Pollock. Defeasible reasoning. Cognitive Science 11 (1987), 481\u2013518.","journal-title":"Cognitive Science"},{"key":"14_CR13","unstructured":"H. Prakken. A semantic view on reasoning about priorities (extended abstract). Proceedings of the Second Dutch\/German Workshop on Nonmonotonic Reasoning, Utrecht 1995, 152\u2013159."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"H. Prakken and G. Sartor. A system for defeasible argumentation, with defeasible priorities. Proceedings of the Lnternational Conference on Formal and Applied Practical Reasoning (FAPR\u201996), Bonn 1996. Springer Lecture Notes in AI 1085, Springer Verlag, 1996, 510\u2013524.","DOI":"10.1007\/3-540-61313-7_97"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00118496","volume":"4","author":"H. Prakken","year":"1996","unstructured":"H. Prakken and G. Sartor. A dialectical model of assessing conflicting arguments in legal reasoning. Artificial Intelligence and Law 4 (1996), 331\u2013368.","journal-title":"Artificial Intelligence and Law"},{"issue":"1-2","key":"14_CR16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"Henry Prakken","year":"1997","unstructured":"H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. To appear in Journal of Applied Non-classical Logics, 1997.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"14_CR17","volume-title":"Dialectics: a controversy-oriented approach to the theory of knowledge","author":"N. Rescher","year":"1977","unstructured":"N. Rescher. Dialectics: a controversy-oriented approach to the theory of knowledge. State University of New York Press, Albany, 1977."},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-1-4471-1488-8_10","volume-title":"Deontic Logic, Agency and Normative Systems","author":"L. Royakkers","year":"1996","unstructured":"L. Royakkers and F. Dignum. Defeasible reasoning with legal rules. In M.A. Brown and J. Carmo (eds.) Deontic Logic, Agency and Normative Systems. Springer, Workshops in Computing, London etc. 1996, 174\u2013193."},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"G.R. Simari","year":"1992","unstructured":"G.R. Simari and R.P. Loui. A mathematical treatment of defeasible argumentation and its implementation. Artificial Intelligence 53 (1992), 125\u2013157.","journal-title":"Artificial Intelligence"},{"key":"14_CR20","unstructured":"G. Vreeswijk. Studies in defeasible argumentation. Doctoral dissertation Free University Amsterdam, 1993."},{"issue":"3","key":"14_CR21","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1093\/logcom\/3.3.317","volume":"3","author":"G. Vreeswijk","year":"1993","unstructured":"G. Vreeswijk. Defeasible dialectics: a controversy-oriented approach towards defeasible argumentation. Journal of Logic and Computation, 1993, Vol. 3, No. 3., 317\u2013334.","journal-title":"Journal of Logic and Computation"},{"key":"14_CR22","unstructured":"G. Vreeswijk. Representation of formal dispute with a standing order. Research Report MATRIX, University of Limburg, 1996. Also presented at the Workshop Computational Dialectics of the International Conference on Formal and Applied Practical Reasoning (FAPR\u201996), Bonn 1996."}],"container-title":["Lecture Notes in Computer Science","Formal Models of Agents"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46581-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T06:52:01Z","timestamp":1556952721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46581-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540670278","9783540465812"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-46581-2_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}