Sciweavers

6355 search results - page 397 / 1271
» From Logic to Games
Sort
View
ACL
2009
15 years 4 months ago
Sense-based Interpretation of Logical Metonymy Using a Statistical Method
The use of figurative language is ubiquitous in natural language texts and it is a serious bottleneck in automatic text understanding. We address the problem of interpretation of ...
Ekaterina Shutova
ATAL
2007
Springer
16 years 1 months ago
An adversarial environment model for bounded rational agents in zero-sum interactions
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschei...
ICALP
2010
Springer
15 years 11 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
LICS
1995
IEEE
15 years 10 months ago
Tree Canonization and Transitive Closure
We prove that tree isomorphism is not expressible in the language (FO + TC + COUNT). This is surprising since in the presence of ordering the language captures NL, whereas tree is...
Kousha Etessami, Neil Immerman
AAAI
2006
15 years 8 months ago
Reasoning about Partially Observed Actions
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
Megan Nance, Adam Vogel, Eyal Amir