Linear logic, partial deduction and cooperative problem solving

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

Volumn 2990, Issue , 2004, Pages 263-279

  Küngas, Peep ^a   Matskin, Mihhail ^b  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COMPUTATIONAL LINGUISTICS; LINEAR ALGEBRA; MULTI AGENT SYSTEMS;

COOPERATIVE PROBLEM SOLVING; LINEAR LOGIC; PARTIAL DEDUCTION;

PROBLEM SOLVING;

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

References (23)

1. Wooldridge, M., Jennings, N. R.: The cooperative problem-solving process. Journal of Logic and Computation 9 (1999) 563-592
2. Girard, J. Y.: Linear logic. Theoretical Computer Science 50 (1987) 1-102
3. Lincoln, P.: Linear logic. ACM SIGACT Notices 23 (1992) 29-37
4. Lincoln, P.: Deciding provability of linear logic formulas. In Girard, J. Y., Lafont, Y., Regnier, L., eds.: Advances in Linear Logic. London Mathematical Society Lecture Note Series, Vol. 222. (1995) 109-122
5. Komorowski, J.: A specification of an abstract prolog machine and its application to partial evaluation. PhD thesis. Technical Report LSST 69, Department of Computer and Information Science, Linkoping University, Linkoping, Sweden (1981)
6. Lloyd, J. W., Shepherdson, J. C.: Partial evaluation in logic programming. Journal of Logic Programming 11 (1991) 217-242
7. M. Matskin, J. K.: Partial structural synthesis of programs. Fundamenta Informaticae 30 (1997) 23-41
8. Harland, J., Winikoff, M.: Agent negotiation as proof search in linear logic. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy. (2002)
9. Parsons, S., Sierra, C., Jennings, N.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8 (1998) 261-292
10. Jennings, N. R., Faratin, P., Lomuscio, A. R., Parsons, S., Sierra, C., Wooldridge, M.: Automated negotiation: Prospects, methods and challenges. International Journal of Group Decision and Negotiation 10 (2001) 199-215
11. Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation: A logical model and implementation. Artificial Intelligence 104 (1998) 1-69
12. Fisher, M.: Characterising simple negotiation as distributed agent-based theoremproving - a preliminary report. In: Proceedings of the Fourth International Conference on Multi-Agent Systems, Boston, IEEE Press (2000)
13. Sadri, F., Toni, F., Torroni, P.: Logic agents, dialogues and negotiation: An abductive approach. In: Proceedings of the Symposium on Information Agents for E-Commerce, Artificial Intelligence and the Simulation of Behaviour Convention (AISB-2001), York, UK. (2001)
14. Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue and negotiation. In: Proceedings of 14th European Conference on Artificial Intelligence, Berlin, Germany. (2000) 338-342
15. Fisher, M., Wooldridge, M.: Distributed problem-solving as concurrent theorem proving. In: Proceedings of 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Ronneby, Sweden. Lecture Notes in Computer Science, Vol. 1237. Springer-Verlag (1997) 128-140
16. Giampapa, J. A., Sycara, K.: Conversational case-based planning for agent team coordination. In Aha, D. W., Watson, I., eds.: Case-Based Reasoning Research and Development: Proceedings of the Fourth International Conference on Case-Based Reasoning, ICCBR 2001. Lecture Notes in Artificial Intelligence, Vol. 2080. (2001)
17. Levesque, H. J., Cohen, P. R., Nunes, J. H. T.: On acting together. In: Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90. (1990) 94-99
18. Cohen, P. R., Levesque, H. J.: Teamwork. Nous 25 (1991) 487-512
19. Grosz, B., Kraus, S.: Collaborative plans for complex group actions. Artificial Intelligence 86 (1996) 269-357
20. Sycara, K., Zeng, D.: Coordination of multiple intelligent software agents. International Journal of Intelligent and Cooperative Information Systems 5 (1996) 181-211
21. Tambe, M.: Towards flexible teamwork. Journal of Artificial Intelligence Research 7 (1997) 83-124
22. Bozzano, M., Delzanno, G., Martelli, M., Mascardi, V., Zini, F.: Logic programming & multi-agent systems: a synergic combination for applications and semantics. In: The Logic Programming Paradigm: a 25-Year Perspective, Springer-Verlag (1999) 5-32
23. Harland, J., Winikoff, M.: Language design issues for agents based on linear logic. In Dix, J., Leite, J. A., Satoh, K., eds.: Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02), 1st August, Copenhagen, Denmark. Electronic Notes in Theoretical Computer Science 70(5), Elsevier (2002)