Sciweavers

196 search results - page 30 / 40
» Expressive AI: Games and Artificial Intelligence
Sort
View
AI
2006
Springer
13 years 7 months ago
The complexity of soft constraint satisfaction
Over the past few years there has been considerable progress in methods to systematically analyse the complexity of constraint satisfaction problems with specified constraint type...
David A. Cohen, Martin C. Cooper, Peter Jeavons, A...
AI
2005
Springer
13 years 7 months ago
On the logic of cooperation and propositional control
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Wiebe van der Hoek, Michael Wooldridge
AI
1999
Springer
13 years 7 months ago
Bucket Elimination: A Unifying Framework for Reasoning
Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolut...
Rina Dechter
AI
2011
Springer
13 years 2 months ago
A logic for reasoning about counterfactual emotions
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
Emiliano Lorini, François Schwarzentruber
GAMEON
2008
13 years 9 months ago
Generating Emergent Team Strategies in Football Simulation Videogames via Genetic Algorithms
This paper defends the use of evolutionary algorithms to generate (and evolve) strategies that manage the behavior of a team in simulated football videogames. The chosen framework...
Antonio J. Fernández, Carlos Cotta, Rafael ...