344 search results - page 16 / 69 » Probabilistic Inductive Logic Programming |
ML
2008
ACM
15 years 11 days ago
2008
ACM
67
Voted
ETAI
2000
15 years 7 days ago
2000
105
Voted
IHI
2010
14 years 7 months ago
2010
197
Voted
ASIAN
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
86
Voted
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...