Concepedia

Nikolay Pelov

NP

4

Publications

258

Citations

4

H-Index

2003

Active since

Affiliations

KU Leuven(Current)

Nikolay Pelov is an author at KU Leuven specializing in formal verification, logic programming, and engineering.

Top concepts

Publications per year

2003–2007

4

Publications

4

Well-founded and stable semantics of logic programs with aggregates

Nikolay Pelov, Marc Denecker, Maurice Bruynooghe · Theory and Practice of Logic Programming · 2007 · 155 citations · Full text

, , +12

Semantics of logic programs with aggregates

Nikolay Pelov · Lirias (KU Leuven) · 2004 · 44 citations · Full text

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

Nikolay Pelov, Mirosław Truszczyński · Non-Monotonic Reasoning · 2004 · 35 citations · Full text

, , +19

Translation of aggregate programs to normal logic programs

Nikolay Pelov, Marc Denecker, Maurice Bruynooghe · Lirias (KU Leuven) · 2003 · 24 citations · Full text

Rows per page

1–4 of 4