Implementing temporal defeasible logic for modeling legal reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6284 LNAI, Issue , 2010, Pages 45-58

  Governatori, Guido ^b   Rotolo, Antonino ^a   Rubino, Rossella ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DEFEASIBLE LOGIC; EFFICIENT IMPLEMENTATION; LEGAL CONCEPTS; LEGAL REASONING;

ARTIFICIAL INTELLIGENCE; LAWS AND LEGISLATION;

TEMPORAL LOGIC;

EID: 78649822921     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14888-0_5     Document Type: Conference Paper

References (26)

1. Allen, J.: Towards a general theory of action and time. Artificial Intelligence 23 (1984)
2. Antoniou, G.: A nonmonotonic rule system using ontologies. In: Proc. RuleML 2002. CEUR Workshop Proceedings, vol. 60 (2002)
3. Antoniou, G., Bikakis, A.: DR-Prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Transactions on Knowledge and Data Engineering (2), 233-245 (2007)
4. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2, 255-287 (2001)
5. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming 6, 703-735 (2006)
6. Antoniou, M.R., Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools 10 (2001)
7. Augusto, J., Simari, G.: Temporal defeasible reasoning. Knowledge and Information Systems 3, 287-318 (2001)
8. Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the Semantic Web. International Journal on Semantic Web and Information Systems 2, 1-41 (2006)
9. Cervesato, I., Franceschet, M., Montanari, A.: A guided tour through some extensions of the event calculus. Computational Intelligence 16(2), 307-347 (2000)
10. ESTRELLA Project. The reference LKIF inference engine. Deliverable 4.3, European Commission (2008)
11. Gordon, T.F., Governatori, G., Rotolo, A.: Rules and norms: Requirements for rule interchange languages in the legal domain. In: Governatori, et al. (eds.) [12]
12. Governatori, G., Hall, J., Paschke, A. (eds.): RuleML 2009. LNCS, vol. 5858. Springer, Heidelberg (2009)
13. Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486-496. Springer, Heidelberg (2007)
14. Governatori, G., Pham, D.: A semantic web based architecture for e-contracts in defeasible logic. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 145-159. Springer, Heidelberg (2005)
15. Governatori, G., Rotolo, A.: Temporal defeasible logic has linear complexity. In: Proceedings NMR 2010. CEUR Workshops Proceedings (2010)
16. Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL (forthcoming)
17. Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logic for modelling norm modifications. In: Proc. ICAIL 2007, pp. 155-159 (2007)
18. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL 2005, pp. 25-34. ACM Press, New York (2005)
19. Governatori, G., Terenziani, P.: Temporal extensions to defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 476-485. Springer, Heidelberg (2007)
20. Hawke, S.: Bringing order to chaos: RIF as the new standard for rule interchange. In: Governatori, et al. (eds.) [12], p. 1, http://www.w3.org/2009/ Talks/1105-ruleml/
21. Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, et al. (eds.) [12]
22. Maher, M.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1, 691-711 (2001)
23. Rubino, R.: Una implementazione della logica defeasible temporale per il ragionamento giuridico. PhD thesis, CIRSFID, University of Bologna (2009)
24. Rubino, R., Rotolo, A.: A Java implementation of temporal defeasible logic. In: Governatori, et al. (eds.) [12]
25. Shanahan, M.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)
26. Turner, H.: Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming 31(1-3), 245-298 (1997)