Author:
van Eijk Rogier M.,de Boer Frank S.,van der Hoek Wiebe,Meyer John-Jules Ch.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60:109–137, 1984.
2. F. Brazier, B. Dunin-Keplicz, N. Jennings, and J. Treur. Formal specification of multi-agent systems: a real-world case. In Proceedings of International Conference on Multi-Agent Systems (ICMAS’95), pages 25–32. MIT Press, 1995.
3. G. Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proceedings International Joint Conference on Artificial Intelligence, pages 1043–1048. Morgan Kaufmann, 1989.
4. P. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.
5. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. Non-monotonic concurrent constraint programming. In Proceedings of the International Logic Programming Symposium, pages 315–333, Vncouver Canada, 1993.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献