{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T12:30:31Z","timestamp":1772541031581,"version":"3.50.1"},"publisher-location":"Boston, MA","reference-count":25,"publisher":"Springer US","isbn-type":[{"value":"9780387981963","type":"print"},{"value":"9780387981970","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-98197-0_7","type":"book-chapter","created":{"date-parts":[[2009,6,12]],"date-time":"2009-06-12T04:00:16Z","timestamp":1244779216000},"page":"133-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":29,"title":["Argumentation Based on Classical Logic"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[]},{"given":"Anthony","family":"Hunter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,5,10]]},"reference":[{"key":"7_CR1","unstructured":"L. Amgoud and C. Cayrol. On the acceptability of arguments in preference-based argumentation. In G. Cooper and S. Moral, editors, Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI 1998), pages 1\u20137. Morgan Kaufmann, 1998."},{"key":"7_CR2","unstructured":"Ph. Besnard, A. Hunter, and S. Woltran. Encoding deductive argumentation in quantified boolean formulae. Technical Report DBAI-TR-2008-60, Database and Artificial Intelligence Group, Institute of Information Systems, Technischen Universit\u00e4t Wien, 2008."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0004-3702(01)00071-6","volume":"128","author":"Ph. Besnard","year":"2001","unstructured":"Ph. Besnard and A. Hunter. A logic-based theory of deductive arguments. Artificial Intelligence, 128:203\u2013235, 2001.","journal-title":"Artificial Intelligence"},{"key":"7_CR4","unstructured":"Ph. Besnard and A. Hunter. Practical first-order argumentation. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pages 590\u2013595. MIT Press,2005."},{"key":"7_CR5","unstructured":"Ph. Besnard and A. Hunter. Knowledgebase compilation for efficient logical argumentation. In Proceedings of the 10th International Conference on Knowledge Representation (KR 2006), pages 123\u2013133. AAAI Press, 2006."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Ph. Besnard and A. Hunter. Elements of Argumentation. MIT Press, 2008.","DOI":"10.7551\/mitpress\/9780262026437.001.0001"},{"key":"7_CR7","unstructured":"E. Black and A. Hunter. Using enthymemes in an inquiry dialogue system. In Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS\u00b408), pages 437\u2013444. ACM Press, 2008."},{"key":"7_CR8","unstructured":"M. Caminada and L. Amgoud. An axiomatic account of formal argumentation. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pages 608\u2013613, 2005."},{"key":"7_CR9","unstructured":"M. Caminada. On the issue of contraposition of defeasible rules. In Computational Models of Argument: Proceedings of COMMA 2008, pages 109\u2013115. IOS Press, 2008."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/371578.371581","volume":"32","author":"C. Ches\u00f1evar","year":"2000","unstructured":"C. Ches\u00f1evar, A. Maguitman, and R. Loui. Logical models of argument. ACM Computing Surveys, 32:337\u2013383, 2000.","journal-title":"ACM Computing Surveys"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.artint.2005.07.002","volume":"170","author":"P. Dung","year":"2006","unstructured":"P. Dung, R. Kowalski, and F. Toni. Dialectical proof procedures for assumption-based admissible argumentation. Artificial Intelligence, 170:114\u2013159, 2006.","journal-title":"Artificial Intelligence"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"V. Efstathiou and A. Hunter. Algorithms for effective argumentation in classical propositional logic. In Proceedings of the International Symposium on Foundations of Information and Knowledge Systems (FOIKS\u00b408), volume 4932 of LNCS, pages 272\u2013290. Springer, 2008.","DOI":"10.1007\/978-3-540-77684-0_19"},{"key":"7_CR13","unstructured":"V. Efstathiou and A. Hunter. Focused search for arguments from propositional knowledge. In Computation Models of Argument: Proceedings of COMMA 2008, pages 159\u2013170. IOS Press, 2008."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"J. Fox, P. Krause, and M. Elvang-G\u00f8ransson. Argumentation as a general framework for uncertain reasoning. In Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence (UAI 1993), pages 428\u2013434. Morgan Kaufmann, 1993.","DOI":"10.1016\/B978-1-4832-1451-1.50056-1"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1017\/S1471068403001674","volume":"4","author":"A. Garc\u00eda","year":"2004","unstructured":"A. Garc\u00eda and G. Simari. Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming, 4:95\u2013138, 2004.","journal-title":"Theory and Practice of Logic Programming"},{"key":"7_CR16","unstructured":"A. Hunter. Real arguments are approximate arguments. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI\u00b407), pages 66\u201371. MIT Press, 2007."},{"key":"7_CR17","unstructured":"A. Hunter. Reasoning about the appropriateness of proponents for arguments. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI\u00b408). MIT Press, 2008."},{"key":"7_CR18","unstructured":"N. Mann and A. Hunter. Argumentation using temporal knowledge. In Computational Models of Argument: Proceedings of COMMA\u00b408, pages 204\u2013215. IOS Press, 2008."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"D. Nute. Defeasible logics. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertainty Reasoning, pages 355\u2013395. Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90103-5","volume":"57","author":"J. Pollock","year":"1992","unstructured":"J. Pollock. How to reason defeasibly. Artificial Intelligence, 57:1\u201342, 1992.","journal-title":"Artificial Intelligence"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H. Prakken","year":"1997","unstructured":"H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logic, 7:25\u201375, 1997.","journal-title":"Journal of Applied Non-classical Logic"},{"key":"7_CR22","first-page":"219","volume-title":"Logical systems for defeasible argumentation","author":"H. Prakken","year":"2002","unstructured":"H. Prakken and G. Vreeswijk. Logical systems for defeasible argumentation. In D. Gabbay, editor, Handbook of Philosophical Logic, pages 219\u2013318. Kluwer, 2002."},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"G. Simari","year":"1992","unstructured":"G. Simari and R. Loui. A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53:125\u2013157, 1992.","journal-title":"Artificial Intelligence"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"B. Verheij. Automated argument assistance for lawyers. In Proceedings of the 7th International Conference on Artificial Intelligence and Law (ICAIL 1999), pages 43\u201352. ACM Press, 1999.","DOI":"10.1145\/323706.323714"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0004-3702(96)00041-0","volume":"90","author":"G. Vreeswijk","year":"1997","unstructured":"G. Vreeswijk. Abstract argumentation systems. Artificial Intelligence, 90:225\u2013279, 1997.","journal-title":"Artificial Intelligence"}],"container-title":["Argumentation in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-98197-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T14:53:02Z","timestamp":1710427982000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-98197-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387981963","9780387981970"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-98197-0_7","relation":{},"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"10 May 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}