Searching for authors named "Marc Denecker" – sorted by Relevance.
91 documents found, showing 1 through 10.
Next 10 →
-
Logic Programs: default logic theories or inductive definitions?
- …Logic Programs: default logic theories or inductive definitions? Marc Denecker a a Departement…
- Add To MetaCart
-
A terminological interpretation of (Abductive) Logic Programming
- …A terminological interpretation of (Abductive) Logic Programming Marc Denecker Department…
- Cited by 26 (16 self) – Add To MetaCart
-
On the Epistemological foundations of Logic Programming and its Extensions
- …On the Epistemological foundations of Logic Programming and its Extensions Marc Denecker…
- Cited by 1 (1 self) – Add To MetaCart
-
What is in a model? Epistemological ambiguity of Logic Programming
- …What is in a model? Epistemological ambiguity of Logic Programming Marc Denecker Department…
- Cited by 1 (1 self) – Add To MetaCart
-
The Well-founded Semantics Is the Principle of Inductive Definition
- …The Well-founded Semantics Is the Principle of Inductive Definition Marc Denecker Department…
- Cited by 40 (27 self) – Add To MetaCart
-
Extending Classical Logic with Inductive Definitions
- …Extending Classical Logic with Inductive Definitions Marc Denecker Department of Computer Science…
- Cited by 52 (35 self) – Add To MetaCart
-
What's in a Model? Epistemological analysis of Logic Programming
- …What’s in a model? Epistemological analysis of Logic Programming Marc Denecker Department…
- Cited by 6 (2 self) – Add To MetaCart
-
Compositionality Results for Stratified Nonmonotone Operators
- …Compositionality Results for Stratied Nonmonotone Operators. David Gilis Marc Denecker Department…
- Add To MetaCart
-
AILP: Abductive Inductive Logic Programming
- …AILP : Abductive Inductive Logic Programming Hilde Ad'e and Marc Denecker Department of Computer…
- Cited by 17 (5 self) – Add To MetaCart
-
A Logic of Non-Monotone Inductive Definitions and its Modularity Properties
- …A Logic of Non-Monotone Inductive Denitions and its Modularity Properties Marc Denecker 1…
- Cited by 27 (18 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
