Sciweavers

4192 search results - page 83 / 839
» Probabilistic Logic Programming
Sort
View
CORR
2011
Springer
180views Education» more  CORR 2011»
13 years 5 months ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...
SFM
2010
Springer
231views Formal Methods» more  SFM 2010»
14 years 3 months ago
Probabilistic Semantics and Program Analysis
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
B
1998
Springer
14 years 2 months ago
The Generalised Substitution Language Extended to Probabilistic Programs
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...
Carroll Morgan