The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nikolay Pelov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  13. Well-founded and Stable Semantics of Logic Programs with Aggregates [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002