285 search results - page 21 / 57 » Game Semantics and Subtyping |
ENTCS
2002
13 years 8 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
ACMACE
2004
ACM
14 years 2 months ago
2004
ACM
This paper discusses the design of audio games, a quite new computer game category that originates from games for players with visual impairments, as well as mainstream music game...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes an automatic American football video parsing method based on transition rules of an American football game. Combining the results of live scene extraction and ...
AIA
2006
13 years 10 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
MIG
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...