5243 search results - page 282 / 1049 » Reasoning About Strategies |
269
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
291
Voted
COGSYS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
210
click to vote
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
192
click to vote
LICS
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...
164
Voted
WWW
2006
ACM
16 years 8 months ago
2006
ACM
Search engine results are usually presented in some form of text summary (e.g., document title, some snippets of the page's content, a URL, etc). Based on the information con...