|
Search the dblp DataBase
Nikolay Pelov:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Zdravko Markov, Nikolay Pelov
A Framework for Inductive Learning Based on Subsumption Lattices. [Citation Graph (0, 0)][DBLP] AIMSA, 1998, pp:341-352 [Conf]
- 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]
- 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]
- Nikolay Pelov, Eugenia Ternovska
Reducing Inductive Definitions to Propositional Satisfiability. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:221-234 [Conf]
- 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]
- 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]
- 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]
- 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]
- Nikolay Pelov, Maurice Bruynooghe
Extending constraint logic programming with open functions. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:235-244 [Conf]
- 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]
- 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]
- 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]
Well-founded and Stable Semantics of Logic Programs with Aggregates [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|