| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 9 |       | Johan Wittocx, Maarten Mariën, Marc Denecker: Grounding with Bounds. AAAI 2008: 572-577 |
| 8 | | Johan Wittocx, Maarten Mariën, Marc Denecker: Approximate Reasoning in First-Order Logic Theories. KR 2008: 103-112 |
| 7 |  | Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe: SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. SAT 2008: 211-224 |
| 6 | | Maarten Mariën, Johan Wittocx, Marc Denecker: Integrating Inductive Definitions in SAT. LPAR 2007: 378-392 |
| 5 | | 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) |
| 4 | | 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) |
| 3 | | Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe: Predicate Introduction Under Stable and Well-Founded Semantics. ICLP 2006: 242-256 |
Selection of 7 from 9 records - Maarten Mariën has 6 coauthors
Copyright © 2010-02-09 by Michael Ley (ley@uni-trier.de)