169 search results - page 5 / 34 » Temporalization of Probabilistic Propositional Logic |
119
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
132
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
105
Voted
CORR
2010
Springer
15 years 13 days ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
123
click to vote
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...