LPNMR
2004
Springer
14 years 5 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...
LPNMR
2004
Springer
14 years 5 months ago
2004
Springer
LPNMR
2004
Springer
14 years 5 months ago
2004
Springer
LPNMR
2004
Springer
14 years 5 months ago
2004
Springer
LPNMR
2004
Springer
14 years 5 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...
LPNMR
2004
Springer
14 years 5 months 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 ...
LPNMR
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
LPNMR
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
LPNMR
2004
Springer
14 years 5 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 ...
LPNMR
2004
Springer
14 years 5 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...