{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T12:41:03Z","timestamp":1781613663897,"version":"3.54.5"},"reference-count":79,"publisher":"Maximum Academic Press","issue":"3","license":[{"start":{"date-parts":[[2008,9,1]],"date-time":"2008-09-01T00:00:00Z","timestamp":1220227200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2008,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>This article surveys existing practical implementations of both defeasible and argumentation-based reasoning engines and associated literature. We aim to summarize the current state of the art in the research area, show that there are many similiarities and connections between the various implementations and also highlight the differences regarding evaluation goals and strategies. An important goal of this paper is to argue for the need for well-designed empirical evaluations, as well as formal complexity analysis, in order to justify the practical applicability of a reasoning engine. There are indeed many challenges to be faced in developing implementations of argumentation. Not least of these is the inherent computational complexity of the formal models. We cover some of the ways these challenges have been addressed, and provide pointers for future directions in realizing the goal of practical argumentation.<\/jats:p>","DOI":"10.1017\/s0269888908001318","type":"journal-article","created":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T08:47:15Z","timestamp":1220431635000},"page":"227-260","source":"Crossref","is-referenced-by-count":21,"title":["A review of current defeasible reasoning implementations"],"prefix":"10.48130","volume":"23","author":[{"given":"DANIEL","family":"BRYANT","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"PAUL","family":"KRAUSE","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"27968","published-online":{"date-parts":[[2008,9,1]]},"reference":[{"key":"S0269888908001318_ref008","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010551204574"},{"key":"S0269888908001318_ref024","volume-title":"Theory of Knowledge","author":"Chisholm","year":"1997"},{"key":"S0269888908001318_ref010","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139164931"},{"key":"S0269888908001318_ref076","unstructured":"Vreeswijk G. A. W. 1995 IACAS: an implementation of Chisholm's principles of knowledge. In The Proceedings of the 2nd Dutch\/German Workshop on Nonmonotonic Reasoning, Utrecht., pp. 225\u2013234."},{"key":"S0269888908001318_ref074","unstructured":"Vreeswijk G. 1993a IACAS: An Interactive Argumentation System\u2014User Manual Version 1.0. http:\/\/citeseer.ist.psu.edu\/195813.html. Last accessed: 19th November 2006."},{"key":"S0269888908001318_ref070","unstructured":"Sun Microsystems. 2007 Welcome to NetBeans. Available from www.netbeans.org\/ Last accessed: 10 September 2007."},{"key":"S0269888908001318_ref073","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"S0269888908001318_ref035","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.07.002"},{"key":"S0269888908001318_ref071","volume-title":"Proceedings of the Fourth International Conference on the Practical Application of Intelligent Agnets and Multi-Agents","author":"Tarau","year":"1999"},{"key":"S0269888908001318_ref068","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90069-A"},{"key":"S0269888908001318_ref066","volume-title":"MAAMAW '99: Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World.","author":"Schroeder","year":"1999"},{"key":"S0269888908001318_ref065","volume-title":"Artificial Intelligence: A Modern Approach,","author":"Russell","year":"2003"},{"key":"S0269888908001318_ref063","unstructured":"Rock A. 2006c Phobos (Version 2): A Query Answering Plausible Logic System. www.cit.gu.edu.au\/arock\/plausible\/doc\/Phobos-short.pdf Last accessed: 19th November 2006."},{"key":"S0269888908001318_ref062","unstructured":"Rock A. 2006b Phobos. Available from www.cit.gu.edu.au\/arock\/plausible\/Plausible.cgi. Last accessed: 10 September 2006."},{"key":"S0269888908001318_ref028","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45241-9_13"},{"key":"S0269888908001318_ref060","volume-title":"Handbook of Philosophical Logic","author":"Prakken","year":"2002"},{"key":"S0269888908001318_ref057","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1887.001.0001","volume-title":"Cognitive Carpentry: A Blueprint for how to build a person","author":"Pollock","year":"1995"},{"key":"S0269888908001318_ref056","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(90)90005-C"},{"key":"S0269888908001318_ref055","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning","author":"Nute","year":"1994"},{"key":"S0269888908001318_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-005-1354-8"},{"key":"S0269888908001318_ref051","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213001000623"},{"key":"S0269888908001318_ref053","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(88)90100-5"},{"key":"S0269888908001318_ref050","unstructured":"Maher M. J. , Rock A. , Antoniou G. , Billington D. & Miller T. 2001a Deimos. available from www.cit.gu.edu.au\/arock\/defeasible\/Defeasible.cgi. Last accessed: 10 September 2006."},{"key":"S0269888908001318_ref067","volume-title":"MYCIN: Computer-Based Medical Consultations","author":"Shortliffe","year":"1976"},{"key":"S0269888908001318_ref049","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6"},{"key":"S0269888908001318_ref048","volume-title":"ICAIL '93: Proceedings of the 4th International Conference on Artificial Intelligence and Law","author":"Loui","year":"1993"},{"key":"S0269888908001318_ref054","unstructured":"Nute D. 1993 Defeasible prolog. In Proceedings of AAAI Fall Symposium on Automated Deduction in Nonstandard Logics, (Technical Report FS-93-01), pp. 105\u2013112."},{"key":"S0269888908001318_ref046","doi-asserted-by":"publisher","DOI":"10.1145\/359131.359136"},{"key":"S0269888908001318_ref020","volume-title":"Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR 2006).","author":"Cecchi","year":"2006"},{"key":"S0269888908001318_ref078","volume-title":"Proceedings of 1st International Conference on Computational Models of Argument (COMMA06)","author":"Vreeswijk","year":"2006"},{"key":"S0269888908001318_ref072","volume-title":"Proceedings of 1st International Conference on Computational Models of Argument (COMMA06)","author":"Tolchinsky","year":"2006"},{"key":"S0269888908001318_ref018","volume-title":"ECSQARU '01: Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"Cayrol","year":"2001"},{"key":"S0269888908001318_ref052","unstructured":"Nudelman E. 2005 Empirical Approaches to the Complexity of Hard Problems. PhD thesis, Stanford University, Stanford, CA."},{"key":"S0269888908001318_ref004","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.29"},{"key":"S0269888908001318_ref037","unstructured":"Gaertner D. & Toni F. 2007 Casapi\u2014a system for credulous and sceptical argumentation. In Proceedings of First International Workshop on Argumentation and Nonmonotonic Reasoning, Arizona, USA."},{"key":"S0269888908001318_ref013","volume-title":"Proceedings of the 6th Workshop on Aspectos Teoricos de la Inteligencia Artificial (ATIA)","author":"Capobianco","year":"1999"},{"key":"S0269888908001318_ref012","volume-title":"Proceedings of the 1st International Conference on Computational Models of Argument (COMMA06).","author":"Bryant","year":"2006"},{"key":"S0269888908001318_ref038","volume-title":"In Proceedings of the ECAI Workshop on Engineering Societies in the Agents","author":"Garcia","year":"2000"},{"key":"S0269888908001318_ref032","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)80707-9"},{"key":"S0269888908001318_ref011","volume-title":"Proceedings of 10th European Conference on Logics in Artificial Intelligence (JELIA06)","author":"Bryant","year":"2006"},{"key":"S0269888908001318_ref039","first-page":"45","article-title":"Parallel defeasible argumentation","volume":"1","author":"Garcia","year":"1999","journal-title":"Journal of computer science and technology special issue: Artificial intelligence and evolutive computation."},{"key":"S0269888908001318_ref003","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5040.001.0001","volume-title":"Nonmonotonic Reasoning","author":"Antoniou","year":"1997"},{"key":"S0269888908001318_ref041","volume-title":"Proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07).","author":"Garc\u00eda","year":"2007"},{"key":"S0269888908001318_ref002","volume-title":"AUAI '04: Proceedings of the 20th conference on Uncertainty in artificial intelligence.","author":"Amgoud","year":"2004"},{"key":"S0269888908001318_ref069","unstructured":"Simari G. R. 1989 A Mathematical Treatment of Defeasible Reasoning and its Implementation. PhD thesis, Washington University in Saint Louis."},{"key":"S0269888908001318_ref005","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"S0269888908001318_ref014","volume-title":"Proceedings of the First International Workshop on Argumentation in Multiagent Systems. AAMAS 2004","author":"Capobianco","year":"2004"},{"key":"S0269888908001318_ref017","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026342520498"},{"key":"S0269888908001318_ref059","unstructured":"Pollock J. L. 1999 Rational cognition in OSCAR. In Workshop of Agent Theories, Architectures, and Languages, pp. 71\u201390."},{"key":"S0269888908001318_ref025","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00053-3"},{"key":"S0269888908001318_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00015-5"},{"key":"S0269888908001318_ref058","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90103-5"},{"key":"S0269888908001318_ref075","unstructured":"Vreeswijk G. 1993b Studies in Defeasible Argumentation. PhD thesis, Free University of Amsterdam, The Netherlands."},{"key":"S0269888908001318_ref027","doi-asserted-by":"publisher","DOI":"10.1109\/9.867045"},{"key":"S0269888908001318_ref029","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.001"},{"key":"S0269888908001318_ref022","doi-asserted-by":"publisher","DOI":"10.1145\/371578.371581"},{"key":"S0269888908001318_ref030","volume-title":"KR2000: Principles of Knowledge Representation and Reasoning","author":"Dimopoulos","year":"2000"},{"key":"S0269888908001318_ref040","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001674"},{"key":"S0269888908001318_ref064","volume-title":"Proceedings of 23rd Australasian Computer Science Conference, 2000. ACSC 2000.","author":"Rock","year":"2000"},{"key":"S0269888908001318_ref006","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.429"},{"key":"S0269888908001318_ref047","unstructured":"Loui R. & Simari G. 1994 NATHAN (Spec13): Argues defeasibly in first-order logic. www.cs.cmu.edu\/afs\/cs\/project\/airepository\/ai\/areas\/reasonng\/defeasbl\/nathan\/0.html. Last accessed: 13th February 2007."},{"key":"S0269888908001318_ref077","unstructured":"Vreeswijk G. A. W. 2006a Vreeswijk's Admissible Defence Sets. Available from www:cs:uu:nl\/gv\/code\/grdadm\/ Last accessed: 29 September 2006."},{"key":"S0269888908001318_ref033","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"S0269888908001318_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61488-5"},{"key":"S0269888908001318_ref036","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00261-8"},{"key":"S0269888908001318_ref079","unstructured":"Vreeswijk G. A. W. 2006c Argumentation System (AS). Available from www.cs.uu.nl\/people\/gv\/code\/AS\/ Last accessed: 10 September 2006."},{"key":"S0269888908001318_ref007","doi-asserted-by":"crossref","unstructured":"Besnard P. & Hunter A. Elements of Argumentation. In preparation, 2008.","DOI":"10.7551\/mitpress\/9780262026437.001.0001"},{"key":"S0269888908001318_ref042","volume-title":"Computers and Intractability","author":"Garey","year":"1979"},{"key":"S0269888908001318_ref045","volume-title":"Proceedings of the 7th International Conference on Artificial Intelligence and Law","author":"Jakobovits","year":"1999"},{"key":"S0269888908001318_ref043","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S0269888908001318_ref016","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(94)90028-0"},{"key":"S0269888908001318_ref044","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(00)00063-3"},{"key":"S0269888908001318_ref061","unstructured":"Rock A. 2006a Deimos: A Query Answering Defeasible Logic System. www.cit.gu.edu.au\/arock\/defeasible\/doc\/Deimos-short.pdf Last accessed: 19th November 2006."},{"key":"S0269888908001318_ref031","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00245-X"},{"key":"S0269888908001318_ref034","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"S0269888908001318_ref026","unstructured":"Colmerauer A. , Kanoui H. , Roussel P. & Pasero R. 1973 Un systeme de communication homme-machine en francais. Technical report, Groupe de Recherche en Intelligence Artificielle, Universite d'Aix-Marseille II."},{"key":"S0269888908001318_ref023","volume-title":"Proceedings of the Workshop on Advances and Trends in Search in Artificial Intelligence","author":"Chesnevar","year":"2000"},{"key":"S0269888908001318_ref021","volume-title":"Proceedings. 2004 2nd International IEEE Conference in Intelligent Systems","author":"Chesnevar","year":"2004"},{"key":"S0269888908001318_ref019","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.377"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888908001318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:43:46Z","timestamp":1767624226000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888908001318\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":79,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["S0269888908001318"],"URL":"https:\/\/doi.org\/10.1017\/s0269888908001318","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"value":"0269-8889","type":"print"},{"value":"1469-8005","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9]]}}}