Nikolay Pelov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1998–2005
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ICLP | Reducing Inductive Definitions to Propositional Satisfiability. | Nikolay Pelov, Eugenia Ternovska |
| 2004 | LPNMR | Partial Stable Models for Logic Programs with Aggregates. | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
| 2001 | ICLP | Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. | Marc Denecker, Nikolay Pelov, Maurice Bruynooghe |
| 2000 | LPAR | Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. | Nikolay Pelov, Emmanuel De Mot, Marc Denecker |
| 2000 | PPDP | Extending constraint logic programming with open functions. | Nikolay Pelov, Maurice Bruynooghe |
| 1999 | LPAR | Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. | Nikolay Pelov, Maurice Bruynooghe |
| 1998 | AIMSA | A Framework for Inductive Learning Based on Subsumption Lattices. | Zdravko Markov, Nikolay Pelov |