Nikolay Pelov

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

Coauthor Index

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page