223 search results - page 1 / 45 » Logic programs with monotone abstract constraint atoms |
132
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
107
Voted
AAAI
2004
15 years 2 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 (...
78
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
AAAI
2006
15 years 2 months ago
2006
98
Voted
LPNMR
2005
Springer
15 years 6 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...