192 search results - page 1 / 39 » Logic Programs with Abstract Constraint Atoms |
102
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 (...
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
89
Voted
AAAI
2006
15 years 2 months ago
2006
130
Voted
CORR
2006
Springer
15 years 26 days ago
2006
Springer
100
click to vote
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...