213
click to vote
LPNMR
16 years 8 days 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...
202
click to vote
LPNMR
16 years 8 days 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...
198
click to vote
LPNMR
16 years 8 days 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...
191
click to vote
LPNMR
16 years 8 days 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 ...
182
click to vote
LPNMR
16 years 8 days ago
2004 Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
|
Automated Reasoning