Nikolay Pelov

Identifiers

No identifiers captured yet.

Papers (4)

1. Well-founded and Stable Semantics of Logic Programs with Aggregates cs.LO · 2005 · author #1
2. Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison cs.AI · 2000 · author #1
3. Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog cs.LO · 2000 · author #1
4. A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems cs.LO · 2000 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Maurice Bruynooghe 3 shared papers
• Emmanuel De Mot 2 shared papers
• Marc Denecker 2 shared papers