Compositional verification of a multi-agent system for one-to-many negotiation
From MaRDI portal
Publication:702806
DOI10.1023/B:APIN.0000013334.33853.0czbMath1080.68684OpenAlexW2009866896MaRDI QIDQ702806
Jan Treur, Frank Cornelissen, Catholijn M. Jonker, Rune Gustavsson, Bianca Polak, Frances M. T. Brazier, Olle Lindeberg
Publication date: 19 January 2005
Published in: Applied Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:apin.0000013334.33853.0c
Learning and adaptive systems in artificial intelligence (68T05) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items
FSP and FLTL framework for specification and verification of middle-agents, Engineering characteristics of autonomous agent architectures