- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| i3 |      | Ping Hou, Johan Wittocx, Marc Denecker: LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions. CoRR abs/1207.2534 (2012) |
| 2011 | ||
| j4 | | Johan Wittocx: Finite domain and symbolic inference methods for extensions of first-order logic. AI Commun. 24(1): 91-93 (2011) |
| c10 | | Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe: Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 12-32 |
| i2 | | Stef De Pooter, Johan Wittocx, Marc Denecker: A prototype of a knowledge-based programming environment. CoRR abs/1108.5667 (2011) |
| 2010 | ||
| j3 | | Johan Wittocx, Maarten Mariën, Marc Denecker: Grounding FO and FO(ID) with Bounds. J. Artif. Intell. Res. (JAIR) 38: 223-269 (2010) |
| c9 | | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe: An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. JELIA 2010: 326-338 |
| i1 | | Johan Wittocx, Marc Denecker, Maurice Bruynooghe: Constraint Propagation for Extended First-Order Logic. CoRR abs/1008.2121 (2010) |
| 2009 | ||
| c8 | | |
| c7 | | Johan Wittocx, Broes de Cat, Marc Denecker: Towards Computing Revised Models for FO Theories. INAP 2009: 85-101 |
| 2008 | ||
| c6 | | |
| c5 | | Johan Wittocx, Maarten Mariën, Marc Denecker: Approximate Reasoning in First-Order Logic Theories. KR 2008: 103-112 |
| c4 | | Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe: SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. SAT 2008: 211-224 |
| 2007 | ||
| j2 | | 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) |
| j1 | | 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) |
| c3 | | Maarten Mariën, Johan Wittocx, Marc Denecker: Integrating Inductive Definitions in SAT. LPAR 2007: 378-392 |
| c2 | | |
| 2006 | ||
| c1 | | Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe: Predicate Introduction Under Stable and Well-Founded Semantics. ICLP 2006: 242-256 |
| 1 | Maurice Bruynooghe | |
| 2 | Broes de Cat | |
| 3 | Marc Denecker | |
| 4 | Ping Hou | |
| 5 | Maarten Mariën | |
| 6 | Stef De Pooter | |
| 7 | Joost Vennekens | |
| 8 | Hanne Vlaeminck |
Data released under the ODC-BY 1.0 license — See also our legal information page