Defeasible reasoning with e-contracts

Proceedings - 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT'06

Volumn , Issue , 2006, Pages 690-694

  Giannikis, Georgios K ^a   Daskalopulu, Aspassia ^a  

^a UNIVERSITY OF THESSALY   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC COMMERCE; ELECTRONIC DATA INTERCHANGE; FORMAL LOGIC;

BUSINESS EXCHANGE; DEFEASIBLE REASONING; E-CONTRACTS;

CONTRACTS;

EID: 38949125113     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IAT.2006.51     Document Type: Conference Paper

References (16)

1. A. Daskalopulu, "Modeling legal contracts as processes." in DEXA'OO. IEEE CS, 2000, pp. 1074-1079.
2. R. H. Marin and G. Sartor, "Time and norms: a formalisation in the event-calculus." in ICAIL, 1999, pp. 90-99.
3. A. Artikis, J. Pitt, and M. J. Sergot, "Animated specifications of computational societies." in AAMAS. ACM, 2002, pp. 1053-1061.
4. A. D. H. Farréll, M.J. Sergot, M.Sallé, and C. Bartolini, "Using the event calculus for tracking the normative state of contracts." Int. J. Cooperative Inf. Syst., vol. 14, no. 2-3, pp. 99-129, 2005.
5. J. Knottenbelt and K. Clark, "Contract-related agents." in CLIMA VI, LNCS, vol. 3900. Springer, 2005, pp. 226-242.
6. R. A. Kowalski and M. J. Sergot, "A logic-based calculus of events." New Generation Comput., vol. 4, no. 1, pp. 67-95, 1986.
7. B. N. Grosof, "Representing e-commerce rules via situated courteous logic programs in RuleML." Electronic Commerce Research and Applications, vol. 3, no. 1, pp. 2-20, 2004.
8. G. Governatori and D. Hoang, "A semantic web based architecture for e-contracts in defeasible logic." in RuleML, 2005, pp. 145-159.
9. A. Paschke, M. Bichler, and J. Dietrich, "ContractLog: An approach to rule based monitoring and execution of service level agreements." in RuleML, 2005, pp. 209-217.
10. D. Nute, "Defeasible logic," in Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning, D. Gabbay, et al., Eds. Oxford University Press, 1994, vol. 3, pp. 353-395.
11. R. Reiter, "A logic for default reasoning." Artif Intell., vol. 13, no. 1-2, pp. 81-132, 1980.
12. G. Brewka, "Reasoning about priorities in default logic." in AIAA, 1994, pp. 940-945.
13. R. Miller and M. Shanahan, "The event calculus in classical logic - alternative axiomatisations." Electron. Trans. Artif Intell, vol. 3, no. A, pp. 77-105, 1999.
14. B. F. Chellas, Modal Logic: An Introduction. Cambridge University Press, 1980.
15. D. Makinson, "On the formal representation of rights relations," Journal of Philosophical Logic, vol. 15, no. 4, pp. 403-425, 1986.
16. G. Antoniou, "A tutorial on default logics," ACM Computer Surveys, vol. 31, no. 4, pp. 337-359, 1999.