435 search results - page 28 / 87 » Probability logic, logical probability, and inductive suppor... |
TARK
2009
Springer
15 years 4 months ago
2009
Springer
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
ETELEMED
2009
IEEE
15 years 4 months ago
2009
IEEE
The Differential diagnosis (ddx) is a systematic method to identify unknowns. This method, essentially a process of elimination, is used by taxonomists to identify living organism...
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
120
click to vote
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
JLP
2000
14 years 9 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...