6355 search results - page 394 / 1271 » From Logic to Games |
182
click to vote
UAI
2003
15 years 8 months ago
2003
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
161
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
164
click to vote
JAIR
2006
15 years 6 months ago
2006
Logical hidden Markov models (LOHMMs) upgrade traditional hidden Markov models to deal with sequences of structured symbols in the form of logical atoms, rather than flat characte...
147
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper establishes undecidability of satisfiability for multi-modal logic equipped with the hybrid binder ↓ , with respect to frame classes over which the same language wit...
157
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Starting from a decomposition result of MTL-chains as ordinal sums, we focus our attention on a particular kind of indecomposable semihoops, namely weakly cancellative semihoops. ...