Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent pplications.A coalition of agents can...

Deeper searches in game-playing programs relying on the minimax principle generally produce better results. Theoretical analyses, however, suggest th...

In this paper we describe a machine learning approach for acquiring a model of a robot behaviour from raw sensor data. We are interested in automating...

We present a family of dialectic proof procedures for the admissibility semantics of assumption-based argumentation. These proof procedures are define...

Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending com...