3481 search results - page 165 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
142
Voted
AAAI
2008
15 years 5 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
111
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
120
Voted
DBPL
1993
Springer
15 years 7 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
208
click to vote
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
112
click to vote
PEPM
2009
ACM
16 years 13 hour ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...