A system for modal and deontic defeasible reasoning

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

Volumn 4830 LNAI, Issue , 2007, Pages 609-613

  Antoniou, Grigoris ^a   Dimaresis, Nikos ^a   Governatori, Guido ^b  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 38349077392     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76928-6_62     Document Type: Conference Paper

References (17)

1. Governatori, G., Rotolo, A.: Defeasible Logic: Agency, Intention and Obligation. In: Lomuscio, A.R., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 114-128. Springer, Heidelberg (2004)
2. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) KR 1991. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 473-484. Morgan Kaufmann publishers Inc, San Francisco (1991)
3. Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: AGENTS 2001. Proceedings of the fifth international conference on Autonomous agents, pp. 9-16. ACM Press, New York (2001)
4. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic 2(2), 255-287 (2001)
5. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34-44 (2001)
6. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48-57 (2003)
7. Horrocks, I., Patel-Schneider, R.F.: A proposal for an OWL Rules Language. In: WWW 2004. Proceedings of the 13th international conference on World Wide Web, pp. 723-731. ACM Press, New York (2004)
8. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. WSJ 3(1), 41-60 (2005)
9. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: WLP, pp. 206-210 (2006)
10. Bassiliades, N., Antoniou, G., Vlahavas, I.P.: DR-DEVICE: A Defeasible Logic System for the Semantic Web. In: Ohlbach, H.J., Schaffen, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134-148. Springer, Heidelberg (2004)
11. 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 19(2), 233-245 (2007)
12. XSB- Logic Programming and Deductive Database System for Unix and Windows. http://xsb.sourceforge.net (2007)
13. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6(6), 703-735 (2006)
14. Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools 10(4), 483-501 (2001)
15. VRP - The ICS-FORTH Validating Rdf Parser, http://139.91.183.30:9090/RDF/ VRP (2007)
16. InterProlog - a Prolog-Java interface. http ://www.declarativa.com/ interprolog (2007)
17. YAP Prolog, http://www.ncc.up.pt/vsc/Yap (2007)