Defeasible description logics

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

Volumn 3323 LNCS, Issue , 2004, Pages 98-112

  Governatori, Guido ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DEFEASIBLE LOGIC; DEFEASIBLE RULES; DESCRIPTION LOGIC;

COMPUTER PROGRAMMING LANGUAGES; LINGUISTICS; MARKUP LANGUAGES; SEMANTIC WEB; SEMANTICS; COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 33845200412     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30504-0_8     Document Type: Conference Paper

References (29)

1. Grigoris Antoniou. Nonmonotonic rule system on top of ontology layer. In I. Horrocks and J. Hendler, editors, ISWC 2002, number 2432 in LNCS, pages 394-398, Berlin, 2002.
2. Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher. On the modeling and analysis of regulations. In Proceedings of the Australian Conference Information Systems, pages 20-29, 1999.
3. Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher. A flexible framework for defeasible logics. In Proc. American National Conference on Artificial Intelligence (AAAI-2000), pages 401-405, Menlo Park, CA, 2000. AAAI/MIT Press.
4. Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255-287, 2001.
5. Grigoris Antoniou and Gerd Wagner. Rules and defeasible reasoning on the semantic web. In M. Schroeder and G. Wagner, editors, RuleML 2003, number 2876 in LNCS, pages 111-120, Berlin, 2003.
6. F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalism. Journal of Automated Reasoning, 14:149-180, 1995.
7. F. Baader and B. Hollunder. Priorities on defaults with prerequisites and their application in treating specificity in terminological default logic. Journal of Automated Reasoning, 14:41-68, 1995.
8. Franz Baader, Diego Calvanes, Deborah McGuinnes, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logics Handbook. Cambridge University Press, Cambridge, 2003.
9. Franz Baader and Werner Nutt. Basic description logics. In Baader et al. [8], chapter 2, pages 43-95.
10. David Billington. Defeasible logic is stable. Journal of Logic and Computation, 3:370-400, 1993.
11. Michael Covington, Donald Nute, and A. Vellino. Prolog Programming in Depth. Prentice Hall, 1997.
12. Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, and Phillipa Oaks. A formal approach to negotiating agents development. Electronic Commerce Research and Applications, 1(2):193-207, 2002.
13. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning, pages 141-151, 2004.
14. Guido Governatori, Marlon Dumas, Arthur H.M. ter Hofstede, and Phillipa Oaks. A formal approach to protocols and strategies for (legal) negotiation. In Henry Prakken, editor, Procedings of the 8th International Conference on Artificial Intelligence and Law, pages 168-177. IAAIL, ACM Press, 2001.
15. Guido Governatori and Vineet Padmanabhan. A defeasible logic of policy-based intention. In Tamás D. Gedeon and Lance Chun Che Fung, editors, AI 2003: Advances in Artificial Intelligence, volume 2903 of LNAI, pages 414-426, Berlin, 3-5 December 2003.
16. Guido Governatori and Antonino Rotolo. A computational framework for nonmonotonic agency, institutionalised power and multi-agent systems. In Daniéle Bourcier, editor, Legal Knowledge and Inforamtion Systems, volume 106 of Frontieres in Artificial Intelligence and Applications, pages 151-152, Amsterdam, 2003. IOS Press.
17. Guido Governatori and Antonino Rotolo. Defeasible logic: Agency and obligation. In Alessio Lomuscio and Donald Nute, editors, Deontic Logic in Computer Science, number 3065 in LNAI, pages 114-128, Berlin, 2004.
18. Guido Governatori, Antonino Rotolo, and Shazia Sadiq. A model of dynamic resource allocation in workflow systems. In Klaus-Dieter Schewe and Hugh E. Williams, editors, Database Technology 2004, number 27 in Conference Research and Practice of Information Technology, pages 197-206. Australian Computer Science Association, ACS, 19-21 January 2004.
19. B.N. Grosof, I. Horrocks, R Volz, and S. Decker. Description logic programs: combining logic programs with description logic. In Proceedings of the twelfth international conference on World Wide Web, pages 48-57. ACM Press, 2003.
20. B.N. Grosof, Y. Labrou, and H.Y. Chan. A declarative approach to business rules in contracts: Courteous logic programs in XML. In Proceedings of the 1st ACM Conference on Electronic Commerce (EC-99). ACM Press, 1999.
21. S. Heymans and D. Vermeir. A defeasible ontology language. In R. Meersman and Z. Tari, editors, Confederated International Conferences: CoopIS, DOA and ODBASE 2002, number 2519 in LNCS, pages 1033-1046, Berlin, 2002. Springer-Verlag.
22. Michael Maher. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming, 1(6):691-711, November 2001.
23. Maher. M.J., A. Rock, G. Antoniou, D. Billignton, and T. Miller. Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools, 10(4):483-501, 2001.
24. Donald Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 353-395. Oxford University Press, 1987.
25. L. Padgham and T. Zhang. A terminological logic with defaults: A definition and an application. In Proc. IJCAI'93, pages 662-668, Los Altos, 1993. Morgan Kaufmann.
26. J. Quantz and V. Royer. A preference semantics for defaults in terminological logics. In Proc KR'92, pages 294-305, Los Altos, 1992. Morgan Kaufmann.
27. D.M. Reeves, B.N. Grosof, M.P. Wellman, and H.Y. Chan. Towards a declarative language for negotiating executable contracts. In Proceedings of the AAAI-99 Workshop on Artificial Intelligence in Electronic Commerce (AIEC-99). AAAI Press / MIT Press, 1999.
28. U. Straccia. Default inheritance reasoning in hybrid KL-ONE-style logics. In Proc. IJCAI'93, pages 676-681, Los Altos, 1993. Morgan Kaufmann.
29. Kewen Wang, David Billington, Jeff Blee, and Grigoris Antoniou. Combining description logic and defeasible logic for the semantic web. In Grigoris Antoniou and Harlod Boley, editors, RuleML 2004, LNCS, Berlin, 2004. Springer-Verlag.