167
click to vote
LPNMR
15 years 10 months ago
2004 Springer 
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
161
click to vote
LPNMR
15 years 10 months ago
2004 Springer 
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
153
click to vote
LPNMR
15 years 10 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...
150
click to vote
LPNMR
15 years 10 months ago
2004 Springer 
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
149
click to vote
LPNMR
15 years 10 months ago
2004 Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
|
Automated Reasoning