On extending RuleML for modal defeasible logic

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

Volumn 5321 LNCS, Issue , 2008, Pages 89-103

  Pham, Duy Hoang ^a,b   Governatori, Guido ^a   Raboczi, Simon ^b   Newman, Andrew ^b   Thakur, Subhasis ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

APPLICATION AREA; DEFEASIBLE LOGIC; GENERAL METHODOLOGIES; KNOWLEDGE FRAMEWORKS; MODAL OPERATORS;

COMPUTER CIRCUITS;

EID: 57349126374     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88808-6_12     Document Type: Conference Paper

References (23)

1. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2). 255-287 (2001)
2. Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: Proc. ECAI 2000, pp. 459-463. IOS Press, Amsterdam (2000)
3. Antoniou, G., Boley, H. (eds.): RuleML 2004. LNCS, vol. 3323. Springer, Heidelberg (2004)
4. Bassiliades, N., Antoniou, G., Vlahavas, I.P.: A defeasible logic reasoner for the semantic web. International Journal on Semantic Web and Information Systems 1(2), 1-41 (2006)
5. Boley. H.: The RuleML family of web rule languages. In: Proc 4th PPSWR, pp. 1-17. Springer, Heidelberg (2006)
6. Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4), 428-447 (2002)
7. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: [3], pp. 81-97
8. Governatori, G.: Defeasible description logics. In: [3], pp. 98-112
9. Governatori. G.: Representing business contracts in RuIeML. International Journal of Cooperative Information Systems 14(2-3), 181-216 (2005)
10. Governatori, G., Rotolo, A.: BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. Journal of Autonomous Agents and Multi-Agents (2008)
11. Governatori, G., Rotolo, A., Sadiq, S.: A model of dynamic resource allocation in workflow systems. In: Database Technology 2004, vol. CRPIT 27, pp. 197-206. ACS (2004)
12. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proc. ICAIL 2005, pp. 25-34. ACM Press. New York (2005)
13. Herrestad, H.: Norms and formalization. In: Proc. ICAIL 1991, pp. 175-184. ACM Press, New York (1991)
14. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining owl and ruleml. W3C Member Submission, 21 May (2004), http://www.w3.org/Submission/SWRL/
15. Jones, A.J.I., Sergot. M.: On the characterization of law and computer systems: the normative systems perspective. In: Deontic logic in computer science: normative system specification, pp. 275-307. John Wiley and Sons Ltd., Chichester (1993)
16. Jones, A.J.I., Sergot, M.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429-445 (1996)
17. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167-207 (1990)
18. Lee, R.M.: A logic model for electronic contracting. Decision Support Systems 4, 27-44 (1988)
19. Maher, M.J., Rock, A., Antoniou, G., Billignton, D., Miller, T.: Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools 10(4), 483-501 (2001)
20. Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353-395. Oxford University Press, Oxford (1994)
21. Nute, D.: Norms, priorities and defeasibility. In: Norms, Logics and Information Systems. New Studies in Deontic Logic, pp. 83-100. IOS Press, Amsterdam (1998)
22. Pling - w3c policy languages interest group (Accessed November 1, 2007) (2007), http://www.w3.org/Policy/pling/
23. Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining description logic and defeasible logic for the semantic web. In: [3], pp. 170-181