Sciweavers

925 search results - page 18 / 185
» Probabilistic Belief Logics
Sort
View
APAL
2005
135views more  APAL 2005»
13 years 7 months ago
Safe beliefs for propositional theories
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
Mauricio Osorio, Juan Antonio Navarro Pérez...
SYNTHESE
2008
94views more  SYNTHESE 2008»
13 years 7 months ago
Probabilistic dynamic belief revision
Alexandru Baltag, Sonja Smets
DAGSTUHL
2007
13 years 9 months ago
Logical Particle Filtering
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
Luke S. Zettlemoyer, Hanna M. Pasula, Leslie Pack ...