B. Polak (polak-b)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, Jan. 2002. “Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 455–475. Dordrecht: Kluwer Academic Publishers.