Bosse, Tibor; Jonker, Catholijn M.; van der Meij, Lourens; Treur, Jan Automated formal analysis of human multi-issue negotiation processes. (English) Zbl 1156.68590 Multiagent Grid Syst. 4, No. 2, 213-233 (2008). MSC: 68T35 68T20 PDFBibTeX XMLCite \textit{T. Bosse} et al., Multiagent Grid Syst. 4, No. 2, 213--233 (2008; Zbl 1156.68590) Full Text: DOI
Brazier, Frances M. T.; Cornelissen, Frank; Gustavsson, Rune; Jonker, Catholijn M.; Lindeberg, Olle; Polak, Bianca; Treur, Jan Compositional verification of a multi-agent system for one-to-many negotiation. (English) Zbl 1080.68684 Appl. Intell. 20, No. 2, 95-117 (2004). MSC: 68T35 68T05 PDFBibTeX XMLCite \textit{F. M. T. Brazier} et al., Appl. Intell. 20, No. 2, 95--117 (2004; Zbl 1080.68684) Full Text: DOI
Jonker, Catholijn M.; Verwaart, Tim Intelligent support for solving classification differences in statistical information integration. (English) Zbl 1039.68876 Chung, Paul W. H. (ed.) et al., Developments in applied artificial intelligence. 16th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE 2003, Loughborough, UK, June 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40455-4/pbk). Lect. Notes Comput. Sci. 2718, 437-446 (2003). MSC: 68U99 68T35 91B06 PDFBibTeX XMLCite \textit{C. M. Jonker} and \textit{T. Verwaart}, Lect. Notes Comput. Sci. 2718, 437--446 (2003; Zbl 1039.68876) Full Text: Link
Brazier, F. M. T.; Jonker, C. M.; Treur, J.; Wijngaards, N. J. E. Deliberate evolution in multi-agent systems. (English) Zbl 1021.68528 Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 363-380 (2001). MSC: 68T20 68T35 68T01 PDFBibTeX XMLCite \textit{F. M. T. Brazier} et al., in: Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 363--380 (2001; Zbl 1021.68528)
Jonker, Catholijn M.; Treur, Jan A formal analysis of pro-activeness and reactiveness in cooperative information gathering. (English) Zbl 1015.68548 Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 299-338 (2001). MSC: 68T35 PDFBibTeX XMLCite \textit{C. M. Jonker} and \textit{J. Treur}, in: Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 299--338 (2001; Zbl 1015.68548)
Cornelissen, Frank; Jonker, Catholijn M.; Treur, Jan Compositional verification of diagnostic process models. (English) Zbl 1017.68121 Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 65-82 (2001). MSC: 68T35 PDFBibTeX XMLCite \textit{F. Cornelissen} et al., in: Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 65--82 (2001; Zbl 1017.68121)