The making of SPINdle

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

Volumn 5858 LNCS, Issue , 2009, Pages 315-322

  Lam, Ho Pun ^a,b   Governatori, Guido ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b CSIRO   (Australia)

Author keywords

Defeasible Logic; Modal Defeasible Logic; Reasoning

Indexed keywords

DEFEASIBLE LOGIC; KNOWLEDGE BASE; ON THE FLIES; OPEN SOURCES; OTHER APPLICATIONS; REASONER;

INTERCHANGES; KNOWLEDGE BASED SYSTEMS; MARKUP LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

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

References (12)

1. Nute, D.: Defeasible logic. In: Gabbay, D., Hogger, C. (eds.) Handbook of Logic for Artificial Intelligence and Logic Programming, vol. III, pp. 353-395. Oxford University Press, Oxford (1994)
2. Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1(6), 691-711 (2001)
3. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255-286 (2001)
4. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming 6(6), 703-735 (2006)
5. Billington, D.: Defeasible logic is stable. J. Logic Computation 3(4), 379-400 (1993)
6. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: On the modeling and analysis of regulations. In: Proceedings of the Australian Conference Information Systems, pp. 20-29 (1999)
7. Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomus-cio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 114-128. Springer, Heidelberg (2004)
8. Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the semantic web. International Journal of Semantic Web and Information Systems 2(1), 1-41 (2006)
9. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: 10th International Enterprise Distributed Object Computing Conference (EDOC 2006), pp. 221-232. IEEE Computing Society, Los Alamitos (2006)
10. Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi Agent Systems 17, 36-69 (2008)
11. Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools 10, 483-501 (2001)
12. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 25-34. ACM Press, New York (2005)