Sciweavers

466 search results - page 67 / 94
» How to study artificial creativity
Sort
View
ECAI
2006
Springer
14 years 1 months ago
Coalition Structure Generation in Task-Based Settings
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multi-agent system...
Viet Dung Dang, Nicholas R. Jennings
ECAI
2006
Springer
14 years 1 months ago
Resolving Conflicts in Action Descriptions
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
AIIDE
2008
14 years 3 days ago
An Intelligent IDE for Behavior Authoring in Real-Time Strategy Games
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...
Suhas Virmani, Yatin Kanetkar, Manish Mehta, Santi...
ATAL
2008
Springer
13 years 11 months ago
Conviviality masks in multiagent systems
In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent sys...
Patrice Caire, Serena Villata, Guido Boella, Leend...
CP
2008
Springer
13 years 11 months ago
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
Hélène Collavizza, Michel Rueher, Pa...