| 2007 |
|---|
| 14 | EE | Nikolay Pelov,
Marc Denecker,
Maurice Bruynooghe:
Well-founded and stable semantics of logic programs with aggregates.
TPLP 7(3): 301-353 (2007) |
| 2005 |
|---|
| 13 | EE | Nikolay Pelov,
Eugenia Ternovska:
Reducing Inductive Definitions to Propositional Satisfiability.
ICLP 2005: 221-234 |
| 12 | EE | Nikolay Pelov,
Marc Denecker,
Maurice Bruynooghe:
Well-founded and Stable Semantics of Logic Programs with Aggregates
CoRR abs/cs/0509024: (2005) |
| 2004 |
|---|
| 11 | EE | Nikolay Pelov,
Marc Denecker,
Maurice Bruynooghe:
Partial Stable Models for Logic Programs with Aggregates.
LPNMR 2004: 207-219 |
| 10 | EE | Nikolay Pelov,
Miroslaw Truszczynski:
Semantics of disjunctive programs with monotone aggregates - an operator-based approach.
NMR 2004: 327-334 |
| 2003 |
|---|
| 9 | EE | Nikolay Pelov,
Marc Denecker,
Maurice Bruynooghe:
Translation of Aggregate Programs to Normal Logic Programs.
Answer Set Programming 2003 |
| 2001 |
|---|
| 8 | EE | Marc Denecker,
Nikolay Pelov,
Maurice Bruynooghe:
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.
ICLP 2001: 212-226 |
| 2000 |
|---|
| 7 | EE | Nikolay Pelov,
Emmanuel De Mot,
Marc Denecker:
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison.
LPAR 2000: 225-239 |
| 6 | EE | Nikolay Pelov,
Maurice Bruynooghe:
Extending constraint logic programming with open functions.
PPDP 2000: 235-244 |
| 5 | EE | Nikolay Pelov,
Emmanuel De Mot,
Marc Denecker:
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison
CoRR cs.AI/0011030: (2000) |
| 4 | EE | Nikolay Pelov,
Emmanuel De Mot,
Maurice Bruynooghe:
A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems
CoRR cs.LO/0003026: (2000) |
| 3 | EE | Nikolay Pelov,
Maurice Bruynooghe:
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog
CoRR cs.LO/0003069: (2000) |
| 1999 |
|---|
| 2 | | Nikolay Pelov,
Maurice Bruynooghe:
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.
LPAR 1999: 358-375 |
| 1998 |
|---|
| 1 | EE | Zdravko Markov,
Nikolay Pelov:
A Framework for Inductive Learning Based on Subsumption Lattices.
AIMSA 1998: 341-352 |
