435 search results - page 29 / 87 » Probability logic, logical probability, and inductive suppor... |
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
TARK
2007
Springer
15 years 3 months ago
2007
Springer
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and imposs...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
74
Voted
ISIPTA
2003
IEEE
15 years 3 months ago
2003
IEEE
We consider the statistical problem of analyzing the association between two categorical variables from cross-classified data. The focus is put on measures which enable one to st...