Sciweavers

835 search results - page 29 / 167
» Nonmonotonic Reasoning in Probabilistics
Sort
View
BIRTHDAY
2005
Springer
14 years 28 days ago
Compositional Reasoning for Probabilistic Finite-State Behaviors
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
Yuxin Deng, Catuscia Palamidessi, Jun Pang
CL
2000
Springer
13 years 11 months ago
Multi-dimensional Dynamic Logic Programming
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...