Representation Results for Defeasible Logic

ACM Transactions on Computational Logic

Volumn 2, Issue 2, 2001, Pages 255-287

  Antoniou, G ^a   Billington, D ^a   Governatori, G ^b   Maher, M J ^c  

^a GRIFFITH UNIVERSITY   (Australia)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^c LOYOLA UNIVERSITY CHICAGO   (United States)

Author keywords

Defeasible logic; normal forms; Theory; transformations

Indexed keywords

EID: 84867763616     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/371316.371517     Document Type: Article

References (22)

1. Antoniou, G. 1997. Nonmonotonic Reasoning. MIT Press.
2. Antoniou, G., Billington, D., and Maher, M. J. 1998. Normal forms for defeasible logic. In Proc. 1998 Joint International Conference and Symposium on Logic Programming. MIT Press, 160-174.
3. Antoniou, G., Billington, D., and Maher, M. J. 1999a. On the analysis of regulations using defeasible rules. In Proc. 32nd Hawaii International Conference on Systems Science.
4. Antoniou, G., Maher, M. J., and Billington, D. 2000. Defeasible logic versus logic programming without negation as failure. Journal of Logic Programming 41, 1, 45-57.
5. Antoniou, G., Maruyama, F., Masuoka, R., and Kitajima, H. 1999b. Issues in intelligent information integration. In Proc. 3rd IASTED International Conference on Internet and Multimedia Systems and Applications. IASTED, 345-349.
6. Billington, D. 1993. Defeasible logic is stable. Journal of Logic and Computation 3, 370-400.
7. CODD, E. F. 1972. Further normalization of the database relational model. In DataBase Systems, Courant Computer Science Symposia Series 6. Prentice Hall.
8. Dimopoulos, Y. and Kakas, A. 1995. Logic programming without negation as failure. In Proc. 5th International Symposium on Logic Programming. MIT Press, 369-384.
9. Geerts, P., Vermeier, D., and Nute, D. 1994. Ordered logic: defeasible reasoning for multiple agents. Decision Support Systems 11, 157-190.
10. GROSOF, B. N. 1997. Prioritized conflict handling for logic programs. In Proc. Int. Logic Programming Symposium, J. Maluszynski, Ed. MIT Press, 197-211.
11. Grosof, B. N., Labrou, Y., and Chan, H. 1999. A declarative approach to business rules in contracts: Courteous logic programs in XML. In Proc. 1st ACM Conference on Electronic Commerce (EC-99). ACM Press.
12. Kowalski, R. A. and Toni, F. 1996. Abstract argumentation. Artificial Intelligence and Law 4, 275-296.
13. Maher, M. J., Antoniou, G., and Billington, D. 1998. A study of provability in defeasible logic. In Proc. 11th Australian Joint Conference on Artificial Intelligence. Number 1502 in LNAI. Springer, Berlin, 215-226.
14. Maher, M. J., Rock, A., Antoniou, G., Billington, D., and Miller, T. 2000. Efficient defeasible reasoning systems. In Proc. IEEE International Conference on Tools with Artificial Intelligence.
15. Marek, V. and Truszczynski, M. 1993. Nonmonotonic Reasoning. Springer, Berlin.
16. Nute, D. 1987. Defeasible reasoning. In Proc. 20th Hawaii International Conference on Systems Science. IEEE Press, 470-477.
17. Nute, D. 1994. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, D. Gabbay, C. Hogger, and J. Robinson, Eds. Vol. 3. Oxford University Press, Oxford, 353-395.
18. Pettorossi, A. and Proietti, M. 1994. Transformation of logic programs: Foundations and techniques. Journal of Logic Programming 19/20, 261-320.
19. Reeves, D. M., Grosof, B. N., Wellman, M. P., and Chan, H. Y. 1999. 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.
20. Robinson, J. A. 1965. A machine oriented logic based on the resolution principle. Journal of the ACM 12, 1, 23-41.
21. Rock, A. 2000. Deimos: Query answering defeasible logic system. http://www.cit.gu.edu.au/~arock/defeasible/Defeasible.cgi.
22. Vermeier, D., Nute, D., and Geerts, P. 1990. Modeling defeasible reasoning with multiple agents. In Proc. Hawaii International Conference on Systems Sciences. Vol. III. IEEE Press, 534-543.