330 search results - page 8 / 66 » Open Problems in Logic and Games |
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
We address the problem of alternating simulation reļ¬nement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
AAAI
2012
11 years 10 months ago
2012
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speciļ...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
FCT
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
AGI
2008
13 years 9 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...