5243 search results - page 282 / 1049 » Reasoning About Strategies |
242
click to vote
ILP
2007
Springer
16 years 27 days 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...
275
click to vote
COGSYS
2005
Springer
15 years 8 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 ...
192
Voted
DATE
2005
IEEE
16 years 11 days 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...
168
click to vote
LICS
2005
IEEE
16 years 9 days 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 ...
147
click to vote
WWW
2006
ACM
16 years 7 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...