6355 search results - page 169 / 1271 » From Logic to Games |
152
click to vote
CLIMA
2007
15 years 8 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
205
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
168
click to vote
CONEXT
2006
ACM
16 years 14 days ago
2006
ACM
In First Person Shooter (FPS) games the Round Trip Time (RTT), i.e., the sum of the network delay from client to server and the network delay from server to client, impacts the ga...
132
click to vote
GRAPHITE
2003
ACM
15 years 11 months ago
2003
ACM
Much literature has argued that interactive engagement in a computer medium is best demonstrated by games. With this in mind, this paper suggests certain techniques that virtual e...
163
click to vote
SBRN
2002
IEEE
15 years 11 months ago
2002
IEEE
This article presents the system “Neural Connect 4”, a program that plays the game Connect Four. This system employs the multilayer perceptron architecture which is learning t...