Nikolay Pelov

According to our database, Nikolay Pelov authored at least 11 papers between 1998 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2007

Well-founded and stable semantics of logic programs with aggregates.

Nikolay Pelov, Marc Denecker, Maurice Bruynooghe

Theory Pract. Log. Program., 2007

2005

Reducing Inductive Definitions to Propositional Satisfiability.

Nikolay Pelov, Eugenia Ternovska

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Semantics of disjunctive programs with monotone aggregates - an operator-based approach.

Nikolay Pelov, Miroslaw Truszczynski

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Partial Stable Models for Logic Programs with Aggregates.

Nikolay Pelov, Marc Denecker, Maurice Bruynooghe

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2003

Translation of Aggregate Programs to Normal Logic Programs.

Nikolay Pelov, Marc Denecker, Maurice Bruynooghe

Proceedings of the Answer Set Programming, 2003

2001

Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.

Marc Denecker, Nikolay Pelov, Maurice Bruynooghe

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems

Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe

CoRR, 2000

Extending constraint logic programming with open functions.

Nikolay Pelov, Maurice Bruynooghe

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison.

Nikolay Pelov, Emmanuel De Mot, Marc Denecker

Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999

Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.

Nikolay Pelov, Maurice Bruynooghe

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

1998

A Framework for Inductive Learning Based on Subsumption Lattices.

Zdravko Markov, Nikolay Pelov

Proceedings of the Artificial Intelligence: Methodology, 1998