3808 search results - page 25 / 762 » Artificial Intelligence: A Modern Approach |
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— The problem of how to create NPC AI for videogames that believably imitates particular human players is addressed. Previous approaches to learning player behaviour is found to ...
KI
2009
Springer
15 years 4 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
104
click to vote
AIIDE
2008
15 years 1 days ago
2008
Classic approaches to game AI require either a high quality of domain knowledge, or a long time to generate effective AI behaviour. These two characteristics hamper the goal of es...
CP
2005
Springer
14 years 11 months ago
2005
Springer
Boolean Constraint Propagation (BCP) is recognized as one of the most useful technique for efficient satisfiability checking. In this paper a new extension of the scope of boole...
155
click to vote
SBIA
2010
Springer
14 years 8 months ago
2010
Springer
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...