| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Marc Denecker 40 Marc Denecker, V. Wiktor Marek , Miroslaw Truszczynski : Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence 143 (1): 79-122 (2003) 39 Marc Denecker, Antonis C. Kakas : Abduction in Logic Programming. Computational Logic: Logic Programming and Beyond 2002 : 402-436 38 Pieter Bekaert , Bert Van Nuffelen , Maurice Bruynooghe , David Gilis , Marc Denecker: On the Transformation of Object-Oriented Conceptual Models to Logical Theories. ER 2002 : 152-166 37 Ofer Arieli , Marc Denecker: Modeling Paraconsistent Reasoning by Classical Logic. FoIKS 2002 : 1-14 36 Marc Denecker, V. Wiktor Marek , Miroslaw Truszczynski : Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. KR 2002 : 177-190 35 Marc Denecker, Nikolay Pelov , Maurice Bruynooghe : Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. ICLP 2001 : 212-226 34 Antonis C. Kakas , Bert Van Nuffelen , Marc Denecker: A-System: Problem Solving through Abduction. IJCAI 2001 : 591-596 33 Ofer Arieli , Bert Van Nuffelen , Marc Denecker, Maurice Bruynooghe : Coherent Composition of Distributed Knowledge-Bases Through Abduction. LPAR 2001 : 624-638 32 Marc Denecker, Maurice Bruynooghe , V. Wiktor Marek : Logic programming revisited: Logic programs as inductive definitions. TOCL 2 (4): 623-654 (2001) 31 Marc Denecker: Extending Classical Logic with Inductive Definitions. Computational Logic 2000 : 703-717 30 Marc Denecker, V. Wiktor Marek , Miroslaw Truszczynski : Uniform semantic treatment of default and autoepistemic logic. KR 2000 : 74-84 29 Nikolay Pelov , Emmanuel De Mot , Marc Denecker: Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. LPAR 2000 : 225-239 28 Danny De Schreye , Maurice Bruynooghe , Bart Demoen , Marc Denecker, Gerda Janssens , Bern Martens : Project Report on LP + : A Second Generation Logic Programming Language. AI Communications 13 (1): 13-18 (2000) 27 Sofie Verbaeten , Marc Denecker, Danny De Schreye : Compositionality of Normal Open Logic Programs. JLP 42 (3): 151-183 (2000) 26 Marc Denecker, Antonis C. Kakas : Special issue: abductive logic programming. JLP 44 (1-3): 1-4 (2000) 25 Maurice Bruynooghe , Henk Vandecasteele , D. Andre de Waal , Marc Denecker: Detecting Unsolvable Queries for Definite Logic Programs. Journal of Functional and Logic Programming 1999 (Special Issue 2): (1999) 24 Marc Denecker, V. Wiktor Marek , Miroslaw Truszczynski : Fixpoint 3-Valued Semantics for Autoepistemic Logic. AAAI/IAAI 1998 : 840-845 23 Marc Denecker: The Well-Founded Semantics Is the Principle of Inductive Definition. JELIA 1998 : 1-16 22 Maurice Bruynooghe , Henk Vandecasteele , D. Andre de Waal , Marc Denecker: Detecting Unsolvable Queries for Definite Logic Programs. PLILP/ALP 1998 : 118-133 21 Marc Denecker, Danny De Schreye : SLDNFA: An Abductive Procedure for Abductive Logic Programs. JLP 34 (2): 111-167 (1998) 20 Kristof Van Belleghem , Marc Denecker, Danny De Schreye : A Strong Correspondence between Description Logics and Open Logic Programming. ICLP 1997 : 346-360 19 Sofie Verbaeten , Marc Denecker, Danny De Schreye : Compositionality of Normal Open Logic Programs. ILPS 1997 : 371-385 18 Kristof Van Belleghem , Marc Denecker, Danny De Schreye : On the Relation Between Situation Calculus and Event Calculus. JLP 31 (1-3): 3-37 (1997) 17 Marc Denecker, Kristof Van Belleghem , Guy Duchatelet , Frank Piessens , Danny De Schreye : A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. JICSLP 1996 : 170-184 16 Maurice Bruynooghe , Bart Demoen , Dmitri Boulanger , Marc Denecker, Anne Mulkers : A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. SAS 1996 : 128-142 15 Marc Denecker, Guy Duchatelet , Frank Piessens , Kristof Van Belleghem , Danny De Schreye : Using Event Calculus for Protocol Specification: An Experiment. Deductive Databases / Abduction in Deductive Databases 1995 : 187-201 14 Kristof Van Belleghem , Marc Denecker, Danny De Schreye : Combining Situation Calculus and Event Calculus. ICLP 1995 : 83-97 13 Hilde Adé , Marc Denecker: AILP: Abductive Inductive Logic Programming. IJCAI 1995 : 1201-1209 12 Marc Denecker: A Terminological Interpretation of (Abductive) Logic Programming. LPNMR 1995 : 15-28 11 Marc Denecker, Danny De Schreye : Representing Incomplete Knowledge in Abductive Logic Programming. Journal of Logic and Computation 5 (5): 553-577 (1995) 10 Lode Missiaen , Maurice Bruynooghe , Marc Denecker: CHICA, an Abductive Planning System Based on Event Calculus. Journal of Logic and Computation 5 (5): 579-602 (1995) 9 Kristof Van Belleghem , Marc Denecker, Danny De Schreye : Representing Continuous Change in the Abductive Event Calculus. ICLP 1994 : 225-239 8 Kristof Van Belleghem , Marc Denecker, Danny De Schreye : The Abductive Event Calculus as a General Framework for Temporal Databases. ICTL 1994 : 301-316 7 Dmitri Boulanger , Maurice Bruynooghe , Marc Denecker: Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP 1994 : 432-446 6 Marc Denecker, Danny De Schreye : On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality. TCS 122 (1&2): 225-262 (1994) 5 Marc Denecker, Danny De Schreye : Representing Incomplete Knowledge in Abductive Logic Programming. ILPS 1993 : 147-163 4 Marc Denecker, Danny De Schreye : Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. LPNMR 1993 : 365-379 3 Marc Denecker, Lode Missiaen , Maurice Bruynooghe : Temporal Reasoning with Abductive Event Calculus. ECAI 1992 : 384-388 2 Marc Denecker, Danny De Schreye : On the Duality of Abduction and Model Generation. FGCS 1992 : 650-657 1 Marc Denecker, Danny De Schreye : SLDNFA: An Abductive Procedure for Normal Abductive Programs. JICSLP 1992 : 686-700  DiSC'03 © 2003 Association for Computing Machinery |
