{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:49:00Z","timestamp":1758271740658},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,2,23]],"date-time":"2013-02-23T00:00:00Z","timestamp":1361577600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s10472-013-9334-1","type":"journal-article","created":{"date-parts":[[2013,2,22]],"date-time":"2013-02-22T11:53:16Z","timestamp":1361533996000},"page":"3-35","source":"Crossref","is-referenced-by-count":6,"title":["t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework"],"prefix":"10.1007","volume":"69","author":[{"given":"Pere","family":"Pardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Llu\u00eds","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,2,23]]},"reference":[{"key":"9334_CR1","unstructured":"Abadi, M., Manna, Z.: Temporal logic programming. In: Proc. of International Symposium on Logic Programming, pp. 4\u201316. San Francisco, USA (1987)"},{"key":"9334_CR2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1023\/A:1014490210693","volume":"34","author":"L Amgoud","year":"2002","unstructured":"Amgoud, L., Cayrol, C.: A reasoning model based on the production of acceptable arguments. Ann. Math. Artif. Intell. 34, 197\u2013215 (2002)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"9334_CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1021603608656","volume":"29","author":"L Amgoud","year":"2002","unstructured":"Amgoud, L., Cayrol, C.: Inferring from inconsistency in preference-based argumentation frameworks. Int. J. Autom. Reason. 29(2), 125\u2013169 (2002)","journal-title":"Int. J. Autom. Reason."},{"issue":"1","key":"9334_CR4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0743-1066(99)00060-6","volume":"42","author":"G Antoniou","year":"2000","unstructured":"Antoniou, G., Maher, M., Billington, D.: Defeasible logic versus logic programming without negation as failure. J. Log. Program. 42(1), 47\u201357 (2000)","journal-title":"J. Log. Program."},{"key":"9334_CR5","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/PL00011670","volume":"3","author":"J Augusto","year":"2001","unstructured":"Augusto, J., Simari, G.: Temporal defeasible reasoning. Knowl. Inf. Syst. 3, 287\u2013318 (2001)","journal-title":"Knowl. Inf. Syst."},{"key":"9334_CR6","unstructured":"Besnard, P., Hunter, A.: Argumentation based on classical logic. In: Rahwan, I., Simari, G. (eds.) Argumentation in Artificial Intelligence, ch. 7. Springer (2011)"},{"key":"9334_CR7","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1093\/logcom\/3.4.379","volume":"3","author":"D Billington","year":"1993","unstructured":"Billington, D.: Defeasible logic is stable. J. Log. Comput. 3, 379\u2013400 (1993)","journal-title":"J. Log. Comput."},{"key":"9334_CR8","volume-title":"Handbook of Modal Logic, vol. 3","year":"2006","unstructured":"Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic, vol. 3. Elsevier, New York (2006)"},{"key":"9334_CR9","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BFb0021977","volume-title":"Proc. of the 4th European Workshop on Logic in Artificial Intelligence JELIA\u201994","author":"G Brewka","year":"1994","unstructured":"Brewka, G.: Adding priorities and specificity to default logic. In: Proc. of the 4th European Workshop on Logic in Artificial Intelligence JELIA\u201994, LNAI 838, pp. 247\u2013260. Springer, York (1994)"},{"key":"9334_CR10","volume-title":"Handbook of Knowledge Representation, ch. 6","author":"G Brewka","year":"2007","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczy\u0144ski, M.: Nonmonotonic reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch. 6. Elsevier, Oxford (2007)"},{"key":"9334_CR11","doi-asserted-by":"crossref","unstructured":"Broersen, J., Wieringa, R., Meyer, J.-J.: A semantics for persistency in propositional dynamic logic. In: Lloyd, J., et al. (eds.) Proceedings of 1st Conf. on Computation Logic (CL 2000), pp. 912\u2013925 (2000)","DOI":"10.1007\/3-540-44957-4_61"},{"key":"9334_CR12","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M Caminada","year":"2007","unstructured":"Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artif. Intell. 171, 286\u2013310 (2007)","journal-title":"Artif. Intell."},{"key":"9334_CR13","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/s10458-005-1354-8","volume":"11","author":"M Capobianco","year":"2005","unstructured":"Capobianco, M., Ches\u00f1evar, C., Simari, G.: Argumentation and the dynamics of warranted beliefs in changing environments. J. Auton. Agents Multi-Agent Syst. 11, 127\u2013151 (2005)","journal-title":"J. Auton. Agents Multi-Agent Syst."},{"issue":"5","key":"9334_CR14","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1093\/logcom\/9.5.701","volume":"9","author":"M Castilho","year":"1999","unstructured":"Castilho, M., Gasquet, O., Herzig, A.: formalizing action and change in modal logic I: the frame problem. J. Log. Comput. 9(5), 701\u2013735 (1999)","journal-title":"J. Log. Comput."},{"key":"9334_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic, An Introduction","author":"B Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic, An Introduction. Cambridge Univ. Press, Cambridge (1980)"},{"key":"9334_CR16","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1016\/S0304-3975(02)00033-6","volume":"290","author":"C Ches\u00f1evar","year":"2003","unstructured":"Ches\u00f1evar, C., Dix, J., Stolzenburg, F., Simari, G.: Relating defeasible and normal logic programming through transformation properties. Theor. Comp. Sci. 290, 499\u2013529 (2003)","journal-title":"Theor. Comp. Sci."},{"key":"9334_CR17","doi-asserted-by":"crossref","unstructured":"Cobo, L., Mart\u00ednez, D., Simari, G.: Stable extensions in timed argumentation frameworks. In: Theories and Applications of Formal Argumentation TAFA 2011, pp. 181\u2013196, Barcelona (2011)","DOI":"10.1007\/978-3-642-29184-5_12"},{"key":"9334_CR18","doi-asserted-by":"crossref","unstructured":"Cobo, L., Mart\u00ednez, D., Simari, G.: Acceptability in timed frameworks with intermittent arguments. In: Artificial Intelligence Applications and Innovations, AIAI 2011 Part II, pp. 202\u2013211 (2011)","DOI":"10.1007\/978-3-642-23960-1_25"},{"key":"9334_CR19","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s11225-005-0495-8","volume":"79","author":"R Craven","year":"2005","unstructured":"Craven, R., Sergot, M.: Distant causation in $\\mathcal{C}+$ . Stud. Log. 79, 73\u201396 (2005)","journal-title":"Stud. Log."},{"key":"9334_CR20","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Lenzerini, M.: PDL-based framework for reasoning about actions. In: Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence IA*AI\u201995, LNAI 992, pp. 103\u2013114 (1995)","DOI":"10.1007\/3-540-60437-5_10"},{"key":"9334_CR21","first-page":"101","volume":"35","author":"T Delladio","year":"2007","unstructured":"Delladio, T., Simari, G.: Relating DeLP and default logic. Intel. Artif. 35, 101\u2013109 (2007)","journal-title":"Intel. Artif."},{"issue":"2","key":"9334_CR22","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P Dung","year":"1995","unstructured":"Dung, P.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games* 1. Artif. Intell. 77(2), 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"key":"9334_CR23","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E Emerson","year":"1990","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 996\u20131072. Elsevier, New York (1990)"},{"issue":"1","key":"9334_CR24","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1017\/S1471068403001674","volume":"4","author":"A Garc\u00eda","year":"2004","unstructured":"Garc\u00eda, A., Simari, G.: Defeasible logic programming: An argumentative approach. Theory Pract. Log. Program. 4(1+2), 95\u2013138 (2004)","journal-title":"Theory Pract. Log. Program."},{"issue":"2,3&4","key":"9334_CR25","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. J. Log. Program. 17(2,3&4), 301\u2013321 (1993)","journal-title":"J. Log. Program."},{"key":"9334_CR26","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"issue":"5","key":"9334_CR27","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1093\/logcom\/10.5.625","volume":"10","author":"L Giordano","year":"2000","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Ramification and causality in a modal action logic. J. Log. Comput. 10(5), 625\u2013662 (2000)","journal-title":"J. Log. Comput."},{"key":"9334_CR28","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Non-monotonic causal theories. Artif. Intell. 153, 49\u2013104 (2004)","journal-title":"Artif. Intell."},{"key":"9334_CR29","unstructured":"Goldblatt, R.: Logics of Time and Computation. CSLI, Stanford (1992)"},{"key":"9334_CR30","unstructured":"Governatori, G., Terenziani, P.: Temporal extensions to defeasible logic. In: Orgun, M., Thornton, J. (eds.) Proc. of 20th Australian Joint Conference on Artificial Intelligence, AI 2007, pp. 1\u201310. Springer (2007)"},{"key":"9334_CR31","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"9334_CR32","doi-asserted-by":"crossref","unstructured":"Hunter, A.: Execution of defeasible temporal clauses for building preferred models. In: Proc. of Fundamentals of Artificial Intelligence Research, FAIR \u201991, pp. 84\u201398 (1991)","DOI":"10.1007\/3-540-54507-7_8"},{"issue":"1","key":"9334_CR33","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0169-023X(02)00019-8","volume":"41","author":"A Hunter","year":"2002","unstructured":"Hunter, A.: Merging structured text using temporal knowledge. Data Knowl. Eng. 41(1), 29\u201366 (2002)","journal-title":"Data Knowl. Eng."},{"key":"9334_CR34","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K Konolige","year":"1988","unstructured":"Konolige, K.: On the relation between default and autoepistemic logic. Artif. Intell. 35, 342\u2013382 (1988)","journal-title":"Artif. Intell."},{"key":"9334_CR35","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4, 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"key":"9334_CR36","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Basil Blackwell, Oxford (1973)"},{"key":"9334_CR37","unstructured":"Mann, N., Hunter, A.: Argumentation using temporal knowledge. In: Proc. of Computer Models of Argumentation (COMMA\u201908), pp. 204\u2013215. IOS Press (2008)"},{"key":"9334_CR38","first-page":"463","volume":"4","author":"J McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Mach. Intell. 4, 463\u2013502 (1969)","journal-title":"Mach. Intell."},{"key":"9334_CR39","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1016\/j.artint.2009.02.001","volume":"173","author":"S Modgil","year":"2009","unstructured":"Modgil, S.: Reasoning about preferences in argumentation frameworks. Artif. Intell. 173, 901\u2013934 (2009)","journal-title":"Artif. Intell."},{"key":"9334_CR40","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. 3, pp. 353\u2013395. Oxford Univ. Press, Oxford (1994)","edition":"3"},{"key":"9334_CR41","series-title":"LNAI","first-page":"489","volume-title":"Proceedings of SUM 2011","author":"P Pardo","year":"2011","unstructured":"Pardo, P., Godo, L.: t-DeLP: a temporal extension of the defeasible logic programming argumentative framework. In: Proceedings of SUM 2011, LNAI, vol. 6929, pp. 489-503. Springer, Dayton (2011)"},{"key":"9334_CR42","unstructured":"Poole, D.: On the comparison of theories: preferring the most specific explanation. In: Proceedings of 9th International Joint Conference in Artificial Intelligence IJCAI, pp. 144\u2013147. Los Angeles, USA (1985)"},{"issue":"2","key":"9334_CR43","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H Prakken","year":"2010","unstructured":"Prakken, H.: An abstract framework for argumentation with structured arguments. Argument & Computation 1(2), 93\u2013124 (2010)","journal-title":"Argument & Computation"},{"key":"9334_CR44","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H Prakken","year":"1997","unstructured":"Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non-Class. Log. 7, 25\u201375 (1997)","journal-title":"J. Appl. Non-Class. Log."},{"key":"9334_CR45","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00173701","volume":"5","author":"H Prendinger","year":"1996","unstructured":"Prendinger, H., Schurz, G.: Reasoning about action and change: a dynamic logic approach. J. Log. Lang. Inf. 5, 209\u2013245 (1996)","journal-title":"J. Log. Lang. Inf."},{"key":"9334_CR46","unstructured":"Rahwan, I., Simari, G. (eds.): Argumentation in Artificial Intelligence. Springer (2011)"},{"key":"9334_CR47","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"9334_CR48","unstructured":"Rintanen, J.: On specificity in default logic. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence IJCAI, pp. 1474\u20131479. Montreal, Canada (1995)"},{"issue":"1","key":"9334_CR49","first-page":"1","volume":"12","author":"F Stolzenburg","year":"2002","unstructured":"Stolzenburg, F., Garc\u00eda, A., Ches\u00f1evar, C., Simari, G.: Computing generalized specificity. J. Appl. Non-Class. Log. 12(1), 1\u201327 (2002)","journal-title":"J. Appl. Non-Class. Log."},{"key":"9334_CR50","unstructured":"Thimm, M., Kern-Isberner, G.: On the relationship of defeasible argumentation and answer set programming. In: Besnard, P., Doutre, S., Hunter, A. (eds.) Proc. of Computer Models of Argumentation (COMMA\u201908), pp. 393\u2013404. IOS Press (2008)"},{"issue":"2","key":"9334_CR51","doi-asserted-by":"crossref","first-page":"215","DOI":"10.3166\/jancl.15.215-239","volume":"15","author":"D Zhang","year":"2005","unstructured":"Zhang, D., Foo, N.: Frame problem in dynamic logic. J. Appl. Non-Class. Log. 15(2), 215\u2013239 (2005)","journal-title":"J. Appl. Non-Class. Log."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9334-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9334-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9334-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T10:56:06Z","timestamp":1714992966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9334-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,23]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["9334"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9334-1","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,2,23]]}}}