Directed deadline obligations in agent-based business contracts

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

Volumn 6069 LNAI, Issue M4D, 2010, Pages 225-240

  Cardoso, Henrique Lopes ^a   Oliveira, Eugénio ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT BASED; BUSINESS CONTRACTS; CONTRACTUAL OBLIGATIONS; CONTRACTUAL RELATIONSHIPS; LEGAL ACTION; LIFE CYCLE MODEL; NON-COMPLIANCE; RULE BASED SYSTEM; SPECIFIC STATE;

DECISION MAKING; SOCIETIES AND INSTITUTIONS; TEMPORAL LOGIC;

AUTONOMOUS AGENTS;

EID: 78649767481     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14962-7_15     Document Type: Conference Paper

References (17)

1. UNCITRAL: United nations convention on contracts for the international sale of goods, cisg (1980).
2. Broersen, J., Dignum, F., Dignum, V., Meyer, J.J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43-56. Springer, Heidelberg (2004).
3. Lopes Cardoso, H., Oliveira, E.: A context-based institutional normative environment. In: Hübner, J.F., Boissier, O. (eds.) AAMAS'08 Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN), Estoril, Portugal, pp. 119-133 (2008).
4. Ryu, Y.U.: Relativized deontic modalities for contractual obligations in formal business communication. In: 30th Hawaii International Conference on System Sciences (HICSS), Hawaii, USA, vol. 4, pp. 485-493 (1997).
5. Tan, Y.-H., Thoen, W.: Modeling directed obligations and permissions in trade contracts. In: Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, vol. 5. IEEE Computer Society, Los Alamitos (1998).
6. von Wright, G.: Deontic logic. Mind 60, 1-15 (1951).
7. Emerson, E.A.: Temporal and modal logic. In: Leeuwen, J.v. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol. B, pp. 995-1072. North-Holland Pub. Co./MIT Press (1990).
8. Herrestad, H., Krogh, C.: Obligations directed from bearers to counterparties. In: Proceedings of the 5th international conference on Artificial intelligence and law, College Park, Maryland, United States, pp. 210-218. ACM, New York (1995).
9. Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law 7(1), 69-79 (1999).
10. Desai, N., Narendra, N.C., Singh, M.P.: Checking correctness of business contracts via commitments. In: Proc. 7th Intl. Joint Conf. on Autonomous Agents and Multiagent Systems, Estoril, Portugal, IFAAMAS, pp. 787-794 (2008).
11. Vázquez-Salceda, J., Dignum, F.: Modelling electronic organizations. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 584-593. Springer, Heidelberg (2003).
12. Esteva, M., Rodríguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the formal specifications of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126-147. Springer, Heidelberg (2001).
13. Pasquier, P., Flores, R.A., Chaib-Draa, B.: Modelling flexible social commitments and their enforcement. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 139-151. Springer, Heidelberg (2005).
14. Wan, F., Singh, M.P.: Formalizing and achieving multiparty agreements via commitments. In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, The Netherlands, pp. 770-777. ACM Press, New York (2005).
15. Sallé, M.: Electronic contract framework for contractual agents. In: Cohen, R., Spencer, B. (eds.) Advances in AI: 15th Conf. of the Canadian Soc. for Computational Studies of Intelligence, pp. 349-353. Springer, Heidelberg (2002).
16. Haddawy, P., Hanks, S.: Utility models for goal-directed, decision-theoretic planners. Computational Intelligence 14(3), 392-429 (1998).
17. Boella, G., van der Torre, L.: A game-theoretic approach to normative multi-agent systems. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multiagent Systems (NorMAS07). Dagstuhl Seminar Proceedings, vol. 07122 (2007).