Failure semantics for the exchange of information in multi-agent systems

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

Volumn 1877 LNCS, Issue , 2000, Pages 214-228

  De Boer, Frank S ^a   Van Eijk, Rogier M ^a   Van Der Hoek, Wiebe ^a   Ch Meyer, John Jules ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING; SEMANTICS; COMPUTATIONAL LINGUISTICS;

CONCURRENT PROGRAMMING LANGUAGES; EXCHANGE OF INFORMATION; FAILURE SEMANTICS; GENERALISATION; SEMANTIC THEORIES; SYNCHRONOUS COMMUNICATIONS;

MULTI AGENT SYSTEMS;

EID: 84885210968     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44618-4_17     Document Type: Conference Paper

References (15)

1. J. A. Bergstra and J. W. Klop. Process algebra for synchronous communication. Information and Control, 60: 109-137, 1984.
2. F. van Breughel. Failures, finiteness and full abstraction. In S. Brookes and M. Mislove, editors, Proceedings of the Thirteenth Conference on the Mathematical Foundations of Programming Semantics, Volume 6 of Electronic Notes in Theoretical Computer Science. Elsevier, 1997.
3. L. Brim, D. Gilbert, J.-M. Jacquet, and M. Křetínský . A process algebra for synchronous concurrent constraint programming. In M. Hanus and M. Rodriquez-Artalejo, editors, Proceedings of the fifth Conference on Algebraic and Logic Programming, Volume 1139 of LNCS, pages 165-178. Springer-Verlag, 1996.
4. S. D. Brookes, C. A. R. Hoare, and W. Roscoe. A theory of communicating sequential processes. Journal of ACM, 31: 499-560, 1984.
5. R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. A language for modular information-passing agents. In K. R. Apt, editor, CWI Quarterly, Special issue on Constraint Programming, Volume 11, pages 273-297. CWI, Amsterdam, 1998.
6. R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Systems of communicating agents. In Henri Prade, editor, Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI-98), pages 293-297, Brighton, UK, 1998. John Wiley & Sons, Ltd.
7. R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Information-passing and belief revision in multi-agent systems. In J. P. M. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V - Proceedings of 5th International Workshop on Agent Theories, Architectures, and Languages (ATAL'98), Volume 1555 of Lecture Notes in Artificial Intelligence, pages 29-45. Springer-Verlag, Heidelberg, 1999.
8. T. Finin, D. McKay, R. Fritzson, and R. McEntire. KQML: An Information and Knowledge Exchange Protocol. In Kazuhiro Fuchi and Toshio Yokoi, editors, Knowledge Building and Knowledge Sharing. Ohmsha and IOS Press, 1994.
9. J. Y. Halpern and Y. Moses. A guide to the completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54: 319-379, 1992.
10. L. Henkin, J. D. Monk, and A. Tarski. Cylindric Algebras (Part I). North-Holland Publishing, Amsterdam, 1971.
11. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8): 666-677, 1978.
12. Jean-Hugues Réty. Langages concurrents avec contraintes, communication par messages et distribution. PhD thesis, University of Orleans, France, 1997.
13. V. A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, Massachusetts, 1993.
14. M. Wooldridge. Verifiable semantics for agent communication languages. In Proceedings 3rd International Conference on Multi-Agent Systems (ICMAS'98), pages 349-356, Los Alamitos, California, 1998. IEEE Computer Society.
15. M. Wooldridge and N. Jennings. Intelligent agents: theory and practice. The Knowledge Engineering Review, 10(2): 115-152, 1995.