Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications

Specifying communicative multi-agent systems.- Making it up as they go along: A theory of reactive cooperation.- Agency and the logic of ability.- On the relation between interpreted systems and Kripke models.- Disjunctive logic programming and possible model semantics.- A non-monotonic ATMS based on annotated logic programs with strong negation.- Switching between reasoning and search.- The social dimension of interactions in multiagent systems.- Generating states of joint commitment between autonomous agents.- Social co-ordination among autonomous problem-solving agents.- An algorithm for plan verification in multiple agent systems.- A framework for coordination and learning among teams of agents.- An iterated hawk-and-dove game.- A game-theoretic solution of conflicts among competitive agents.- Transformation between the EMYCIN model and the Bayesian network.- Using multi-agent approach for the design of an intelligent learning environment.- A case-based strategy for solution synthesis among cooperative expert systems.