Sciweavers

Share
3898 search results - page 1 / 780
» Logic-Based Probabilistic Modeling
Sort
View
JCST
2010
153views more  JCST 2010»
8 years 5 months ago
Model Failure and Context Switching Using Logic-Based Stochastic Models
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
Nikita A. Sakhanenko, George F. Luger
WOLLIC
2009
Springer
9 years 4 months ago
Logic-Based Probabilistic Modeling
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
Taisuke Sato
LFCS
2009
Springer
9 years 4 months ago
Decidability and Undecidability in Probability Logic
We study computational aspects of a probabilistic logic based on a well-known model of induction by Valiant. We prove that for this paraconsistent logic the set of valid formulas ...
Sebastiaan Terwijn
ASM
2010
ASM
9 years 3 months ago
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
Osman Hasan, Sofiène Tahar
IJAR
2007
68views more  IJAR 2007»
8 years 10 months ago
A probabilistic logic based on the acceptability of gambles
Peter R. Gillett, Richard B. Scherl, Glenn Shafer
books