A java implementation of temporal defeasible logic

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

Volumn 5858 LNCS, Issue , 2009, Pages 297-304

  Rubino, Rossella ^a   Rotolo, Antonino ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DEFEASIBLE LOGIC; JAVA IMPLEMENTATION; TEMPORAL PERSISTENCE;

GRAPHICAL USER INTERFACES; INTERCHANGES; TEMPORAL LOGIC;

COMPUTER PROGRAMMING LANGUAGES;

EID: 70649097234     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04985-9_27     Document Type: Conference Paper

References (18)

1. Allen, J.: Towards a general theory of action and time. Artificial Intelligence 23 (1984)
2. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2, 255-287 (2001)
3. 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)
4. Antoniou, G., Maher, M.J., Billington, D.: Defeasible logic versus logic programming without negation as failure. Journal of Logic Programming 42, 47-57 (2000)
5. Augusto, J., Simari, G.: Temporal defeasible reasoning. Knowledge and Information Systems 3, 287-318 (2001)
6. 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)
7. Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181-216 (2005)
8. 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)
9. Governatori, G., Pham, H.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)
10. Governatori, G., Rotolo, A.: Temporal defeasible logic has linear complexity. Technical report, NICTA, Queensland Research Laboratory, Australia (2009), http://www.governatori.net/publications.html
11. Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL (forthcoming)
12. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL 2005, pp. 25-34. ACM Press, New York (2005)
13. Governatori, G., Terenziani, P.: Temporal extensions to defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI2007. LNCS (LNAI), vol. 4830, pp. 476-485. Springer, Heidelberg (2007)
14. Grosof, B.N.: Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3(1), 2-20 (2004)
15. Maher, M.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1, 691-711 (2001)
16. Rubino, R.: Una implementazione della logica defeasible temporale per il ragionamento giuridico. PhD thesis, CIRSFID, University of Bologna (2009)
17. Shanahan, M.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)
18. Turner, H.: Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming 31(1-3), 245-298 (1997)