6355 search results - page 27 / 1271 » From Logic to Games |
STACS
2001
Springer
14 years 3 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
PRIMA
2007
Springer
14 years 5 months ago
2007
Springer
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...
GI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we introduce SYGo, an innovative hide-andseek game which is part of the AMOGA research project of the University of Bonn in cooperation with and funded by D...
AIA
2006
14 years 10 days 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...
AAAI
2010
14 years 12 days ago
2010
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...