171 search results - page 2 / 35 » Logic Programs with Stable Model Semantics as a Constraint P... |
NMELP
1994
13 years 9 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
ICLP
2010
Springer
13 years 9 months ago
2010
Springer
LPNMR
2004
Springer
13 years 10 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 ...
KR
2004
Springer
13 years 10 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
CSL
1998
Springer
13 years 9 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...