Nikolay Pelov

14 papers B 5C 1Misc 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2007 J jnl
Well-founded and stable semantics of logic programs with aggregates.
Theory Pract. Log. Program.
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2005 B conf
Reducing Inductive Definitions to Propositional Satisfiability.
ICLP
Nikolay Pelov, Eugenia Ternovska
2005 J jnl
Well-founded and Stable Semantics of Logic Programs with Aggregates
CoRR
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2004 B conf
Partial Stable Models for Logic Programs with Aggregates.
LPNMR
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2004 — conf
Semantics of disjunctive programs with monotone aggregates - an operator-based approach.
NMR
Nikolay Pelov, Miroslaw Truszczynski
2003 — conf
Translation of Aggregate Programs to Normal Logic Programs.
Answer Set Programming
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2001 B conf
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.
ICLP
Marc Denecker, Nikolay Pelov, Maurice Bruynooghe
2000 J jnl
A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems
CoRR
Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe
2000 C conf
Extending constraint logic programming with open functions.
PPDP
Nikolay Pelov, Maurice Bruynooghe
2000 J jnl
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison
CoRR
Nikolay Pelov, Emmanuel De Mot, Marc Denecker
2000 B conf
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison.
LPAR
Nikolay Pelov, Emmanuel De Mot, Marc Denecker
2000 J jnl
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog
CoRR
Nikolay Pelov, Maurice Bruynooghe
1999 B conf
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.
LPAR
Nikolay Pelov, Maurice Bruynooghe
1998 Misc conf
A Framework for Inductive Learning Based on Subsumption Lattices.
AIMSA
Zdravko Markov, Nikolay Pelov