302 search results - page 25 / 61 » Playing by the rules |
AGP
1995
IEEE
13 years 11 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
ROBOCUP
1999
Springer
13 years 11 months ago
1999
Springer
Arvand is a robot specially designed and constructed for playing soccer according to RoboCup rules and regulations for the medium size robots. This robot consists of three main par...
DIGRA
2005
Springer
2005
Springer
A Sociotechnical Conjecture about the Context and Development of Multiplayer Online Game Experiences
14 years 1 months ago
The advent of multiplayer online games brings new actors into the development scene and redefines traditional roles and interactions. Anchored on studies of the role of context in...
CIE
2010
Springer
14 years 11 days ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
ROBOCUP
1999
Springer
13 years 11 months ago
1999
Springer
This paper describes an Autonomous Mobile Robot team which plays football, developed by the Group of Automation and Robotics at the Industrial Electronics department of the Univers...