162 search results - page 4 / 33 » Completeness Guarantees for Incomplete Reasoners |
ALDT
2009
Springer
15 years 4 months ago
2009
Springer
Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same pr...
TARK
2007
Springer
15 years 3 months ago
2007
Springer
This paper considers the robustness of equilibria to a small amount of incomplete information, where players are allowed to have heterogenous priors. An equilibrium of a complete ...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...
LPNMR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...