Coordination between logical agents

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

Volumn 3487 LNAI, Issue , 2005, Pages 161-177

  Sakama, Chiaki ^a   Inoue, Katsumi ^b  

^a WAKAYAMA UNIVERSITY   (Japan)

^b NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; PROBLEM SOLVING; SEMANTICS;

ANSWER SOT SEMANTICS; BELIEF SETS; LOGICAL AGENTS;

INTELLIGENT AGENTS;

EID: 26844582937     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11533092_10     Document Type: Conference Paper

References (12)

1. C. Baral, S. Kraus, and J. Minker. Combining multiple knowledge bases, IEEE Transactions of Knowledge and Data Engineering 3(2):208-220, 1991.
2. C. Baral and M. Gelfond. Logic programming and knowledge representation. Journal of Logic Programming 19/20:73-148, 1994.
3. S. Brass and J. Dix. Characterizations of the disjunctive stable semantics by partial evaluation. Journal of Logic Programming 32(3):207-228, 1997.
4. A. Brogi, S. Contiero, and F. Turini. Composing general logic programs. Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 1265, pp. 273-288, Springer, 1997.
5. A. Ciampolini, E. Lamma, P. Mello, F. Toni, and P. Torroni. Cooperation and competition in ALIAS: a logic framework for agents that negotiate. Annals of Mathematics and Artificial Intelligence 37(1/2), pp, 65-91, 2003.
6. S. Etalle and F. Teusink. A compositional semantics for normal open programs. Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 468-482, MIT Press, 1996.
7. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3/4):365-385, 1991.
8. S. Konieczny and R. Pino-Pérez. On the logic of merging. Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning, pp. 488-498, Morgan Kaufmann, 1998.
9. P. Liberatore and M. Schaerf. Arbitration (or how to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering 10(1):76-90, 1998.
10. T. Meyer, N. Foo, R. Kwok, and D. Zhang. Logical foundation of negotiation: outcome, concession and adaptation. Proceedings of the 19th National Conference on Artificial intelligence, pp. 293-298, MIT Press, 2004.
11. C. Sakama and H. Seki. Partial deduction in disjunctive logic programming. Journal of Logic Programming 32(3):229-245, 1997.
12. S. Verbaeten, M. Denecker, and D. De. Schreye. Compositionality of normal open logic programs. Proceedings of the 1997 International Symposium on Logic Programming, pp. 371-385, MIT Press, 1997.