Searching for authors named "Nikolay Pelov" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Semantics of disjunctive programs with monotone aggregates - an operator-based approach
- …Semantics of Disjunctive Programs with Monotone Aggregates — an Operator-based Approach Nikolay…
- Cited by 11 (0 self) – Add To MetaCart
-
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog
- …Proving Failure of Queries for Denite Logic Programs Using XSB-Prolog Nikolay Pelov and Maurice…
- Add To MetaCart
-
Reducing inductive definitions to propositional satisfiability
- …Reducing Inductive Definitions to Propositional Satisfiability Nikolay Pelov and Eugenia Ternovska…
- Cited by 5 (3 self) – Add To MetaCart
-
Partial Stable Models for Logic Programs with Aggregates
- …Partial Stable Models for Logic Programs with Aggregates Nikolay Pelov, Marc Denecker, and Maurice…
- Cited by 11 (0 self) – Add To MetaCart
-
Towards a More Declarative Language for Solving Finite Domain Problems
- …Towards a more declarative language for solving nite domain problems Maurice Bruynooghe, Nikolay…
- Cited by 1 (1 self) – Add To MetaCart
-
Celestijnenlaan 200A – B-3001 Heverlee (Belgium) Well-founded and Stable Semantics of Logic Programs with Aggregates ∗
- …Well-founded and Stable Semantics of Logic Programs with Aggregates Nikolay Pelov Marc Denecker…
- Add To MetaCart
-
Ultimate Well-founded and Stable Semantics for Logic Programs With Aggregates (Extended Abstract)
- … Nikolay Pelov b Maurice Bruynooghe b a Universite Libre de Bruxelles, Bld du Triomphe CP 212, 1050…
- Cited by 23 (6 self) – Add To MetaCart
-
Translation of Aggregate Programs to Normal Logic Programs
- …Translation of Aggregate Programs to Normal Logic Programs # Nikolay Pelov, Marc Denecker…
- Cited by 5 (0 self) – Add To MetaCart
-
Semantics of Disjunctive Programs with Monotone Aggregates ---
- …Semantics of Disjunctive Programs with Monotone Aggregates --- an Operator-based Approach Nikolay…
- Add To MetaCart
-
A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems
- … Satisfaction Problems Nikolay Pelov and Emmanuel De Mot and Maurice Bruynooghe Department of Computer Science…
- Cited by 7 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
