The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nikolay Pelov" ( http://dblp.L3S.de/Authors/Nikolay_Pelov )

  Author page on DBLP  Author page in RDF  Community of Nikolay Pelov in ASPL-2

Publication years (Num. hits)
1998-2007 (14)
Publication types (Num. hits)
article(5) inproceedings(9)
Venues (Conferences, Journals, ...)
CoRR(4) ICLP(2) LPAR(2) AIMSA(1) Answer Set Programming(1) LPNMR(1) NMR(1) PPDP(1) TPLP(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Well-founded and stable semantics of logic programs with aggregates. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Well-founded and Stable Semantics of Logic Programs with Aggregates Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Nikolay Pelov, Eugenia Ternovska Reducing Inductive Definitions to Propositional Satisfiability. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Partial Stable Models for Logic Programs with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Miroslaw Truszczynski Semantics of disjunctive programs with monotone aggregates - an operator-based approach. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Translation of Aggregate Programs to Normal Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Marc Denecker, Nikolay Pelov, Maurice Bruynooghe Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Emmanuel De Mot, Marc Denecker Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Nikolay Pelov, Maurice Bruynooghe Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Nikolay Pelov, Emmanuel De Mot, Marc Denecker Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Maurice Bruynooghe Extending constraint logic programming with open functions. Search on Bibsonomy PPDP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Maurice Bruynooghe Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Zdravko Markov, Nikolay Pelov A Framework for Inductive Learning Based on Subsumption Lattices. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license