{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:04:29Z","timestamp":1725739469828},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396168"},{"type":"electronic","value":"9783642396175"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39617-5_13","type":"book-chapter","created":{"date-parts":[[2013,7,4]],"date-time":"2013-07-04T08:17:56Z","timestamp":1372925876000},"page":"114-128","source":"Crossref","is-referenced-by-count":2,"title":["Computing Temporal Defeasible Logic"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"Allen, J.: Towards a general theory of action and time. Artificial Intelligence\u00a023, 123\u2013154 (1984)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"13_CR2","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. Knowl. Data Eng.\u00a019(2), 233\u2013245 (2007)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G. Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic\u00a02, 255\u2013287 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1017\/S1471068406002778","volume":"6","author":"G. Antoniou","year":"2006","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming\u00a06, 703\u2013735 (2006)","journal-title":"Theory and Practice of Logic Programming"},{"key":"13_CR5","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: Proceedings of the 14th European Conference on Artificial Intelligence, pp. 459\u2013463. IOS Press (2000)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/PL00011670","volume":"3","author":"J. Augusto","year":"2001","unstructured":"Augusto, J., Simari, G.: Temporal defeasible reasoning. Knowledge and Information Systems\u00a03, 287\u2013318 (2001)","journal-title":"Knowledge and Information Systems"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-13754-9_1","volume-title":"Time for Verification","author":"H. Barringer","year":"2010","unstructured":"Barringer, H., Gabbay, D.M.: Modal and temporal argumentation networks. In: Manna, Z., Peled, D.A. (eds.) Time for Verification. LNCS, vol.\u00a06200, pp. 1\u201325. Springer, Heidelberg (2010)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2006010101","volume":"2","author":"N. Bassiliades","year":"2006","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the Semantic Web. International Journal on Semantic Web and Information Systems\u00a02, 1\u201341 (2006)","journal-title":"International Journal on Semantic Web and Information Systems"},{"key":"13_CR9","unstructured":"Dimaresis, N., Antoniou, G.: Implementing modal extensions of defeasible logic for the semantic web. In: AAAI 2007, pp. 1848\u20131849 (2007)"},{"key":"13_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-540-76928-6_50","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G. Governatori","year":"2007","unstructured":"Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in\u00a0temporal\u00a0modal\u00a0defeasible\u00a0logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 486\u2013496. Springer, Heidelberg (2007)"},{"key":"13_CR11","first-page":"13","volume-title":"JURIX 2005","author":"G. Governatori","year":"2005","unstructured":"Governatori, G., Palmirani, M., Riveret, R., Rotolo, A., Sartor, G.: Norm modifications in defeasible logic. In: JURIX 2005, pp. 13\u201322. IOS Press, Amsterdam (2005)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G. Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi Agent Systems\u00a017, 36\u201369 (2008)","journal-title":"Journal of Autonomous Agents and Multi Agent Systems"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10506-007-9056-y","volume":"16","author":"G. Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: A computational framework for institutional agency. Artif. Intell. Law\u00a016(1), 25\u201352 (2008)","journal-title":"Artif. Intell. Law"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. Logic Journal of IGPL\u00a018(1), 157\u2013194 (2010)","journal-title":"Logic Journal of IGPL"},{"key":"13_CR15","unstructured":"Governatori, G., Rotolo, A.: On the complexity of temporal defeasible logic. In: NMR 2010 (2010)"},{"key":"13_CR16","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-642-14888-0_5","volume-title":"New Frontiers in Artificial Intelligence","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A., Rubino, R.: Implementing temporal defeasible logic for modeling legal reasoning. In: Nakakoji, K., Murakami, Y., McCready, E. (eds.) JSAI-isAI 2009. LNCS (LNAI), vol.\u00a06284, pp. 45\u201358. Springer, Heidelberg (2010)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL 2005, pp. 25\u201334. ACM Press (2005)","DOI":"10.1145\/1165485.1165490"},{"key":"13_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1007\/978-3-540-76928-6_49","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G. Governatori","year":"2007","unstructured":"Governatori, G., Terenziani, P.: Temporal extensions to defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 476\u2013485. Springer, Heidelberg (2007)"},{"issue":"1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"18","DOI":"10.4018\/jswis.2011010102","volume":"7","author":"E. Kontopoulos","year":"2011","unstructured":"Kontopoulos, E., Bassiliades, N., Governatori, G., Antoniou, G.: A modal defeasible reasoner of deontic logic for the semantic web. Int. J. Semantic Web Inf. Syst.\u00a07(1), 18\u201343 (2011)","journal-title":"Int. J. Semantic Web Inf. Syst."},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-04985-9_29","volume-title":"Rule Interchange and Applications","author":"H.-P. Lam","year":"2009","unstructured":"Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol.\u00a05858, pp. 315\u2013322. Springer, Heidelberg (2009)"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-20895-9_17","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"H.-P. Lam","year":"2011","unstructured":"Lam, H.-P., Governatori, G.: What are the necessity rules in defeasible reasoning? In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 187\u2013192. Springer, Heidelberg (2011)"},{"issue":"4","key":"13_CR22","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 of Artificial Intelligence Tools\u00a010(4), 483\u2013501 (2001)","journal-title":"International Journal of Artificial Intelligence Tools"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"M.J. Maher","year":"2001","unstructured":"Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming\u00a01, 691\u2013711 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"13_CR24","unstructured":"Mann, N., Hunter, A.: Argumentation using temporal knowledge. In: COMMA 2008, pp. 204\u2013215. IOS Press (2008)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 353\u2013395. OUP (1993)","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"13_CR26","unstructured":"Rubino, R.: Una implementazione della logica defeasible temporale per il ragionamento giuridico. PhD thesis, CIRSFID, University of Bologna (2009)"},{"key":"13_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-04985-9_27","volume-title":"Rule Interchange and Applications","author":"R. Rubino","year":"2009","unstructured":"Rubino, R., Rotolo, A.: A Java implementation of temporal defeasible logic. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol.\u00a05858, pp. 297\u2013304. Springer, Heidelberg (2009)"},{"key":"13_CR28","unstructured":"Shanahan, M.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press (1997)"},{"issue":"1-3","key":"13_CR29","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H. Turner","year":"1997","unstructured":"Turner, H.: Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming\u00a031(1-3), 245\u2013298 (1997)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Theory, Practice, and Applications of Rules on the Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39617-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T21:16:23Z","timestamp":1715634983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39617-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396168","9783642396175"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39617-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}