Skeptical Reasoning in FC-Normal Logic Programs is Π^1_1-complete
Fundamenta Informaticae
My work with Victor Marek: a mathematician looks at answer set programming
Annals of Mathematics and Artificial Intelligence
Consistency properties and set based logic programming
Annals of Mathematics and Artificial Intelligence
Skeptical Reasoning in FC-Normal Logic Programs is Π^1_1-complete
Fundamenta Informaticae
Hi-index | 0.00 |