124
click to vote
LPNMR
15 years 6 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...
121
click to vote
LPNMR
15 years 6 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...
117
Voted
LPNMR
15 years 6 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...
114
Voted
LPNMR
15 years 6 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 ...
108
Voted
LPNMR
15 years 6 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...
|
Automated Reasoning