1078 search results - page 71 / 216 » The Modal Logic of Probability |
159
click to vote
AIML
2004
15 years 5 months ago
2004
abstract. The aim of the present paper is to analyze the complexity of strict implication (together with falsum, conjunction and disjunction). We prove that Ladner's Theorem r...
147
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
The Dirichlet process can be used as a nonparametric prior for an infinite-dimensional probability mass function on the parameter space of a mixture model. The set of parameters o...
131
click to vote
ENTCS
2010
15 years 4 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
117
click to vote
APAL
2004
15 years 3 months ago
2004
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several se...