Sciweavers

6355 search results - page 132 / 1271
» From Logic to Games
Sort
View
AIIDE
2006
15 years 7 months ago
The NERO Video Game
In most modern video games, character behavior is scripted; no matter how many times the player exploits a weakness, that weakness is never repaired. Yet if game characters could ...
Kenneth O. Stanley, Igor Karpov, Risto Miikkulaine...
IADIS
2004
15 years 7 months ago
Challenges for Network Computer Games
Interactive entertainment and specifically computer games has grown into a multi-billion industry in the last few years and continues to grow. This expansion has fueled a number o...
Yusuf Pisan
JUCS
2008
281views more  JUCS 2008»
15 years 6 months ago
Creating Adaptive e-Learning Board Games for School Settings Using the ELG Environment
: The use of digital games in education is well documented in the literature. They have been used in preschool, K-12, the university. A specific type of digital games is board game...
Symeon Retalis
FSTTCS
2010
Springer
15 years 4 months ago
ATL with Strategy Contexts: Expressiveness and Model Checking
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
Arnaud Da Costa Lopes, François Laroussinie...
NMR
2004
Springer
15 years 11 months ago
A plausible logic which detects loops
Unlike most non-monotonic logics Plausible Logic was designed from the very beginning with computer implementation in mind. But one aspect of implementation was neglected, namely ...
David Billington