Defeasible logic with dynamic priorities

International Journal of Intelligent Systems

Volumn 19, Issue 5, 2004, Pages 463-472

  Antoniou, Grigoris ^a,b  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF CRETE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACTS; INTELLIGENT AGENTS; INTELLIGENT CONTROL; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS;

DEFEASIBLE RULES; LEGAL REASONING; REASONING SYSTEMS;

COMPUTER SCIENCE;

EID: 2342511557     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/int.20008     Document Type: Article

References (16)

1. Nute D. Defeasible Logic. In: Gabbay DM, Hogger CJ, Robinson JA, editors. Handbook of logic in artificial intelligence and logic programming Vol 3. London: Oxford University Press; 1994. pp 353-395.
2. Grosof BN, Labrou Y, Chan HY. A declarative approach to business rules in contracts: Courteous logic programs in XML. In: Proc 1st ACM Conf on Electronic Commerce (EC-99). ACM Press; 1999.
3. Reeves DM, Grosof BN, Wellman MP, Chan HY. Towards a declarative language for negotiating executable contracts. In: Proc of the AAAI-99 Workshop on Artificial Intelligence in Electronic Commerce (AIEC-99). Menlo Park, CA: AAAI Press/MIT Press; 1999.
4. Prakken H. Logical tools for modelling legal argument: A study of defeasible reasoning in Law. Dordrecht: Kluwer Academic Publishers; 1997.
5. Governatori G, ter Hofstede A, Oaks P. Defeasible logic for automated negotiation. In: Proc 5th CollECTeR Conf on Electronic Commerce, Brisbane, 2000.
6. Grosof BN. Prioritized conflict handling for logic programs. In: Proc Int Logic Programming Symposium. Cambridge, MA: MIT Press; 1997. pp 197-211.
7. Antoniou G, Maher MJ, Billington D. Defeasible logic versus logic programming without negation as failure. J Logic Program 2000;42:47-57.
8. Antoniou G, Billington D, Governatori G, Maher MJ. Representation results for defeasible logic. ACM Trans Computat Logic 2001;2:255-287.
9. Maher MJ. Propositional defeasible logic has linear complexity. Theor Pract Log Program 2004. In Press.
10. Maher MJ, Rock A, Antoniou G, Billington D, Miller T. Efficient defeasible reasoning systems. In: Proc 12th IEEE Int Conf on Tools with Artificial Intelligence (ICTAI2000). IEEE 2000. pp 384-392.
11. Brewka G. Well-founded semantics for extended logic programs with dynamic priorities. J Artif Intell Res 1996;4:19-36.
12. Brewka G, Eiter T. Preferred answer sets for extended logic programs. Art Int 1999;109: 297-356.
13. Prakken H, Sartor G. Argument-based logic programming with defeasible priorities. J Appl Non Class Log 1997;7:25-75.
14. Antoniou G, Billington D, Governatori G, Maher MJ. A family of defeasible reasoning logics and its implementation. In Proc 14th European Conf on Artificial Intelligence (ECAI'2000). 2000. pp 459-463.
15. Touretzky DD, Horty JF, Thomason RH. A clash of intuitions: The current state of nonmonotonic multiple inheritance systems. In: Proc IJCAI-87. San Mateo, CA: Morgan Kaufmann; 1987. pp 476-482.
16. Stein LA. Resolving ambiguity in nonmonotonic inheritance hierarchies. Artif Intell 1992;55:259-310.