Publications of Marc Denecker

period 1989 - 2014

Articles in internationally reviewed journals

39 references
  • Bogaerts, Bart; Jansen, Joachim; Bruynooghe, Maurice; De Cat, Broes; Vennekens, Joost; Denecker, Marc. Simulating dynamic systems using linear time calculus theories, Theory and Practice of Logic Programming, volume 14, issue 4-5, pages 477-492, 2014 DOI PDF BibTeX
  • Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco. Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3, Theory and Practice of Logic Programming, 2014 (Accepted) PDF BibTeX
  • Wittocx, Johan; Denecker, Marc; Bruynooghe, Maurice. Constraint propagation for first-order logic and inductive definitions, ACM Transactions on Computational Logic, volume 14, issue 3, pages 1-45, 2013 DOI PDF BibTeX
  • Vlaeminck, Hanne; Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. An approximative inference method for solving ∃∀SO satisfiability problems, The Journal of Artificial Intelligence Research, volume 45, pages 79-124, 2012 DOI PDF BibTeX
  • Denecker, Marc; Cortés-Calabuig, Alvaro; Bruynooghe, Maurice; Arieli, Ofer. Towards a logical reconstruction of a theory for locally closed databases, ACM Transactions on Database Systems, volume 35, issue 3, pages 1-60, 2010 DOI PDF PDF BibTeX
  • Hou, Ping; De Cat, Broes; Denecker, Marc. FO(FD): Extending classical logic with rule-based fixpoint definitions, Theory and Practice of Logic Programming, volume 10, issue 4-6, pages 581-596, 2010 DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. FO(ID) as an extension of DL with rules, Annals of Mathematics and Artificial Intelligence, volume 58, issue 1-2, pages 85-115, 2010 DOI PDF BibTeX
  • Wittocx, Johan; Mariën, Maarten; Denecker, Marc. Grounding FO and FO(ID) with bounds, The Journal of Artificial Intelligence Research, volume 38, pages 223-269, 2010 DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. CP-logic: A language of causal probabilistic events and its relation to logic programming, Theory and Practice of Logic Programming, volume 9, issue 3, pages 245-308, 2009 DOI PDF BibTeX
  • Denecker, Marc; Ternovska, Eugenia. A logic of nonmonotone inductive definitions, ACM Transactions on Computational Logic, volume 9, issue 2, 2008 DOI PDF BibTeX
  • Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice. Distance semantics for database repair, Annals of Mathematics and Artificial Intelligence, volume 50, issue 3-4, pages 389-415, 2007 DOI BibTeX
  • Denecker, Marc; Ternovska, Eugenia. Inductive situation calculus, Artificial Intelligence, volume 171, issue 5-6, pages 332-360, 2007 DOI BibTeX
  • Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice. Well-founded and stable semantics of logic programs with aggregates, Theory and Practice of Logic Programming, volume 7, issue 3, pages 301-353, 2007 DOI BibTeX
  • Vennekens, Joost; Mariën, Maarten; Wittocx, Johan; Denecker, Marc. Predicate introduction for logics with a fixpoint semantics. Part II: Autoepistemic logic, Fundamenta Informaticae, volume 79, issue 1-2, pages 209-227, 2007 BibTeX
  • Vennekens, Joost; Wittocx, Johan; Mariën, Maarten; Denecker, Marc. Predicate introduction for logics with a fixpoint semantics. Part I: Logic Programming, Fundamenta Informaticae, volume 79, issue 1-2, pages 187-208, 2007 PDF BibTeX
  • Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice. Computational methods for database repair by signed formulae, Annals of Mathematics and Artificial Intelligence, volume 46, issue 1-2, pages 4-37, 2006 DOI BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. Representing causal information about a probabilistic process, Lecture Notes in Computer Science, volume 4160, pages 452-464, 2006 DOI BibTeX
  • Vennekens, Joost; Gilis, David; Denecker, Marc. Splitting an operator: Algebraic modularity results for logics with fixpoint semantics, ACM Transactions on Computational Logic, volume 7, issue 4, pages 765-802, 2006 DOI PDF BibTeX
  • Wittocx, Johan; Vennekens, Joost; Mariën, Maarten; Denecker, Marc; Bruynooghe, Maurice. Predicate introduction under stable and well-founded semantics, Lecture Notes in Computer Science, volume 4079, pages 242-256, 2006 DOI BibTeX
  • Vennekens, Joost; Denecker, Marc. An algebraic account of modularity in ID-logic, Lecture Notes in Computer Science, volume 3662, pages 291-303, 2005 DOI BibTeX
  • Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice. Coherent integration of databases by abductive logic programming, Journal of Artificial Intelligence Research, volume 21, pages 245-286, 2004 BibTeX
  • Denecker, Marc; Marek, VW; Truszczynski, M.. Ultimate approximation and its application in nonmonotonic knowledge representation systems, Information and Computation, volume 192, issue 1, pages 84-121, 2004 DOI BibTeX
  • Vennekens, Joost; Gilis, David; Denecker, Marc. Splitting an operator - An algebraic modularity result and its application to logic programming, Lecture Notes in Computer Science, volume 3132, pages 195-209, 2004 DOI BibTeX
  • Arieli, Ofer; Denecker, Marc. Reducing preferential paraconsistent reasoning to classical entailment, Journal of Logic and Computation, volume 13, issue 4, pages 557-580, 2003 BibTeX
  • Denecker, Marc; Marek, VW; Truszczynski, M.. Uniform semantic treatment of default and autoepistemic logics, Artificial Intelligence, volume 143, issue 1, pages 79-122, 2003 DOI BibTeX
  • Denecker, Marc; Kakas, A.. Abduction in logic programming, Lecture Notes in Computer Science, volume 2407, pages 402-436, 2002 DOI BibTeX
  • Denecker, Marc; Bruynooghe, Maurice; Marek, Victor. Logic programming revisited: logic programs as inductive definitions, ACM Transactions on Computational Logic, volume 2, issue 4, pages 623-654, 2001 DOI BibTeX
  • De Schreye, Danny; Bruynooghe, Maurice; Demoen, Bart; Denecker, Marc; Janssens, Gerda; Martens, Bern. Project report on LP+: a second generation Logic Programming language, AI Communications, volume 13, issue 1, pages 13-18, 2000 BibTeX
  • Denecker, Marc; Kakas, A.. Special issue: abductive logic programming - Guest editors' introduction, Journal of Logic Programming, volume 44, issue 1-3, pages 1-4, 2000 DOI BibTeX
  • Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Compositionality of normal open logic programs, Journal of Logic Programming, volume 42, issue 3, pages 151-183, 2000 DOI BibTeX
  • Bruynooghe, Maurice; Vandecasteele, Henk; de Waal, D André; Denecker, Marc. Detecting unsolvable queries for definite logic programs, Journal of Functional and Logic Programming, volume 1999, pages 1-35, 1999 BibTeX
  • Denecker, Marc. The well-founded semantics is the principle of inductive definition, Logics in Artificial Intelligence, Proceedings of JELIA'98 Schloss Daghstuhl, October 1998, volume 1489, pages 1-16, 1998 DOI BibTeX
  • Denecker, Marc; De Schreye, Danny. SLDNFA: An abductive procedure for abductive logic programs, Journal of Logic Programming, volume 34, issue 2, pages 111-167, 1998 DOI BibTeX
  • Denecker, Marc; Theseider-Dupré, D.; Van Belleghem, Kristof. An inductive definition approach to ramifications, Linkoping Electronic Articles in Computer and Information Science, volume 3, issue 7, pages 1-43, 1998 BibTeX
  • VanBelleghem, K.; Denecker, Marc; De Schreye, Danny. On the relation between situation calculus and event calculus, Journal of Logic Programming, volume 31, issue 1-3, pages 3-37, 1997 DOI BibTeX
  • Denecker, Marc; De Schreye, Danny. Representing incomplete knowledge in abductive logic programming, Journal of Logic and Computation, volume 5, issue 5, pages 553-577, 1995 DOI BibTeX
  • Missiaen, Lode; Bruynooghe, Maurice; Denecker, Marc. CHICA, an abductive planning system based on event calculus, Journal of Logic and Computation, volume 5, issue 5, pages 579-602, 1995 DOI BibTeX
  • Denecker, Marc; De Schreye, Danny. On the duality of abduction and model generation in a framework for model generation with equality, Theoretical Computer Science, volume 122, issue 1-2, pages 225-262, 1994 DOI BibTeX
  • Denecker, Marc; De Schreye, Danny; Willems, Yves. Terms in Logic programs: a problem with their semantics and its effect on the programming methodology, CCAI: Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology, volume 7, issue 3-4, pages 363-383, 1990 BibTeX

Top

Books, internationally recognised scientific publisher; as editor

1 reference
  • Denecker, Marc; Kakas, Antonis C (eds.), Special Issue : Abductive Logic Programming, Elsevier, North-Holland, 2000 BibTeX

Top

Other published books; as editor

1 reference

Top

Article in book, internationally recognised scientific publisher

7 references
  • Denecker, Marc; Bruynooghe, Maurice; Vennekens, Joost. Approximation fixpoint theory and the semantics of logic and answers set programs, Erdem, Esra; Lee, Joohyung; Lierler, Yuliya; Pearce, David (eds.), Lecture Notes in Computer Science, volume 7265, Springer, 2012 DOI PDF BibTeX
  • Denecker, Marc; Marek, Victor; Truszczynski, Miroslaw. Reiter's default logic is a logic of autoepistemic reasoning and a good one, too, Brewka, Gerd; Marek, Victor; Truszczynski, Miroslaw (eds.), College Publications, 2011 PDF BibTeX
  • Denecker, Marc; Vennekens, Joost; Vlaeminck, Hanne; Wittocx, Johan; Bruynooghe, Maurice. Answer Set Programming's contributions to classical logic, An analysis of ASP methodology, Balduccini, Marcello; Son, Tran (eds.), Lecture Notes in Computer Science, volume 6565, Springer, 2011 DOI PDF BibTeX
  • Denecker, Marc; Van Belleghem, Kristof. Temporal reasoning with iff-abduction, Fisher, M.; Gabbay, D.; Vila, L (eds.), Elsevier, 2005 BibTeX
  • Denecker, Marc; Marek, Victor; Truszczynski, M.. Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning, Minker, J (ed.), Kluwer Academic Publishers, Boston, 2000 BibTeX
  • De Schreye, Danny; Denecker, Marc. Assessment of some issues in CL-theory and program development, Apt, Krzysztof R.; Marek, Victor; Truszczynski, Miroslaw; Warren, David S (eds.), Springer, 1999 BibTeX
  • Denecker, Marc; Marek, Victor; Truszczynski, M.. Fixpoint 3-valued semantics for autoepistemic logic, Levesque, Hector; Pirri, Fiora (eds.), Springer, 1999 BibTeX

Top

Papers at international conferences and symposia, published in full in proceedings

115 references
  • Bogaerts, Bart; Jansen, Joachim; De Cat, Broes; Janssens, Gerda; Bruynooghe, Maurice; Denecker, Marc. Meta-level representations in the IDP knowledge base system: Towards bootstrapping inference engine development, Mitchell, David; Denecker, Marc (eds.), International Workshop on Logic and Search (Lash 2014), Vienna, July 18, 2014 PDF BibTeX
  • Bogaerts, Bart; Vennekens, Joost; Denecker, Marc; Van den Bussche, Jan. Inference in the FO(C) modelling language, Konieczny, Sébastien; Tompits, Hans (eds.), International Workshop on Non-Monotonic Reasoning, Vienna, 17-19 July 2014, Proceedings of the 14th International Workshop on Non-Monotonic Reasoning, pages 82-89, Institut Für Informationssyteme PDF BibTeX
  • Bogaerts, Bart; Vennekens, Joost; Denecker, Marc; Van den Bussche, Jan. FO(C) and related modelling paradigms, Konieczny, Sébastien; Tompits, Hans (eds.), International Workshop on Non-Monotonic Reasoning, Vienna, 17-19 July 2014, Proceedings of the 14th International Workshop on Non-Monotonic Reasoning, pages 90-96, Institut Für Informationssyteme PDF BibTeX
  • Bogaerts, Bart; Vennekens, Joost; Denecker, Marc; Van den Bussche, Jan. FO(C): A knowledge representation language of causality, Leuschel, Michael; Schrijvers, Tom (eds.), International Conference on Logic Programming, Vienna, July 19-22, 2014, Theory and Practice of Logic Programming, volume 14, issue (4-5)-Online-Supplement, pages 60-69, Cambridge University Press PDF BibTeX
  • Bogaerts, Bart; Vennekens, Joost; Denecker, Marc; Van den Bussche, Jan. Inference in the FO(C) modelling language, Schaub, Torsten; Friedrich, Gerhard; O'Sullivan, Barry (eds.), European Conference on Artificial Intelligence, Prague, 18-22 August 2014, Proceedings of the Twenty-first European Conference on Artificial Intelligence, volume 263, pages 111-116, IOS Press DOI PDF BibTeX
  • Denecker, Marc; Vennekens, Joost. The well-founded semantics is the principle of inductive definition, revisited, Chitta, Baral; Giuseppe, De Giacomo (eds.), International Conference on Principles of Knowledge Representation and Reasoning, Vienna, 20-24 July 2014 PDF BibTeX
  • De Cat, Broes; Bogaerts, Bart; Denecker, Marc; Devriendt, Jo. Model expansion in the presence of function symbols using constraint programming, International Conference on Tools For Aritificial Intelligence, Washington D.C., 4-6 Nov 2013, IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013, Washinton, USA, November 4-6, 2013, pages 1068-1075 DOI PDF BibTeX
  • Van Hertum, Pieter; Vennekens, Joost; Bogaerts, Bart; Devriendt, Jo; Denecker, Marc. The effects of buying a new car: An extension of the IDP Knowledge Base System (technical communication), International Conference on Logic Programming, Istanbul, 24-29 August 2013, Theory and Practice of Logic Programming, volume 13, issue (4-5)-Online-Supplement, pages 1-4, Cambridge University Press PDF BibTeX
  • Andrews, Tara; Blockeel, Hendrik; Bogaerts, Bart; Bruynooghe, Maurice; Denecker, Marc; De Pooter, Stef; Macé, Caroline; Ramon, Jan. Analyzing manuscript traditions using constraint-based data mining, First Workshop on Combining Constraint Solving with Mining and Learning, Montpellier, France, 27 August 2012, Proceedings First Workshop on Combining Constraint Solving with Mining and Learning (ECAI 2012 Workshop), pages 15-20 PDF BibTeX
  • Blockeel, Hendrik; Bogaerts, Bart; Bruynooghe, Maurice; De Cat, Broes; De Pooter, Stef; Denecker, Marc; Labarre, Anthony; Ramon, Jan; Verwer, Sicco. Modeling machine learning and data mining problems with FO(·), Dovier, Agostino; Santos Costa, Vítor (eds.), International Conference on Logic Programming, Budapest, September 4-8, 2012, Proceedings of the 28th International Conference on Logic Programming - Technical Communications (ICLP'12), pages 14 -25, Schloss Daghstuhl - Leibniz-Zentrum fuer Informatik DOI PDF BibTeX
  • De Cat, Broes; Denecker, Marc; Stuckey, Peter. Lazy model expansion by incremental grounding, Dovier, Agostino; Santos Costa, Vítor (eds.), Internationcal Conference on Logic Programming, Budapest, 4-8 Sept 2012, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary, volume 17, pages 201-211, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik DOI PDF BibTeX
  • Denecker, Marc; Lierler, Yuliya; Truszczynsky, Miroslaw; Vennekens, Joost. A Tarskian informal semantics for answer set programming, Dovier, Agostino; Santos Costa, Vitor (eds.), International Conference on Logic Programming, Budapest, 4-8 September, Technical Communications of the 28th International Conference on Logic Programming, volume 17, pages 277-289, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012 DOI PDF BibTeX
  • Devriendt, Jo; Bogaerts, Bart; Mears, Christopher; De Cat, Broes; Denecker, Marc. Symmetry propagation: Improved dynamic symmetry breaking in SAT, ICTAI, Ahtens, Greece, 7-9 November 2012, Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'12, volume 1, pages 49-56 DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc. Extending FO(ID) with knowledge producing definitions: preliminary results, Fink, Michael; Lierler, Yuliya (eds.), Answer Set Programming and Other Computing Paradigms, Budapest, Hungary, 4 September 2012, Proceedings of the 5th International Workshop on Answer Set Programming and Other Computing Paradigms (aspocp), pages 161-175, ASPOCP PDF BibTeX
  • Vlaeminck, Hanne; Vennekens, Joost; Bruynooghe, Maurice; Denecker, Marc. Ordered Epistemic Logic: Semantics, complexity and applications, Brewka, Gerhard; Eiter, Thomas; McIlraith, Sheila A (eds.), Knowledge Representation and Reasoning, Rome, 10-14 July 2012, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, pages 369-379, AAAI Press PDF BibTeX
  • Vlaeminck, Hanne; Vennekens, Joost; Denecker, Marc. A general representation and approximate inference algorithm for sensing actions, Tielscher, Michael; Zhang, Dongmo (eds.), AI, Sydney, 4-7 December 2012, AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, pages 543 -554 DOI PDF BibTeX
  • De Cat, Broes; Machiels, Christophe; Janssens, Gerda; Denecker, Marc. Regularity requirements in university course timetabling, Workshop on Preferences and Soft Constraints, Perugia, 12 September 2011, Proceedings of the 11th Workshop on Preferences and Soft Constraints (SofT 2011), pages 31-45 PDF BibTeX
  • De Pooter, Stef; Wittocx, Johan; Denecker, Marc. A prototype of a knowledge-based programming environment, International Conference on Applications of Declarative Programming and Knowledge Management (INAP), Vienna, 28-30 September 2011, Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), 6 pages PDF BibTeX
  • Denecker, Marc; De Cat, Broes. DPLL(Agg): An efficient SMT module for aggregates, Logic and Search, Edinburgh, 15 July 2010 PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. Embracing events in causal modelling: Interventions and counterfactuals in CP-logic, Janhunen, Tomi; Niemela, Ilkka (eds.), European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finland, 13-15 September 2010, Lecture Notes in Computer Science, volume 6341, pages 313-325, Springer DOI PDF BibTeX
  • Vlaeminck, Hanne; Wittocx, Johan; Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. An approximative inference method for solving ∃∀SO satisfiability problems, Janhunen, Tomi; Niemelä, Ilkka (eds.), European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, 13-16 September 2010, Lecture Notes in Computer Science, volume 6341, pages 326-338, Springer DOI PDF BibTeX
  • Wittocx, Johan; Denecker, Marc. Grounding FO(ID) with bounds, Mitchell, David; Ternovska, Eugenia (eds.), Workshop on logic and search, Edinburgh, 15 July 2010, Proceedings of the Third International Workshop on Logic and Search (LaSh 2010), 17 pages PDF BibTeX
  • Denecker, Marc; Vennekens, Joost; Bond, Stephen; Gebser, Martin; Truszczyński, Mirosław. The second answer set programming competition, Erdem, Esra; Lin, Fangzhen; Schaub, Torsten (eds.), LPNMR'09, Potsdam, 14-18 September 2009, Logic Programming and Nonmonotonic Reasoning, volume LNAI 5753, pages 637-654, Springer DOI PDF BibTeX
  • Hou, Ping; Denecker, Marc. A logic of fixpoint definitions, Faber, Wolfgang; Lee, Joohyung (eds.), Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2009, Pasadena, California, USA, 14 July 2009, Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2009, pages 1-15 PDF BibTeX
  • Hou, Ping; Denecker, Marc. A deductive system for FO(ID) based on least fixpoint logic, Erdem, Esra; Lin, Fangzhen; Schaub, Torsten (eds.), 10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, Germany, 14-18 September, 2009, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Lecture Notes on Computer Science, volume 5753, pages 129-141 DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc. Using lightweight inference to solve lightweight problems, Erdem, Esra; Lin, Fangzhen; Schaub, Torsten (eds.), LPNMR, Potsdam, 14-18 September 2009, Logic Programming and Nonmonotonic Reasoning, volume LNAI 5753, pages 619- 621, Springer DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. FO(ID) as an extension of DL with rules, European Semantic Web Conference, Heraklion, Greece, 31 May-4 June 2009, Lecture Notes in Computer Science, volume 5554, pages 384-398, Springer DOI PDF BibTeX
  • Vlaeminck, Hanne; Vennekens, Joost; Denecker, Marc. A logical framework for configuration software, Principles and Practice of Declarative Programming, Coimbra, Portugal, 7-9 September, 2009, Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP '09, ACM DOI PDF BibTeX
  • Wittocx, Johan; De Cat, Broes; Denecker, Marc. Towards computing revised models for FO theories, Abreu, Salvador; Seipel, Dietmar (eds.), International Conference on Applications of Declarative Programming and Knowledge Management, Evora, Portugal, 5-7 November 2009, Proceedings of the International Conference on Applications of Declarative Programming and Knowledge Management 2009, volume 6547, pages 199-211 DOI PDF BibTeX
  • Wittocx, Johan; Vlaeminck, Hanne; Denecker, Marc. Debugging for model expansion, International Conference on Logic Programming, ICLP, Pasadena, California, US, 14-17 July 2009, Lecture Notes in Computer Science, volume 5649, pages 296-311, Springer DOI PDF BibTeX
  • Bond, Stephen; Denecker, Marc. An automated tableau theorem prover for FO(ID), Buchberger, Bruno; Ida, Tetsuo; Kutsia, Temur (eds.), Symbolic Computation in Software Science Austrian-Japanese Workshop, SCSS 2008, RISC, Castle of Hagenberg, Austria, 12-13 July 2008, SCSS 2008 Austrian-Japanese Workshop on Symbolic Computation in Software Science, RISC-Linz Report Series, volume 08-08, pages 16-30 PDF BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice. Accuracy and efficiency of fixpoint methods for approximate query answering in locally complete databases, Brewka, Gerhard; Lang, Jérôme (eds.), Principles of Knowledge Representation and Reasoning, Sydney, Australia, 16-19 September 2008, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, pages 81-91, AAAI Press PDF BibTeX
  • Denecker, Marc. Complexity of First Order ID-Logic, Hoffman, Frederick (ed.), ISAIM, Fot Launderdale, 2-4 January 2008, The Tenth International Symposium on Artificial Intelligence and Mathematics, pages 1-15 PDF BibTeX
  • Denecker, Marc; Vennekens, Joost. Building a knowledge base system for an integration of logic programming and classical logic, Garcia de la Banda, Maria; Pontelli, Enrico (eds.), International Conference on Logic Programming, ICLP, Udine, Italy, 9-13 December 2008, Lecture Notes in Computer Science, volume 5366, pages 71-76, Springer DOI PDF BibTeX
  • Mariën, Maarten; Wittocx, Johan; Denecker, Marc; Bruynooghe, Maurice. SAT(ID): Satisfiability of propositional logic extended with inductive definitions, SAT 2008 - Theory and Applications of Satisfiability Testing, Guangzhou, P. R. China, 12-15 May 2008, Lecture Notes in Computer Science, volume 4996, pages 211-224, Springer DOI PDF BibTeX
  • Vennekens, Joost; Denecker, Marc. FO(ID) as an extension of DL with rules, Faber, Wolfgang; Lee, Joohyung (eds.), Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), Udine, Italy, 13 December 2008, ICLP 2008 Workshop on Answer Set Programming and Other Computational Paradigms (ASPOCP 2008), pages 104-118 PDF BibTeX
  • Wittocx, Johan; Mariën, Maarten; Denecker, Marc. Approximate reasoning in first-order logic theories, Brewka, Gerhard; Lang, Jerôme (eds.), International Conference on Principles of Knowledge Representation and Reasoning, Sydney, 16-19 September, 2008, Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, pages 103-112, AAAI Press PDF BibTeX
  • Wittocx, Johan; Mariën, Maarten; Denecker, Marc. Grounding with bounds, Fox, Dieter; Gomes, Carla (eds.), AAAI Conference on Artificial Intelligence, Chicago, Illinois, 13-17 July, 2008, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, pages 572-577, AAAI Press PDF BibTeX
  • Wittocx, Johan; Mariën, Maarten; Denecker, Marc. GidL: A grounder for FO+, Thielscher, Michael; Pagnucco, Maurice (eds.), International Workshop on Non-Monotonic Reasoning, Sydney, 13-15 September 2008, Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning, pages 189-198 PDF BibTeX
  • Wittocx, Johan; Mariën, Maarten; Denecker, Marc. The IDP system: A model expansion system for an extension of classical logic, Denecker, Marc (ed.), Logic and Search, LaSh, Leuven, 6-7 November 2008, Proceedings of the 2nd Workshop on Logic and Search, pages 153-165, ACCO PDF BibTeX
  • Bond, Stephen; Denecker, Marc. I-logic: An intensional logic of informations, Dastani, M.; de Jong, E (eds.), The 19th Belgian-Dutch Conference on Artificial Intelligence, Utrecht, The Netherlands, November 5-6, 2007, Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence, pages 49-56 BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice. Approximate query answering in locally closed databases, Holte, R.C.; Howe, A (eds.), Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, Canada, July 22-26, 2007, Proceedings of Twenty-Second AAAI Conference on Artificial Intelligence, pages 397-402 BibTeX
  • Denecker, Marc; Vennekens, Joost. Well-founded semantics and the algebraic theory of non-monotone inductive definitions, Baral, C.; Brewka, G.; Schlipf, J (eds.), Logic Programming and Nonmonotonic Reasoning, Tempe, AZ, USA, 15-17 May 2007, Lecture Notes in Computer Science, volume 4483, pages 84-96, Springer DOI BibTeX
  • Hou, Ping; Wittocx, Johan; Denecker, Marc. A deductive system for PC (ID), Baral, C.; Brewka, G.; Schlipf, J (eds.), Logic Programming and Nonmonotonic Reasoning, Tempe, AZ, USA, May, 15-17, Lecture Notes in Computer Science, volume 4483, pages 162-174, Springer, 2007 DOI BibTeX
  • Mariën, Maarten; Wittocx, Johan; Denecker, Marc. Integrating inductive definitions in SAT, Derschowitz, N.; Voronkov, A (eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Yerevan, Armenia, October 16-19, 2007, Lecture Notes in Computer Science, volume 4790, pages 378-392, Springer DOI PDF BibTeX
  • Mariën, Maarten; Wittocx, Johan; Denecker, Marc. MidL: A SAT(ID) solver, Constantini, S.; Watson, R (eds.), Answer Set Programming, Porto, Portugal, September 8-13, 2007, 4th Workshop on Answer Set Programming: Advances in Theory and Implementation, pages 303-308 PDF BibTeX
  • Pastor, David; Lemmens, Karen; Cortés-Calabuig, Alvaro; Marchal, Kathleen; Denecker, Marc; De Moor, Bart. GeneReg: Integration of experimental data on the DNA transcription process, Dastani, M.; de Jong, E (eds.), The 19th Belgian-Dutch Conference on Artificial Intelligence, Utrecht, The Netherlands, November 5-6, 2007, Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence, pages 260-267 BibTeX
  • Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice. Distance-based repairs of databases, Tenth European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, United Kingdom, September 13-15, 2006, Lecture Notes in Computer Science, volume 4160, pages 43-55, Springer DOI BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice. Representation of partial knowledge and query answering in locally complete databases, Hermann, M.; Voronkov, A (eds.), 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Phnom Penh., Cambodia, November 13-17th, 2006, Lecture Notes in Computer Science, volume 4246, pages 407-421, Springer DOI BibTeX
  • Mariën, Maarten; Wittocx, Johan; Denecker, Marc. The IDP framework for declarative problem solving, Giunchiglia, Enrico; Marek, Victor W.; Mitchell, David G.; Ternovska, Eugenia; Giunchiglia, E.; Marek, V.; Mitchell, D.; Ternovska, E (eds.), Search and Logic: Answer Set Programming and SAT, Seattle, Washington, USA, August 16, 2006, Search and Logic: Answer Set Programming and SAT, pages 19-34 PDF BibTeX
  • Vennekens, Joost; Denecker, Marc. Analysing the structure of definitions in ID-logic, Dix, J.; Hunter, A (eds.), International Workshop on Non-monotonic Reasoning, Lake district, UK, May 30-June 1, 2006, Proceedings of the 11th International Workshop on Non-monotonic Reasoning, pages 94-101 BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. Representing causal information about a probabilistic process, 18th Belgium-Netherlands Conference on Artificial Intelligence, Namur, Belgium, October 5-6, 2006, BNAIC'06, Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence, pages 433-434 PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. Extending the role of causality in probabilistic modeling, Dix J., ; Hunter, A (eds.), International Workshop on Non-monotonic Reasoning, Lake district, UK, May 30-June 1, 2006, Proceedings of the 11th International Workshop on Non-monotonic Reasoning, pages 183-190 BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Van Nuffelen, Bert; Bruynooghe, Maurice. On the local closed-world assumption of data-sources, International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), Diamante, Cosenza, Italy, September 5-9, 2005, Lecture Notes in Computer Science, volume 3662, pages 145-157, Springer DOI BibTeX
  • Mariën, Maarten; Mitra, Rudradeb; Denecker, Marc; Bruynooghe, Maurice. Satisfiability checking for PC(ID), Logic for Programming, Artificial Intelligence, and Reasoning, Montego Bay, Jamaica, 2-6 December 2005, Lecture Notes in Computer Science, volume 3835, pages 565-579, Springer DOI BibTeX
  • Vennekens, Joost; Denecker, Marc. An algebraic account of modularity in ID-logic, De Vos, M.; Provetti, A (eds.), Answer Set Programming, Bath, United Kingdom, July 27-29, 2005, Answer Set Programming: Advances in Theory and Implementation, pages 57-69 BibTeX
  • Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice. Database repair by signed formulae, Foundations of Information and Knowledge Systems (FOIKS 2004), Vienna, Austria, February 17-20, 2004, Lecture Notes in Computer Science, volume 2942, pages 14-30, Springer DOI BibTeX
  • Denecker, Marc. What's in a model? Epistemological analysis of logic programming, Dubois, D.; Welty, C (eds.), Ninth International Conference on Principles of Knowledge Representation and Reasoning, Delta Whistler Resort, Canada, June 2-5, 2004, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), pages 106-113 BibTeX
  • Denecker, Marc; Ternovska, E.. A logic of non-monotone inductive definitions and its modularity properties, Lifschitz, V.; Niemelä, I (eds.), 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6-8, 2004, Logic Programming and Nonmonotonic Reasoning: 7th International Conference, volume 2923, pages 47-60, Springer-verlag berlin DOI BibTeX
  • Denecker, Marc; Ternovska, Eugenia. Inductive situation calculus, Dubois, D.; Welty, C (eds.), Ninth International Conference on Principles of Knowledge Representation and Reasoning, Delta Whistler Resort, Canada, June 2-5, 2004, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), pages 545-553 BibTeX
  • Mariën, Maarten; Gilis, David; Denecker, Marc. On the relation between ID-Logic and answer set programming, Alferes, J.J.; Leite, J.A (eds.), Logics in Artificial Intelligence, Lisbon, Portugal, 27-30 September 2004, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, volume 3229, pages 108-120, Springer DOI BibTeX
  • Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice. Partial stable models for logic programs with aggregates, International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6-8, 2004, Lecture Notes in Computer Science, volume 2923, pages 207-219, Springer DOI BibTeX
  • Van Nuffelen, Bert; Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice. Data integration using ID-Logic, International Conference on Advanced Information Systems Engineering (CAiSE 2004), Riga, Latvia, June 7-11, 2004, Lecture Notes in Computer Science, volume 3084, pages 67-81, Springer DOI BibTeX
  • Vennekens, Joost; Gilis, David; Denecker, Marc. Splitting an operator: An algebraic modularity result and its application to auto-epistemic logic, Delgrande, J.P.; Schaub, T (eds.), The 10th International Workshop on Non-Monotonic Reasoning, Whistler, British Columbia, Canada, June 6-8, 2004, Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, pages 400-408 BibTeX
  • Denecker, Marc. What's in a model? Epistemological analysis of logic programming, De Vos, M.; Provetti, A (eds.), ASP03 Answer Set Programming: Advances in Theory and Implementation, Messina, Sicily, September 26-28, 2003, Answer Set Programming: Advances in Theory and Implementation, pages 113-123 BibTeX
  • Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice. Translation of aggregate programs to normal logic programs, De Vos, M.; Provetti, A (eds.), ASP03 Answer Set Programming: Advances in Theory and Implementation, Messina, Sicily, September 26-28, 2003, Answer Set Programming: Advances in Theory and Implementation, pages 29-42 BibTeX
  • Arieli, Ofer; Denecker, Marc. Modeling paraconsistent reasoning by classical logic, Eiter, T.; Schewe, K.D (eds.), 2nd International Symposium on Foundations of Information and Knowledge Systems, Schloss Salzau, Germany, February 19-23, 2002, Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002, Proceedings, pages 1-14 BibTeX
  • Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice. Repairing inconsistent databases: a model-theoretic approach and abductive reasoning, Decker, H.; Waragai, T (eds.), Paraconsistent Computational Logic 2002, Copenhagen, Denmark, July 27, 2002, Proceedings ICLP'02 Workshop on Paraconsistent Computational Logic, pages 51-65 BibTeX
  • Bekaert, Pieter; Van Nuffelen, Bert; Bruynooghe, Maurice; Gilis, David; Denecker, Marc. On the transformation of object-oriented conceptual models to logical theories, 21th International Conference on Conceptual Modeling (ER 2002), Tampere, Finland, October 7-11, 2002, Lecture Notes in Computer Science, volume 2503, pages 152-166, Springer DOI BibTeX
  • Denecker, Marc; Truszczynski, M.; Marek, Victor. Ultimate approximations in nonmonotonic knowledge representation systems, Fensel, D.; Giunchiglia, F.; McGuinness, D.; Williams, M (eds.), Principles of Knowledge Representation and Reasoning, Toulouse, France, April 22-25, 2002, Principles of Knowledge Representation and Reasoning: Proceedings of the Eigth International Conference, pages 177-188 BibTeX
  • Gilis, David; Denecker, Marc. Compositionality results for stratified nonmonotone operators, Benferhat, Salem; Giunchiglia, Enrico (eds.), 9th International Workshop on Non-Monotonic reasoning, Toulouse, France, April 19-21, 2002, Proceedings of the 9th International Workshop on Non-Monotonic Reasoning, pages 51-56 BibTeX
  • Arieli, Ofer; Van Nuffelen, Bert; Denecker, Marc; Bruynooghe, Maurice. Coherent composition of distributed knowledge-bases through abduction, Nieuwenhuis, R.; Voronkov, A (eds.), International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Havana, Cuba, December 3-7, 2001, Lecture Notes in Computer Science, volume 2250, pages 620-635, Springer DOI BibTeX
  • Denecker, Marc. Logic Programs: Default logic theories or inductive definitions?, Kröse, B.; de Rijke, M.; Schreiber, G.; van Someren, M (eds.), 13th Belgium-Netherlands Conference on Artificial Intelligence, Amsterdam, The Netherlands, October 25-26, 2001, Proceedings of BNAIC 2001, pages 95-102 BibTeX
  • Denecker, Marc; Pelov, Nikolay; Bruynooghe, Maurice. Ultimate Well-founded and stable semantics for logic programs with aggregates, Codognet, P (ed.), 17th International Conference on Logic Programming, Paphos, Cyprus, November 26 - December 1, 2001, Lecture Notes in Computer Science, pages 212-226, Springer DOI BibTeX
  • Kakas, Antonis C.; Van Nuffelen, Bert; Denecker, Marc. A-system : Problem solving through abduction, Nebel, B (ed.), Seventeenth International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, August 4-10, 2001, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, pages 591-596 BibTeX
  • Verdoolaege, Sven; Denecker, Marc; Van Eynde, Frank. Abductive reasoning with temporal information, International workshop on computational semantics, 10-12 January 2001, Proceedings of the Fourth International Workshop on Computational Semantics IWCS-4, January 10-12, pages 351-366, S.l. : s.n. BibTeX
  • Denecker, Marc. Extending classical logic with inductive definitions, Lloyd, John; Dahl, Veronica; Furbach, Ulrich; Kerber, Manfred; Lau, Kung-Kiu; Palamidessi, Catuscia; Pereira, Luis Moniz; Sagiv, Yehoshua; Stuckey, Peter J (eds.), First International Conference on Computational Logic, London, U.K., July 24-28, 2000, Computational Logic - CL 2000, First International Conference, London, UK, July 2000, Proceedings, volume 1861, pages 703-717, Springer-verlag berlin DOI BibTeX
  • Denecker, Marc. Extending Classical Logic with Inductive Definitions, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th International Workshop on Nonmonotonic Reasoning, Breckenridge, Colorado, USA, 9-11 April 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-10 BibTeX
  • Denecker, Marc. A note on the declarative reading(s) of Logic Programming, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th Interntional Workshop on Nonmonotonic Reasoning, Breckenridge, Colorado, USA, April 9-11, 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-5 BibTeX
  • Denecker, Marc; Marek, Victor; Truszczynski, M.. Uniform semantic treatment of default and autoepistemic logics, Cohn, A.G.; Giunchiglia, F.; Selman, B (eds.), 7th International Conference on Principles of Knowledge Representation and Reasoning, Breckenridge, Colorado, USA, April 11-15, 2000, Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, pages 74-84 BibTeX
  • Pelov, Nikolay; De Mot, Emmanuel; Denecker, Marc. Logic programming approaches for representing and solving constraint satisfaction problems A comparison, Parigot, M.; Voronkov, A (eds.), 7th International Conference on Logic for Programming and Automated Reasoning, Reunion Island, November 6-9, 2000, Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 2000, Proceedings, volume 1955, pages 225-239, Springer-verlag berlin DOI BibTeX
  • Van Nuffelen, Bert; Denecker, Marc. Problem solving in ID-logic with aggregates, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th International Workshop on Nonmonotonic Reasoning, Breckenridgde, Colorado, USA, 9-11 April 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-10 BibTeX
  • Verdoolaege, Sven; Denecker, Marc; Schelkens, Vanessa; De Schreye, Danny; Van Eynde, Frank. Semantic interpretation of temporal information by abductive inference, Computational linguistics in the Netherlands, Utrecht, The Netherlands, December 10, 1999, Computational Linguistics in the Netherlands 1999. Selected Papers from the Tenth CLIN Meeting / Ed.: P. Monachesi. - P. 201-211, 2000 BibTeX
  • Bruynooghe, Maurice; Pelov, Nikolay; Denecker, Marc. Towards a more declarative language for solving finite domain problems, Apt, Krzysztof R.; Kakas, Antonios; Monfroy, Eric; Rossi, Francesca (eds.), 1999 ERCIM/COMPULOG Workshop on Constraints, Paphos, Cyprus, October 1999, Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, pages 1-14 BibTeX
  • De Mot, Emmanuel; Denecker, Marc; De Schreye, Danny; Janssens, Gerda. Prescriptive type inference as an application of abduction, Etalle, Sandro (ed.), 1999 Benelux Workshop on Logic Programming, Maastricht, The Netherlands, November 1999, Proceedings of the 1999 Benelux Workshop on Logic Programming, pages 1-13 BibTeX
  • Denecker, Marc; Marek, Victor; Truszczynski, M.. Approximating operators, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning, Minker, J (ed.), NFS-workshop on Logic-based Artificial Intelligence, Washington, USA, June 4-16, 1999, NFS-workshop on Logic-based Artificial Intelligence, pages 1-26 BibTeX
  • Denecker, Marc; Van Nuffelen, Bert. Experiments for integration CLP and abduction, Apt, Krysztof R.; Kakas, Antonios C.; Monfroy, Eric; Rossi, Francesca (eds.), 1999 ERCIM/COMPULOG workshop on Constraints, Paphos, Cyprus, October 25-27, 1999, Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, pages 1-15 BibTeX
  • Bruynooghe, Maurice; Vandecasteele, Henk; de Waal, D André; Denecker, Marc. Detecting unsolvable queries for definite logic programs, Palamidessi, C.; Glaser, H.; Meinke, K (eds.), Principles of Declarative Programming, Joint Symposium on PLILP/ALP, Pisa, Italy, 16-18 September 1998, Lecture Notes in Computer Science, volume 1490, pages 118-133, Springer DOI BibTeX
  • Denecker, Marc; Marek, Victor; Truszczynski, M.. Fixpoint 3-valued semantics for autoepistemic logic, Fifteenth National Conference on Artificial Intelligence, Madison, Wisconsin 1998, July 26-30, 1998, Proceedings of the Fifteenth National Conference on Artificial Intelligence, pages 840-845 BibTeX
  • Van Belleghem, Kristof; Denecker, Marc; Theseider-Dupré, D.. A constructive approach to the ramification problem, de Giacomo, Guiseppe; Nardi, Daniele (eds.), ESSLLI'98 Workshop on Reasoning about Actions, Saarbruecken, Germany, Reasoning about Actions ; Foundations and Applications, pages 1-17, 1998 BibTeX
  • de Waal, D André; Denecker, Marc; Bruynooghe, Maurice; Thielscher, Michael. The generation of pre-interpretations for detecting unsolvable planning problems, Furbach, U (ed.), Workshop on Model-Based Automated Reasoning (15th International Joint Conference on Artificial Intelligence), Nagoya, Japan, 23-29 August 1997, Workshop on Model-Based Automated Reasoning (15th International Joint Conference on Artificial Intelligence), pages 103-112 BibTeX
  • de Waal, D Andre; Denecker, Marc; Bruynooghe, Maurice; Thielscher, Michael. The Generation of Pre-interpretations for Detecting Unsolvable Planning Problems, Venter, L M.; Lombard, R R (eds.), the 1997 National Research and Development Conference (SIACSIT'97), Potschefstroomse University South Africa, November 1997, The 1997 National Research and Development Conference (SIASIT'97), pages 77-86 BibTeX
  • Denecker, Marc; Vandecasteele, Henk; De Schreye, Danny; Seghers, Gino; Baeyens, Tom. Scheduling by ''abductive execution'' of a classical logic specification, Codognet, Philippe (ed.), ERCIM/Compulog workshop on Constraints, Linz, Austria, October 27-28, 1997, 1997 ERCIM/Compulog Workshop on Constraints, pages 1-5 BibTeX
  • Van Belleghem, Kristof; Denecker, Marc; De Schreye, Danny. A strong correspondence between description logics and open logic programming, Naish, L (ed.), 1997 International Conference on Logic Programming, Leuven, Belgium, July 8-12, 1997, Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, pages 346-360 BibTeX
  • Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Composite quadrature formulae for the approximation of wavelet coefficients of piecewise smooth and singular functions, Brogi, A.; Hill, P (eds.), International Workshop on Logic-Based Composition of Software, Leuven, Belgium, July 11, 1997, Proceedings of the International Workshop on Logic-Based Composition of Software, pages 1-19 BibTeX
  • Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Compositionality of normal open logic programs, Maluszýnski, J (ed.), 1997 International Logic Programming Symposium, Port Jefferson, New York, October 13-16, 1997, Logic Programming, Proceedings of the 1997 International Symposium, pages 371-385 BibTeX
  • Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Compositionality of normal open logic programs, Van Marcke, K.; Daelemans, W (eds.), Ninth Dutch Conference on Artificial Intelligence, Antwerpen, Proceedings of the Ninth Dutch Conference on Artificial Intelligence, pages 203-214, 1997 BibTeX
  • Bruynooghe, Maurice; Demoen, Bart; Boulanger, Dmitri; Denecker, Marc; Mulkers, Anne. A freeness and sharing analysis of logic programs based on a pre-interpretation, Cousot, R.; Schmidt, D.A (eds.), Third International Symposium on Static Analysis, Aachen, Germany, September 24-27, 1996, Lecture Notes in Computer Science, volume 1445, pages 128-142, Springer DOI BibTeX
  • Denecker, Marc; Martens, Bern; De Raedt, Luc. On the difference between abduction and induction: a model theoretic perspective, Denecker, Marc; Flach, P.; Kakas, A (eds.), ECAI96 Workshop on Abductive and Inductive Reasoning, Budapest, Hungary, ECAI96 Workshop on Abductive and Inductive Reasoning, pages 1-7, 1996 BibTeX
  • Denecker, Marc; Van Belleghem, Kristof; Duchatelet, G.; Piessens, Frank; De Schreye, Danny. A realistic experiment in knowledge representation in open event calculus: protocol specification, Michael Maher, (ed.), Joint International Conference and Symposium on Logic Programming, Bonn, September 2-6, 1996, Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 170-184 BibTeX
  • Adé, Hilde; Denecker, Marc. Abductive inductive logic programming, Mellish, C.S (ed.), The International Joint Conference on Artificial Intelligence, Proceedings of the International Joint Conference on Artificial Intelligence, pages 1201-1209, 1995 BibTeX
  • Denecker, Marc. A terminological interpretation of (abductive) logic programming, Marek, V.W.; Nerode, A.; Truszczynski, M (eds.), the International Conference on Logic Programming and Nonmonotonic Reasoning, Lexington, U.S.A., June 26–28, 1995, Logic Programming and Nonmonotonic Reasoning, Proceedings LPNMR'95, Lecture Notes in Computer Science 928, pages 15-29, Springer-verlag berlin DOI BibTeX
  • Denecker, Marc. Semantic abstract interpretation, Workshop on Abstract Interpretation of Logic Languages, Eilat, Israel, Workshop on Abstract Interpretation of Logic Languages, 1995 BibTeX
  • Denecker, Marc; Van Belleghem, Kristof; Duchatelet, G.; Piessens, Frank; De Schreye, Danny. Using event calculus for protocol specification. An experiment, ICLP95 Workshop on Abduction in Deductive Databases and Knowledge-Based Systems, Japan, ICLP95 Workshop on Abduction in Deductive Databases and Knowledge-Based Systems, 1995 BibTeX
  • Van Belleghem, Kristof; Denecker, Marc; De Schreye, Danny. Combining situation calculus and event calculus, Sterling, Leon (ed.), the Twelfth International Conference on Logic Programming, Tokyo, Logic Programming, Proceedings of the 1995 International Conference on Logic Programming, pages 83-97, 1995 BibTeX
  • Boulanger, Dmitri; Bruynooghe, Maurice; Denecker, Marc. Abstracting s-semantics using a model-theoretic approach, Hermenegildo, M.; Penjam, J (eds.), Programming Language Implementation and Logic Programming, Madrid, Spain, September 14-16, 1994, Lecture Notes in Computer Science, volume 844, pages 432-446, Springer DOI PDF BibTeX
  • Van Belleghem, Kristof; Denecker, Marc; De Schreye, Danny. Representing continuous change in the abductive event calculus, Van Hentenryck, Pascal (ed.), The 1994 International Conference on Logic Programming, Santa Margherita Ligure, Italy, Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, pages 225-240, 1994 BibTeX
  • Van Belleghem, Kristof; Denecker, Marc; De Schreye, Danny. The abductive event calculus as a general framework for temporal databases, Gabbay, D.; Ohlbach, H.J (eds.), International Conference on Temporal Logic, International Conference on Temporal Logic, pages 301-316, 1994 BibTeX
  • Denecker, Marc; De Schreye, Danny. Representing incomplete knowledge in abductive logic programming, International Symposium on Logic Programming (ILPS'93), Vancouver, Proc. of the International Symposium on Logic Programming (ILPS'93), pages 147-163, 1993 BibTeX
  • Denecker, Marc; De Schreye, Danny. Justification semantics: a unifying framework for the semantics of logic programs, Pereira, L.M.; Nerode, A (eds.), Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop, 1993, Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop, pages 365-379 BibTeX
  • Denecker, Marc; De Schreye, Danny. On the duality of abduction and model generation, ICOT, (ed.), International Conference on Fifth Generation Computer Systems, FGCS92, Proc. of the International Conference on Fifth Generation Computer Systems, FGCS92, pages 650-657, 1992 BibTeX
  • Denecker, Marc; De Schreye, Danny. Temporal reasoning with Abductive Event Calculus; extended abstract in proceedings, First Compulog-Net Workshop on Logic Programming in AI, Imperial College, London, Proceedings First Compulog-Net Workshop on Logic Programming in AI, 1992 BibTeX
  • Denecker, Marc; De Schreye, Danny. SLDNFA: an abductive procedure for normal abductive programs, Apt, K.R (ed.), the International Joint Conference and Symposium on Logic Programming, Proc. of the International Joint Conference and Symposium on Logic Programming, pages 686-700, 1992 BibTeX
  • Denecker, Marc; Missiaen, Lode; Bruynooghe, Maurice. Temporal reasoning with abductive event calculus, Neumann, Bernd (ed.), 10th European Conference on Artificial Intelligence, Vienna, Austria, 3-7 August 1992, Proceedings of the 10th European Conference on Artificial Intelligence, ECAI92, pages 384-388, John Wiley and Sons BibTeX
  • De Raedt, Luc; Vandersmissen, B.; Denecker, Marc; Bruynooghe, Maurice. A hybrid approach to learning and its knowledge representation, Cognitiva'90, 1990, Proceedings of Cognitiva'90, pages 409-416 PDF BibTeX

Top

Papers at other conferences and symposia, published in full in proceedings

3 references
  • Van Belleghem, Kristof; Denecker, Marc; Dupré, D.T.. Ramifications in an event-based language, Van Marcke, K.; Daelemans, W (eds.), Ninth Dutch Conference on Artificial Intelligence (NAIC'97), Antwerpen, Ninth Dutch Conference on Artificial Intelligence (NAIC'97), pages 227-236, 1997 BibTeX
  • Denecker, Marc. Reasoning in an integration of logic programming and classical logic, Fundamental Computer Science Contact Group (FNRS) on Automated Thoerem Proving, Luike, Fundamental Computer Science Contact Group (FNRS) on Automated Thoerem Proving, 1995 BibTeX
  • Denecker, Marc. From shooting turkeys to sliding window: just one step, BENELOG Workshop 1995, Gent, BENELOG Workshop 1995, 1995 BibTeX

Top

Meeting abstracts, presented at international conferences and symposia

20 references
  • Devriendt, Jo; Bogaerts, Bart; Mears, Chris; De Cat, Broes; Denecker, Marc. Symmetry propagation: Improved dynamic symmetry breaking in SAT, SymCon, Québec City, 6-8 October 2012 intranet BibTeX
  • Wittocx, Johan; De Cat, Broes; Denecker, Marc. The IDP system, Bouvry, Pascal; van der Torre, Leon; Dubois, Eric; Latour, Thibaud (eds.), Benelux conference on artificial intelligence, Luxembourg, 25-26 October 2010, Proceedings of the 22nd Benelux Conference on Artificial Intelligence PDF BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice. Using deductive databases technology for approximate query answering in partially complete databases, Dutch-Belgian Data Base Day, Eindhoven, The Netherlands, Novemeber 29, 2007 BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice. Approximate query answering in locally closed databases, The 19th Belgian-Dutch Conference on Artificial Intelligence, Utrecht, The Netherlands, November 5-6, 2007 BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice. Query answering for the LCWA, Second International Workshop on Exchange and Integration of Data, Brixen-Bressanone, Italy, June 9-11, 2006 BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Van Nuffelen, Bert; Bruynooghe, Maurice. On the local-closed world assumption of data-sources, 17th Belgian-Dutch Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005, BNAIC 2005, Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, pages 333-334 BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Van Nuffelen, Bert; Bruynooghe, Maurice. On the local closed-world assumption of data-sources, Biennial Israeli Symposium on the Foundations of AI, University of Haifa, Haifa, Israel (Schild, U.J., e.d.), Haifa, Israel, June 28-30, 2005 BibTeX
  • Mariën, Maarten; Mitra, Rudradeb; Denecker, Marc. Algorithms for FO (ID) model generation, Dagstuhl seminar 05171: Nonmonotonic Reasoning, Answer Set Programming and Constraints, Schloss Dagstuhl, Wadern, Germany, April 25-29, 2005 BibTeX
  • Vennekens, Joost; Denecker, Marc. An analysis of dependencies in ID-logic, Dagstuhl seminar 05171: Nonmonotonic Reasoning, Answer Set Programming and Constraints, Schloss Dagstuhl, Wadern, Germany, April 25-29, 2005 BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Van Nuffelen, Bert; Arieli, Ofer; Bruynooghe, Maurice. A knowledge representation perspective on data integration, ARISE Workshop on Exchange and Integration of Data, Toronto, Canada, October 7, 2004 BibTeX
  • Cortés-Calabuig, Alvaro; Van Nuffelen, Bert; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice. Data integration using ID-logic, Dagstuhl Seminar 04171: Logic Based Information Agents, Dagstuhl Castle, Germany, April 18-23, 2004 BibTeX
  • Denecker, Marc; Ternovska, Eugenia. Inductive situation calculus, 16th Belgium-Netherlands Conference on Artificial Intelligence, Groningen, The Netherlands, October 21-22, 2004 BibTeX
  • Denecker, Marc. Unifying Abductive Logic Programming and Stable Logic Programming, 9th International Workshop on Non-Monotonic Reasoning, Toulouse, France, April 19-21, 2002 BibTeX
  • Denecker, Marc; Pelov, Nikolay; Bruynooghe, Maurice. Ultimate well-founded and stable semantics for logic programs with aggregates, Belgian-Dutch Conference on Artificial Intelligence, Leuven, Belgium, October 21-22, 2002 BibTeX
  • Kakas, Antonis C.; Van Nuffelen, Bert; Denecker, Marc. A-system : Problem solving through abduction, 13th Belgium-Dutch Conference on Artificial Intelligence, Amsterdam, The Netherlands, October 25-26, 2001 BibTeX
  • Verdoolaege, Sven; Denecker, Marc; Schelkens, Vanessa; De Schreye, Danny; Van Eynde, Frank. Semantic interpretation of temporal information by abductive inference, 10th Computational Linguistics in the Netherlands, Utrecht, The Netherlands, 10 december 1999 PDF BibTeX
  • Bruynooghe, Maurice; Vandecasteele, Henk; de Waal, D André; Denecker, Marc. Detecting unsolvable queries for definite logic programs, The Netherlands/Belgium Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18-19 November 1998 BibTeX
  • Denecker, Marc. The well-founded semantics is the principle of inductive definition, Seventh International Workshop on Nonmonotonic Reasoning, Trento, Italy, May 30 - June 1, 1998 BibTeX
  • Denecker, Marc; Marek, Victor; Truszczynski, M.. Fix-point 3-valued semantics for autoepistemic logic, Seventh International Workshop on Nonmonotonic Reasoning, Trento, Italy, May 30 - June 1, 1998 BibTeX
  • Denecker, Marc. On the relationship between logic programming and definition logics, COMPULOG workshop, Albufeira, Portugal, 1995 BibTeX

Top

Meeting abstracts, presented at other conferences and symposia

3 references
  • Vennekens, Joost; Verbaeten, Sofie; Bruynooghe, Maurice; Denecker, Marc. Logic programs with annotated disjunctions, Seminar on Logic and Computation, Ravelingen, Oostende, Belgium, May 3-4, 2005 BibTeX
  • Denecker, Marc. General foundations, Issues in Knowledge Representation: Logic Programming and Nonmonotonic reasoning with Applications, Leuven, Belgium, September 2, 2002 BibTeX
  • Denecker, Marc. Nonmonotone inductive definitions versus logic programs, Issues in Knowledge Representation: Logic Programming and Nonmonotonic reasoning with Applications, Leuven, Belgium, September 2, 2002 BibTeX

Top

Thesis

10 references
  • De Cat, Broes. Separating Knowledge from Computation: An FO, PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2014, Denecker, Marc (supervisor) PDF BibTeX
  • Vlaeminck, Hanne. Applications of Feasible Inference for Expressive Logics , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 2012, 178 pages, Denecker, Marc (supervisor) , Vennekens, Joost (cosupervisor) PDF BibTeX
  • Hou, Ping. Techniques for Reasoning in FO, PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, March 2010, 216 pages, Denecker, Marc (supervisor) PDF BibTeX
  • Wittocx, Johan. Finite Domain and Symbolic Inference Methods for Extensions of First-Order Logic , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2010, 242 pages, Denecker, Marc (supervisor) PDF BibTeX
  • Mariën, Maarten. Model Generation for ID-Logic , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, February 2009, Denecker, Marc (supervisor) PDF BibTeX
  • Cortes Calabuig, Alvaro. Towards a Logical Reconstruction of a Theory for Locally Complete Databases , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 2008, Denecker, Marc and Bruynooghe, Maurice (supervisors) PDF BibTeX
  • Vennekens, Joost. Algebraic and logical study of constructive processes in knowledge representation, PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2007, 155+xxix pages, isbn: 978-905-682-815-8, Denecker, Marc and De Schreye, Danny (supervisors) PDF PDF BibTeX
  • Pelov, Nikolay. Semantics of logic programs with aggregates, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2004, 152 + X pages, Bruynooghe, Maurice and Denecker, Marc (supervisors) PDF BibTeX
  • Van Nuffelen, Bert. Abductive constraint logic programming: implementation and applications., PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, June 2004, 315 + xiv pages, isbn: 905-682-512-7, Denecker, Marc and De Schreye, Danny (supervisors) PDF BibTeX
  • Denecker, Marc. Knowledge representation and reasoning in incomplete logic programming, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1993, 265 pages, De Schreye, Danny and Denef, Jan (supervisors) PS BibTeX

Top

Internal reports

21 references
  • Bogaerts, Bart; Vennekens, Joost; Denecker, Marc; Van den Bussche, Jan. C-Log: a knowledge representation language of causality, CW Reports, volume CW656, 10 pages, Department of Computer Science, KU Leuven, Leuven, Belgium, February 2014 PDF BibTeX
  • De Cat, Broes; Bogaerts, Bart; Devriendt, Jo; Denecker, Marc. Model expansion in the presence of function symbols using constraint programming, CW Reports, volume CW644, 9 pages, Department of Computer Science, KU Leuven, Leuven, Belgium, July 2013 PDF BibTeX
  • Van Hertum, Pieter; Vennekens, Joost; Bogaerts, Bart; Devriendt, Jo; Denecker, Marc. The effects of buying a new car: an extension of the IDP Knowledge Based System, CW Reports, volume CW640, 12 pages, Department of Computer Science, KU Leuven, Leuven, Belgium, June 2013 PDF BibTeX
  • Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. On the equivalence between CP-logic and LPADs, CW Reports, volume CW436, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2008 PDF BibTeX
  • Cortés-Calabuig, Alvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice. Representation of partial knowledge and query answering in locally complete databases, CW Reports, volume CW457, 19 pages, K.U.Leuven, Department of Computer Science, August 2006 BibTeX
  • Denecker, Marc; Vennekens, Joost. ID-logic in perspective, CW Reports, volume CW410, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2005 BibTeX
  • Mariën, Maarten; Mitra, Rudradeb; Denecker, Marc; Bruynooghe, Maurice. Satisfiability checking for PC(ID), CW Reports, volume CW426, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2005 BibTeX
  • Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice. Well-founded and stable semantics of logic programs with aggregates, CW Reports, volume CW422, 48 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2005 BibTeX
  • Arieli, Ofer; Denecker, Marc. Circumscriptive approaches to paraconsistent reasoning, CW Reports, volume CW304, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2001 BibTeX
  • Denecker, Marc; Marek, Victor W.; Truszczynski, Miroslaw. Ultimate approximations, CW Reports, volume CW320, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2001 PDF BibTeX
  • Bruynooghe, Maurice; Vandecasteele, Henk; de Waal, D André; Denecker, Marc. Detecting unsolvable queries for definite logic programs, CW Reports, volume CW270, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1998 BibTeX
  • Van Belleghem, Kristof; Denecker, Marc; Dupré, D.T.. Representing ramifications in an event-based language, CW Reports, volume CW257, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1997 gz BibTeX
  • Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Compositionality of normal open logic programs, CW Reports, volume CW254, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1997 BibTeX
  • Bruynooghe, Maurice; Demoen, Bart; Boulanger, Dmitri; Denecker, Marc; Mulkers, Anne. A freeness and sharing analysis of logic programs based on a pre-interpretation, CW Reports, volume CW233, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996 BibTeX
  • de Waal, D André; Denecker, Marc; Bruynooghe, Maurice; Thielscher, Michael. The automatic generation of pre-interpretations for detecting unsolvable planning problems, CW Reports, volume CW224, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996 BibTeX
  • Martens, Bern; Bruynooghe, Maurice; Denecker, Marc; De Raedt, Luc; De Schreye, Danny; Janssens, Gerda. A brief overview of logic programming research at the K.U.Leuven, with notes on its industrialrelevance, CW Reports, volume CW223, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1996 BibTeX
  • Adé, Hilde; Denecker, Marc. Abductive inductive logic prgramming, CW Reports, volume CW207, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1995 BibTeX
  • Denecker, Marc; De Schreye, Danny. A family of abductive procedures for normal abductive programs, their soundness and completeness, CW Reports, volume CW136, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1992 BibTeX
  • Denecker, Marc; De Schreye, Danny. Justification semantics: a unifying framework for the semantics of logic programs, CW Reports, volume CW157, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1992 BibTeX
  • Denecker, Marc; De Schreye, Danny. A framework for indeterministic model generation with equality, CW Reports, volume CW124, 34 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1991 BibTeX
  • Denecker, Marc; Willems, Yves. Data Representation in Object Oriented Prolog Systems, CW Reports, volume CW98, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1989 BibTeX

Top

Misc.

1 reference

Top

No publications found for the period 1989-2014 and the types

  • Articles in internationally reviewed journals (professional)
  • Articles in other journals
  • Articles in other journals (professional)
  • Books, internationally recognised scientific publisher; as author
  • Books, internationally recognised scientific publisher; as author (professional)
  • Other published books; as author
  • Other published books; as author (professional)
  • Books, internationally recognised scientific publisher; as editor (professional)
  • Other published books; as editor (professional)
  • Article in book, internationally recognised scientific publisher (professional)
  • Article in other published book
  • Article in other published book (professional)
  • Papers at international conferences and symposia, published in full in proceedings (professional)
  • Papers at other conferences and symposia, published in full in proceedings (professional)
  • Meeting abstracts, presented at international conferences and symposia (professional)
  • Meeting abstracts, presented at other conferences and symposia (professional)
  • Review
  • Translation without scientific introduction
  • Scientific popularisation
  • External reports
 
Last update local database Sun Sep 21 2014 0:19 am; It contains 221 publications of Marc Denecker.

Other lists

Browse by selection

Select pubtype and period. Then click


______________________________
pubtype
Select [all] [none] ______________________________ ______________________________
period
From - Till:

____________________________

Choose
mixed types
not mixed types

____________________________

Give
separate years
or not separate years

____________________________

Bibtexs of this page

A