4192 search results - page 137 / 839 » Probabilistic Logic Programming |
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
157
Voted
ILP
2007
Springer
15 years 8 months ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
123
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
137
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
153
click to vote
MSCS
2006
15 years 2 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...