F. Cornelissen (cornelissen)

Contributi a Philosophie.ch

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.
Cornelissen, F., Jonker, C. M. and Treur, Jan. 2001. “Compositional Verification of Diagnostic Process Models.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 65–82. Dordrecht: Kluwer Academic Publishers.