37 search results - page 1 / 8 » Answer Set Programming with Clause Learning |
96
Voted
LPNMR
2004
Springer
15 years 3 months ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...
95
Voted
IJCAI
1989
14 years 11 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
87
Voted
ML
2006
ACM
14 years 10 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
118
Voted
ILP
2004
Springer
15 years 3 months ago
2004
Springer
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
107
click to vote
ASP
2001
Springer
15 years 1 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...