Nikolay Pelov

Publication Activity (10 Years)

Years Active: 1998-2007
Publications (10 Years): 0

Publications

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