Modeling interactions using social integrity constraints: A resource sharing case study

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

Volumn 2990, Issue , 2004, Pages 243-262

  Alberti, Marco ^a   Gavanelli, Marco ^a   Lamma, Evelina ^a   Mello, Paola ^b   Torroni, Paolo ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; MULTI AGENT SYSTEMS;

AUTOMATIC VERIFICATION; COMPUTING ENVIRONMENTS; FORMAL DEFINITION; INTER-ACTION PROTOCOLS; MODEL INTERACTION; SOCIAL EXPECTATIONS; SOCIAL INTEGRITY CONSTRAINTS; THEORETICAL FRAMEWORK;

AUTONOMOUS AGENTS; CONSTRAINT THEORY;

EID: 21144444316     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25932-9_13     Document Type: Conference Paper

References (31)

1. Global Computing: Co-operation of Autonomous and Mobile Entities in Dynamic Environments http://www.cordis.lu/ist/fetgc.htm.
2. Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees http://lia.deis.unibo.it/Research/SOCS/.
3. Sadri, F., Toni, F., Torroni, P.: Minimally intrusive negotiating agents for resource sharing. In Gottlob, G., Walsh, T., eds.: Proceedings of the 18th International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers (2003)
4. Krogh, C.: Obligations in multiagent systems. In Aamodt A., Komorowski J., eds.: Proceedings of the 5th Scandinavian Conference on Artificial Intelligence, Trondheim, Norway. ISO Press, Amsterdam (1995) 19-30
5. ∗IA 2003: Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence. Lecture Notes in Artificial Intelligence, Vol. 2829. Springer-Verlag (2003) 287-299
6. Eshghi, K., Kowalski, R. A.: Abduction compared with negation by failure. In Levi, G., Martelli, M., eds.: Proceedings of the 6th International Conference on Logic Programming, MIT Press (1989) 234-255
7. Kowalski, R. A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25 (1999) 391-419
8. Poole, D. L.: A logical framework for default reasoning. Artificial Intelligence 36 (1988) 27-47
9. Fung, T. H., Kowalski, R. A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33 (1997) 151-165
10. Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Logic Based Semantics for an Agent Communication Language. In Dunin-Keplicz, B., Verbrugge, R., eds.: Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS), Warsaw, Poland (2003) 21-36
11. Yolum, P., Singh, M.: Flexible protocol specification and execution: applying event calculus planning using commitments. In Castelfranchi, C., Lewis Johnson, W., eds.: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part II, ACM Press (2002) 527-534
12. Guerin, F., Pitt, J.: Proving properties of open agent systems. In Castelfranchi, C., Lewis Johnson, W., eds.: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part II, ACM Press (2002) 557-558
13. Pitt, J., Guerin, F.: Guaranteeing properties for e-commerce systems. Technical Report TRS020015, Department of Electrical and Electronic Engineering, Imperial College, London, UK (2002)
14. Singh, M. P.: A social semantics for agent communication languages. In Dignum, F., Greaves, M., eds.: Issues in Agent Communication. Springer-Verlag (2000) 31-45
15. Hume, D.: An Enquiry Concerning Human Understanding. (1748)
16. Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In Greco, S., Leone, N., eds.: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA). Lecture Notes in Computer Science, Vol. 2424. Springer-Verlag (2002) 419-431
17. Alberti, M., Daolio, D., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interaction protocols in a logic-based system. In: Proceedings of the 19th ACM Symposium on Applied Computing (SAC). Special Track on Agents, Interactions, Mobility, and Systems (AIMS) (2004) 72-78
18. Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37 (1998) 95-138
19. Esteva, M., Rodriguez-Aguilar, J. A., Sierra, C., Garcia, P., Arcos, J. L.: On the formal specification of electronic institutions. In Dignum, F., Sierra, C., eds.: Agentmediated Electronic Commerce (The European AgentLink Perspective). Lecture Notes in Artificial Intelligence, Vol. 1991. Springer-Verlag (2001) 126-147
20. Dellarocas, C., Klein, M.: Civil agent societies: Tools for inventing open agentmediated electronic marketplaces. In Moukas, A., Sierra, C., Ygge, F., eds.: Agent Mediated Electronic Commerce II, Towards Next-Generation Agent-Based Electronic Commerce Systems, IJCAI 1999 Workshop. Lecture Notes in Computer Science, Vol. 1788. Springer-Verlag (2000) 24-39
21. Vasconcelos, W. W.: Logic-based electronic institutions. In this volume.
22. Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and AI 14 (1995) 533-562
23. Wooldridge, M., Jennings, N. R., Kinny, D.: The gaia methodology for agentoriented analysis and design. Autonomous Agents and Multi-Agent Systems 3 (2000) 285-312
24. Lamport, L.: What Good Is Temporal Logic? In Mason, R. E. A., ed.: Information Processing, Vol. 83. Elsevier Sciene Publishers (1983) 657-668
25. Davidsson, P.: Categories of artificial societies. In Omicini, A., Petta, P., Tolksdorf, R., eds.: Engineering Societies in the Agents World II, 2nd International Workshop (ESAW), Prague, Czech Republic, 7 July 2001, Revised Papers. Lecture Notes in Artificial Intelligence, Vol. 2203. Springer-Verlag (2001) 1-9
26. Mazouzi, H., El Fallah Seghrouchni, A., Haddad, S.: Open protocol design fo complex interactions in multi-agent systems. In Castelfranchi, C., Lewis Johnson, W., eds.: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part II, ACM Press (2002) 402-409
27. Hewitt, C.: Open information systems semantics for distributed artificial intelligence. Artificial Intelligence 47 (1991) 79-106
28. Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In Castelfranchi, C., Lewis Johnson, W., eds.: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part III, ACM Press (2002) 1053-1061
29. Küngas, P., Matskin, M.: Linear logic, partial deduction and cooperative problem solving. In this volume.
30. Torroni, P., Mello, P., Maudet, N., Alberti, M., Ciampolini, A., Lamma, E., Sadri, F., Toni, F.: A logic-based approach to modeling interaction among computees (preliminary report). In: UK Multi-Agent Systems (UKMAS) Annual Conference, Liverpool, UK. (2002)
31. Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A social ACL semantics by deontic constraints. In Mařík, V., Müller, J., Pěchouček, M., eds.: Multi-Agent Systems and Applications III. Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS). Lecture Notes in Artificial Intelligence, Vol. 2691. Springer-Verlag (2003) 204-213