2008 | ||
---|---|---|
2 | EE | Veena S. Mellarkod, Michael Gelfond: Integrating Answer Set Reasoning with Constraint Solving Techniques. FLOPS 2008: 15-31 |
2003 | ||
1 | EE | Marcello Balduccini, Veena S. Mellarkod: CR-Prolog with Ordered Disjunction. Answer Set Programming 2003 |
1 | Marcello Balduccini | [1] |
2 | Michael Gelfond | [2] |