2009 |
19 | EE | Joost Vennekens,
Marc Denecker,
Maurice Bruynooghe:
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
CoRR abs/0904.1672: (2009) |
2008 |
18 | EE | Marc Denecker,
Joost Vennekens:
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic.
ICLP 2008: 71-76 |
17 | EE | Joost Vennekens:
Algebraic and logical study of constructive processes in knowledge representation.
AI Commun. 21(1): 89-90 (2008) |
2007 |
16 | EE | Marc Denecker,
Joost Vennekens:
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.
LPNMR 2007: 84-96 |
15 | EE | Joost Vennekens,
David Gilis,
Marc Denecker:
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
ACM Trans. Comput. Log. 8(1): (2007) |
14 | EE | Joost Vennekens,
Johan Wittocx,
Maarten Mariën,
Marc Denecker:
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming.
Fundam. Inform. 79(1-2): 187-208 (2007) |
13 | EE | Joost Vennekens,
Johan Wittocx,
Maarten Mariën,
Marc Denecker:
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic.
Fundam. Inform. 79(1-2): 209-227 (2007) |
2006 |
12 | EE | Johan Wittocx,
Joost Vennekens,
Maarten Mariën,
Marc Denecker,
Maurice Bruynooghe:
Predicate Introduction Under Stable and Well-Founded Semantics.
ICLP 2006: 242-256 |
11 | EE | Joost Vennekens,
Marc Denecker,
Maurice Bruynooghe:
Representing Causal Information About a Probabilistic Process.
JELIA 2006: 452-464 |
10 | EE | Jon Sneyers,
Joost Vennekens,
Danny De Schreye:
Probabilistic-Logical Modeling of Music.
PADL 2006: 60-72 |
9 | EE | Joost Vennekens,
David Gilis,
Marc Denecker:
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
ACM Trans. Comput. Log. 7(4): 765-797 (2006) |
2005 |
8 | EE | Joost Vennekens,
Marc Denecker:
An Algebraic Account of Modularity in ID-logic.
Answer Set Programming 2005 |
7 | EE | Joost Vennekens,
Marc Denecker:
An Algebraic Account of Modularity in ID-Logic.
LPNMR 2005: 291-303 |
6 | EE | Gerhard Brewka,
Ilkka Niemelä,
Torsten Schaub,
Miroslaw Truszczynski,
Joost Vennekens:
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 |
2004 |
5 | EE | Joost Vennekens,
David Gilis,
Marc Denecker:
Splitting an Operator.
ICLP 2004: 195-209 |
4 | EE | Joost Vennekens,
Sofie Verbaeten,
Maurice Bruynooghe:
Logic Programs with Annotated Disjunctions.
ICLP 2004: 431-445 |
3 | EE | Joost Vennekens,
David Gilis,
Marc Denecker:
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic.
NMR 2004: 400-408 |
2 | EE | Joost Vennekens,
Sofie Verbaeten,
Maurice Bruynooghe:
Logic programs with annotated disjunctions.
NMR 2004: 409-415 |
1 | EE | Joost Vennekens,
David Gilis,
Marc Denecker:
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
CoRR cs.AI/0405002: (2004) |