dblp.uni-trier.dewww.uni-trier.de

Nikolay Pelov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
14EENikolay Pelov, Marc Denecker, Maurice Bruynooghe: Well-founded and stable semantics of logic programs with aggregates. TPLP 7(3): 301-353 (2007)
2005
13EENikolay Pelov, Eugenia Ternovska: Reducing Inductive Definitions to Propositional Satisfiability. ICLP 2005: 221-234
12EENikolay Pelov, Marc Denecker, Maurice Bruynooghe: Well-founded and Stable Semantics of Logic Programs with Aggregates CoRR abs/cs/0509024: (2005)
2004
11EENikolay Pelov, Marc Denecker, Maurice Bruynooghe: Partial Stable Models for Logic Programs with Aggregates. LPNMR 2004: 207-219
10EENikolay Pelov, Miroslaw Truszczynski: Semantics of disjunctive programs with monotone aggregates - an operator-based approach. NMR 2004: 327-334
2003
9EENikolay Pelov, Marc Denecker, Maurice Bruynooghe: Translation of Aggregate Programs to Normal Logic Programs. Answer Set Programming 2003
2001
8EEMarc Denecker, Nikolay Pelov, Maurice Bruynooghe: Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. ICLP 2001: 212-226
2000
7EENikolay Pelov, Emmanuel De Mot, Marc Denecker: Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. LPAR 2000: 225-239
6EENikolay Pelov, Maurice Bruynooghe: Extending constraint logic programming with open functions. PPDP 2000: 235-244
5EENikolay Pelov, Emmanuel De Mot, Marc Denecker: Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison CoRR cs.AI/0011030: (2000)
4EENikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe: A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems CoRR cs.LO/0003026: (2000)
3EENikolay Pelov, Maurice Bruynooghe: Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog CoRR cs.LO/0003069: (2000)
1999
2 Nikolay Pelov, Maurice Bruynooghe: Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. LPAR 1999: 358-375
1998
1EEZdravko Markov, Nikolay Pelov: A Framework for Inductive Learning Based on Subsumption Lattices. AIMSA 1998: 341-352

Coauthor Index

1Maurice Bruynooghe [2] [3] [4] [6] [8] [9] [11] [12] [14]
2Marc Denecker [5] [7] [8] [9] [11] [12] [14]
3Zdravko Markov [1]
4Emmanuel De Mot [4] [5] [7]
5Eugenia Ternovska (Eugenia Ternovskaia) [13]
6Miroslaw Truszczynski [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)