223 search results - page 1 / 45 » Logic programs with monotone abstract constraint atoms |
CORR
2006
Springer
13 years 4 months ago
2006
Springer
AAAI
2004
13 years 6 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
ICLP
2007
Springer
13 years 10 months ago
2007
Springer
AAAI
2006
13 years 6 months ago
2006
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...