{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:25:30Z","timestamp":1742970330316,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642225451"},{"type":"electronic","value":"9783642225468"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22546-8_8","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T04:30:13Z","timestamp":1310617813000},"page":"83-98","source":"Crossref","is-referenced-by-count":0,"title":["A Dynamic Metalogic Argumentation Framework Implementation"],"prefix":"10.1007","author":[{"given":"Jenny S. Z.","family":"Eriksson Lundstr\u00f6m","sequence":"first","affiliation":[]},{"given":"Giacomo","family":"Aceto","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Hamfelt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A flexible framework for defeasible logics. In: 17th American National Conference on Artificial Intelligence, AAAI 2000 (2000)"},{"key":"8_CR2","first-page":"459","volume-title":"Proc. of the 14th European Conference on Artificial Intelligence","author":"G. Antoniou","year":"2000","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: Proc. of the 14th European Conference on Artificial Intelligence, pp. 459\u2013463. IOS Press, Amsterdam (2000)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/TKDE.2007.29","volume":"19","author":"G. Antoniou","year":"2007","unstructured":"Antoniou, G., Bikakis, A.: Dr-prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Trans. on Knowl. and Data Eng.\u00a019, 233\u2013245 (2007)","journal-title":"IEEE Trans. on Knowl. and Data Eng."},{"key":"8_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1007\/11589990_83","volume-title":"AI 2005: Advances in Artificial Intelligence","author":"D. Billington","year":"2005","unstructured":"Billington, D.: The proof algorithms of plausible logic form a hierarchy. In: Zhang, S., Jarvis, R.A. (eds.) AI 2005. LNCS (LNAI), vol.\u00a03809, pp. 796\u2013799. Springer, Heidelberg (2005)"},{"key":"8_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-74024-7_20","volume-title":"RoboCup 2006: Robot Soccer World Cup X","author":"D. Billington","year":"2007","unstructured":"Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Using temporal consistency to improve robot localisation. In: Lakemeyer, G., Sklar, E., Sorrenti, D.G., Takahashi, T. (eds.) RoboCup 2006: Robot Soccer World Cup X. LNCS (LNAI), vol.\u00a04434, pp. 232\u2013244. Springer, Heidelberg (2007)"},{"key":"8_CR6","unstructured":"Brewka, G.: A reconstruction of rescher\u2019s theory of formal disputation based on default logic. In: Proceedings of the 11th European Conference on Artificial Intelligence, pp. 336\u2013370 (1994)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Ches\u00f1evar, C.I., Maguitman, A.G., Loui, R.P.: Logical models of argument. ACM Computing Surveys, 32(4) (2000)","DOI":"10.1145\/371578.371581"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming and n-person game. Artificial Intelligence\u00a077, 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"8_CR9","unstructured":"Eriksson Lundstr\u00f6m, J.: On the Formal Modeling of Games of Language and Adversarial Argumentation - A Logic-Based Artificial Intelligence Approach (2009)"},{"key":"8_CR10","volume-title":"EJC 2008","author":"J. Eriksson Lundstr\u00f6m","year":"2008","unstructured":"Eriksson Lundstr\u00f6m, J., Hamfelt, A., Fischer Nilsson, J.: A common framework for board games and argumentation games. In: EJC 2008. IOS Press, Amsterdam (2008)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Gordon, T.: The\u00a0Pleadings Game: An artificial intelligence model of procedural justice. Journal of Artificial Intelligence and Law, 2(4) (1993)","DOI":"10.1007\/BF00871972"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Governatori, G., Antoniou, G., Billington, D., Maher, M.J.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14(5) (2004)","DOI":"10.1093\/logcom\/14.5.675"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.elerap.2003.09.005","volume":"3","author":"B.N. Grosof","year":"2004","unstructured":"Grosof, B.N.: Representing e-commerce rules via situated courteous logic programs in ruleml. Electronic Commerce Research and Applications\u00a03(1), 2\u201320 (2004)","journal-title":"Electronic Commerce Research and Applications"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Hamfelt, A., Eriksson Lundstr\u00f6m, J., Nilsson, J.F.: A metalogic formalization of legal argumentation as game trees with defeasible reasoning. In: ICAIL 2005, Int. Conference on AI and Law, Bologna, Italy, pp. 250\u2013251 (2005)","DOI":"10.1145\/1165485.1165533"},{"key":"8_CR15","volume-title":"Meta-Programming in Logic Programming","author":"P.M. Hill","year":"1989","unstructured":"Hill, P.M., Lloyd, J.W.: Analysis of Meta-Programs. In: Abramson, H., Rogers, M.H. (eds.) Meta-Programming in Logic Programming. MIT Press, Cambridge (1989)"},{"issue":"4","key":"8_CR16","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1142\/S0218213001000623","volume":"10","author":"M.J. Maher","year":"2001","unstructured":"Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools\u00a010(4), 483\u2013501 (2001)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"8_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11853886_26","volume-title":"Logics in Artificial Intelligence","author":"D. Nute","year":"2006","unstructured":"Nute, D., Maier, F.: Ambiguity propagating defeasible logic and the well-founded semantics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 306\u2013318. Springer, Heidelberg (2006)"},{"key":"8_CR18","volume-title":"Artificial Intelligence: A New Synthesis","author":"N.J. Nilsson","year":"1998","unstructured":"Nilsson, N.J.: Artificial Intelligence: A New Synthesis. Morgan Kaufmann, California (1998)"},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Nute","year":"1994","unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 353\u2013395. Oxford University Press, Oxford (1994)"},{"key":"8_CR20","volume-title":"Prolog Programming in Depth","author":"D. Nute","year":"1998","unstructured":"Nute, D., Covington, M.A., Vellino, A.: Prolog Programming in Depth. Scott Foresman and Co., Chicago (1998)"},{"key":"8_CR21","first-page":"21","volume-title":"Jurix 2006","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sartor, G.: Presumptions and burdens of proof. In: Jurix 2006, pp. 21\u201330. IOS Press, Amsterdam (1996)"},{"issue":"4","key":"8_CR22","first-page":"231","volume":"2","author":"H. Prakken","year":"1998","unstructured":"Prakken, H., Sartor, G.: Modelling reasoning with precedents in a formal dialogue game. AI and Law\u00a02(4), 231\u2013287 (1998)","journal-title":"AI and Law"},{"key":"8_CR23","first-page":"97","volume-title":"ICAIL 2007","author":"H. Prakken","year":"2007","unstructured":"Prakken, H., Sartor, G.: Formalising arguments about the burden of persuation. In: ICAIL 2007, pp. 97\u2013106. ACM Press, New York (2007)"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Prakken, H., Vreeswijk, G.: Logical systems for defeasible argumentation. In: Gabbay, D.M. (ed.) Handbook of Philosophical Logic, pp. 219\u2013318 (2002)","DOI":"10.1007\/978-94-017-0456-4_3"},{"issue":"1","key":"8_CR25","first-page":"81","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. AI\u00a013(1), 81\u2013132 (1980)","journal-title":"AI"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Reasoning, Programming, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22546-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T18:28:36Z","timestamp":1712600916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22546-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225451","9783642225468"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22546-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}