Publications of Marc Denecker

period 1989 - 2013

Articles in internationally reviewed journals

33 references

• Wittocx, Johan; Denecker, Marc; Bruynooghe, Maurice. Constraint propagation for first-order logic and inductive definitions, ACM Transactions on Computational Logic, 2013 (Accepted)

  @article{369791,
    author = "Wittocx, Johan and Denecker, Marc and Bruynooghe, Maurice",
    title = "Constraint propagation for first-order logic and inductive definitions",
    journal = "ACM Transactions on Computational Logic",
    year = "2013",
    note = "Accepted",
    url = "https://lirias.kuleuven.be/handle/123456789/369791",
  }
  

• 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

  @article{351217,
    author = "Vlaeminck, Hanne and Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "An approximative inference method for solving {$\exists$}{$\forall$}{SO} satisfiability problems",
    journal = "The Journal of Artificial Intelligence Research",
    volume = "45",
    pages = "79--124",
    month = Sep,
    year = "2012",
    doi = "10.1613/jair.3658",
    url = "https://lirias.kuleuven.be/handle/123456789/351217",
  }
  

• 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

  @article{268502,
    author = "Denecker, Marc and Cort{\'e}s-Calabuig, Alvaro and Bruynooghe, Maurice and Arieli, Ofer",
    title = "Towards a logical reconstruction of a theory for locally closed databases",
    journal = "ACM Transactions on Database Systems",
    volume = "35",
    number = "3",
    pages = "1--60",
    month = Jul,
    year = "2010",
    doi = "10.1145/1806907.1806914",
    url = "https://lirias.kuleuven.be/handle/123456789/268502",
  }
  

• 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

  @article{268468,
    author = "Hou, Ping and De Cat, Broes and Denecker, Marc",
    title = "{FO}({FD}): {E}xtending classical logic with rule-based fixpoint definitions",
    journal = "Theory and Practice of Logic Programming",
    volume = "10",
    number = "4-6",
    pages = "581--596",
    month = Jul,
    year = "2010",
    doi = "10.1017/S1471068410000293",
    url = "https://lirias.kuleuven.be/handle/123456789/268468",
  }
  

• 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

  @article{280345,
    author = "Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "{FO}({ID}) as an extension of {DL} with rules",
    journal = "Annals of Mathematics and Artificial Intelligence",
    volume = "58",
    number = "1-2",
    pages = "85--115",
    month = Feb,
    year = "2010",
    doi = "10.1007/ s10472-010-9207-9",
    url = "https://lirias.kuleuven.be/handle/123456789/280345",
  }
  

• 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

  @article{266022,
    author = "Wittocx, Johan and Mari{\"e}n, Maarten and Denecker, Marc",
    title = "Grounding {FO} and {FO}({ID}) with bounds",
    journal = "The Journal of Artificial Intelligence Research",
    volume = "38",
    pages = "223--269",
    month = May,
    year = "2010",
    doi = "10.1613/jair.2980",
    url = "https://lirias.kuleuven.be/handle/123456789/266022",
  }
  

• 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

  @article{229813,
    author = "Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "{CP}-logic: {A} language of causal probabilistic events and its relation to logic programming",
    journal = "Theory and Practice of Logic Programming",
    volume = "9",
    number = "3",
    pages = "245--308",
    year = "2009",
    doi = "10.1017/S1471068409003767",
    url = "https://lirias.kuleuven.be/handle/123456789/229813",
  }
  

• Denecker, Marc; Ternovska, Eugenia. A logic of nonmonotone inductive definitions, ACM Transactions on Computational Logic, volume 9, issue 2, 2008

  @article{222628,
    author = "Denecker, Marc and Ternovska, Eugenia",
    title = "A logic of nonmonotone inductive definitions",
    journal = "ACM Transactions on Computational Logic",
    volume = "9",
    number = "2",
    month = Mar,
    year = "2008",
    doi = "10.1145/1342991.1342998",
    url = "https://lirias.kuleuven.be/handle/123456789/222628",
  }
  

• 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

  @article{124111,
    author = "Arieli, Ofer and Denecker, Marc and Bruynooghe, Maurice",
    title = "Distance semantics for database repair",
    journal = "Annals of Mathematics and Artificial Intelligence",
    volume = "50",
    number = "3-4",
    pages = "389--415",
    month = Aug,
    year = "2007",
    doi = "10.1007/s10472-007-9074-1",
    url = "https://lirias.kuleuven.be/handle/123456789/124111",
  }
  

• Denecker, Marc; Ternovska, Eugenia. Inductive situation calculus, Artificial Intelligence, volume 171, issue 5-6, pages 332-360, 2007

  @article{124880,
    author = "Denecker, Marc and Ternovska, Eugenia",
    title = "Inductive situation calculus",
    journal = "Artificial Intelligence",
    volume = "171",
    number = "5-6",
    pages = "332--360",
    month = Apr,
    year = "2007",
    doi = "10.1016/j.artint.2007.02.002",
    url = "https://lirias.kuleuven.be/handle/123456789/124880",
  }
  

• 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

  @article{125120,
    author = "Pelov, Nikolay and Denecker, Marc and Bruynooghe, Maurice",
    title = "Well-founded and stable semantics of logic programs with aggregates",
    journal = "Theory and Practice of Logic Programming",
    volume = "7",
    number = "3",
    pages = "301--353",
    month = May,
    year = "2007",
    doi = "10.1017/S1471068406002973",
    url = "https://lirias.kuleuven.be/handle/123456789/125120",
  }
  

• 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

  @article{146591,
    author = "Vennekens, Joost and Mari{\"e}n, Maarten and Wittocx, Johan and Denecker, Marc",
    title = "Predicate introduction for logics with a fixpoint semantics. {P}art {II}: {A}utoepistemic logic",
    journal = "Fundamenta Informaticae",
    volume = "79",
    number = "1-2",
    pages = "209--227",
    month = Sep,
    year = "2007",
    url = "https://lirias.kuleuven.be/handle/123456789/146591",
  }
  

• 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

  @article{266021,
    author = "Vennekens, Joost and Wittocx, Johan and Mari{\"e}n, Maarten and Denecker, Marc",
    title = "Predicate introduction for logics with a fixpoint semantics. {P}art {I}: {L}ogic {P}rogramming",
    journal = "Fundamenta Informaticae",
    volume = "79",
    number = "1-2",
    pages = "187--208",
    month = Sep,
    year = "2007",
    url = "https://lirias.kuleuven.be/handle/123456789/266021",
  }
  

• 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

  @article{123956,
    author = "Arieli, Ofer and Denecker, Marc and Van Nuffelen, Bert and Bruynooghe, Maurice",
    title = "Computational methods for database repair by signed formulae",
    journal = "Annals of Mathematics and Artificial Intelligence",
    volume = "46",
    number = "1-2",
    pages = "4--37",
    month = Feb,
    year = "2006",
    doi = "10.1007/s10472-005-9012-z",
    url = "https://lirias.kuleuven.be/handle/123456789/123956",
  }
  

• 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

  @article{125390,
    author = "Vennekens, Joost and Gilis, David and Denecker, Marc",
    title = "Splitting an operator: {A}lgebraic modularity results for logics with fixpoint semantics",
    journal = "ACM Transactions on Computational Logic",
    volume = "7",
    number = "4",
    pages = "765--802",
    month = Oct,
    year = "2006",
    doi = "10.1145/1183278.1183284",
    url = "https://lirias.kuleuven.be/handle/123456789/125390",
  }
  

• 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

  @article{124928,
    author = "Arieli, Ofer and Denecker, Marc and Van Nuffelen, Bert and Bruynooghe, Maurice",
    title = "Coherent integration of databases by abductive logic programming",
    journal = "Journal of Artificial Intelligence Research",
    volume = "21",
    pages = "245--286",
    year = "2004",
    url = "https://lirias.kuleuven.be/handle/123456789/124928",
  }
  

• 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

  @article{124562,
    author = "Denecker, Marc and Marek, VW and Truszczynski, M.",
    title = "Ultimate approximation and its application in nonmonotonic knowledge representation systems",
    journal = "Information and Computation",
    volume = "192",
    number = "1",
    pages = "84--121",
    month = Jul,
    year = "2004",
    doi = "10.1016/j.ic.2004.02.004",
    url = "https://lirias.kuleuven.be/handle/123456789/124562",
  }
  

• Arieli, Ofer; Denecker, Marc. Reducing preferential paraconsistent reasoning to classical entailment, Journal of Logic and Computation, volume 13, issue 4, pages 557-580, 2003

  @article{124184,
    author = "Arieli, Ofer and Denecker, Marc",
    title = "Reducing preferential paraconsistent reasoning to classical entailment",
    journal = "Journal of Logic and Computation",
    volume = "13",
    number = "4",
    pages = "557--580",
    month = Aug,
    year = "2003",
    url = "https://lirias.kuleuven.be/handle/123456789/124184",
  }
  

• Denecker, Marc; Marek, VW; Truszczynski, M.. Uniform semantic treatment of default and autoepistemic logics, Artificial Intelligence, volume 143, issue 1, pages 79-122, 2003

  @article{123857,
    author = "Denecker, Marc and Marek, VW and Truszczynski, M.",
    title = "Uniform semantic treatment of default and autoepistemic logics",
    journal = "Artificial Intelligence",
    volume = "143",
    number = "1",
    pages = "79--122",
    month = Jan,
    year = "2003",
    doi = "10.1016/S0004-3702(02)00293-X",
    url = "https://lirias.kuleuven.be/handle/123456789/123857",
  }
  

• Denecker, Marc; Kakas, A.. Abduction in logic programming, Lecture Notes in Computer Science, volume 2407, pages 402-436, 2002

  @article{124203,
    author = "Denecker, Marc and Kakas, A.",
    title = "Abduction in logic programming",
    journal = "Lecture Notes in Computer Science",
    volume = "2407",
    pages = "402--436",
    year = "2002",
    doi = "10.1007/3-540-45628-7",
    url = "https://lirias.kuleuven.be/handle/123456789/124203",
  }
  

• 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

  @article{133888,
    author = "Denecker, Marc and Bruynooghe, Maurice and Marek, Victor",
    title = "Logic programming revisited: logic programs as inductive definitions",
    journal = "ACM Transactions on Computational Logic",
    volume = "2",
    number = "4",
    pages = "623--654",
    month = Oct,
    year = "2001",
    doi = "10.1145/502166.502173",
    url = "https://lirias.kuleuven.be/handle/123456789/133888",
  }
  

• 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

  @article{124271,
    author = "De Schreye, Danny and Bruynooghe, Maurice and Demoen, Bart and Denecker, Marc and Janssens, Gerda and Martens, Bern",
    title = "Project report on {LP}+: a second generation {L}ogic {P}rogramming language",
    journal = "AI Communications",
    volume = "13",
    number = "1",
    pages = "13--18",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/124271",
  }
  

• 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

  @article{123906,
    author = "Denecker, Marc and Kakas, A.",
    title = "Special issue: abductive logic programming - {G}uest editors' introduction",
    journal = "Journal of Logic Programming",
    volume = "44",
    number = "1-3",
    pages = "1--4",
    month = Jul,
    year = "2000",
    doi = "10.1016/S0743-1066(99)00078-3",
    url = "https://lirias.kuleuven.be/handle/123456789/123906",
  }
  

• 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

  @article{123985,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Compositionality of normal open logic programs",
    journal = "Journal of Logic Programming",
    volume = "42",
    number = "3",
    pages = "151--183",
    month = Mar,
    year = "2000",
    doi = "10.1016/S0743-1066(99)00003-5",
    url = "https://lirias.kuleuven.be/handle/123456789/123985",
  }
  

• 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

  @article{133474,
    author = "Bruynooghe, Maurice and Vandecasteele, Henk and de Waal, D Andr{\'e} and Denecker, Marc",
    title = "Detecting unsolvable queries for definite logic programs",
    journal = "Journal of Functional and Logic Programming",
    volume = "1999",
    pages = "1--35",
    month = Nov,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133474",
  }
  

• 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

  @article{124094,
    author = "Denecker, Marc",
    title = "The well-founded semantics is the principle of inductive definition",
    journal = "Logics in Artificial Intelligence, Proceedings of JELIA'98 Schloss Daghstuhl, October 1998",
    volume = "1489",
    pages = "1--16",
    year = "1998",
    doi = "10.1007/3-540-49545-2\_{}1",
    url = "https://lirias.kuleuven.be/handle/123456789/124094",
  }
  

• 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

  @article{123786,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "{SLDNFA}: {A}n abductive procedure for abductive logic programs",
    journal = "Journal of Logic Programming",
    volume = "34",
    number = "2",
    pages = "111--167",
    month = Feb,
    year = "1998",
    doi = "http://www.cs.kuleuven.ac.be/cgi-bin-dtai/publ\_{}info.pl?id=1906",
    url = "https://lirias.kuleuven.be/handle/123456789/123786",
  }
  

• 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

  @article{133502,
    author = "Denecker, Marc and Theseider-Dupr{\'e}, D. and Van Belleghem, Kristof",
    title = "An inductive definition approach to ramifications",
    journal = "Linkoping Electronic Articles in Computer and Information Science",
    volume = "3",
    number = "7",
    pages = "1--43",
    month = Jan,
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/133502",
  }
  

• 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

  @article{124801,
    author = "VanBelleghem, K. and Denecker, Marc and De Schreye, Danny",
    title = "On the relation between situation calculus and event calculus",
    journal = "Journal of Logic Programming",
    volume = "31",
    number = "1-3",
    pages = "3--37",
    month = Apr,
    year = "1997",
    doi = "10.1016/S0743-1066(96)00123-9",
    url = "https://lirias.kuleuven.be/handle/123456789/124801",
  }
  

• 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

  @article{124402,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Representing incomplete knowledge in abductive logic programming",
    journal = "Journal of Logic and Computation",
    volume = "5",
    number = "5",
    pages = "553--577",
    month = Oct,
    year = "1995",
    doi = "10.1093/logcom/5.5.553",
    url = "https://lirias.kuleuven.be/handle/123456789/124402",
  }
  

• 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

  @article{124400,
    author = "Missiaen, Lode and Bruynooghe, Maurice and Denecker, Marc",
    title = "{CHICA}, an abductive planning system based on event calculus",
    journal = "Journal of Logic and Computation",
    volume = "5",
    number = "5",
    pages = "579--602",
    month = Oct,
    year = "1995",
    doi = "10.1093/logcom/5.5.579",
    url = "https://lirias.kuleuven.be/handle/123456789/124400",
  }
  

• 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

  @article{125200,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "On the duality of abduction and model generation in a framework for model generation with equality",
    journal = "Theoretical Computer Science",
    volume = "122",
    number = "1-2",
    pages = "225--262",
    month = Jan,
    year = "1994",
    doi = "10.1016/0304-3975(94)90208-9",
    url = "https://lirias.kuleuven.be/handle/123456789/125200",
  }
  

• 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

  @article{133188,
    author = "Denecker, Marc and De Schreye, Danny and Willems, Yves",
    title = "Terms in {L}ogic programs: a problem with their semantics and its effect on the programming methodology",
    journal = "CCAI: Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology",
    volume = "7",
    number = "3-4",
    pages = "363--383",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/133188",
  }
  

Books, internationally recognised scientific publisher; as editor

1 reference

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

  @book{133897,
    editor = "Denecker, Marc and Kakas, Antonis C.",
    title = "Special {I}ssue : {A}bductive {L}ogic {P}rogramming",
    publisher = "Elsevier, North-Holland",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133897",
  }
  

Other published books; as editor

1 reference

• Blockeel, Hendrik; Denecker, Marc (eds.), BNAIC 2002, Proceedings of the Fourteenth Belgium-Netherlands Conference on Artificial Intelligence, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2002

  @book{133838,
    editor = "Blockeel, Hendrik and Denecker, Marc",
    title = "{BNAIC} 2002, {P}roceedings of the {F}ourteenth {B}elgium-{N}etherlands {C}onference on {A}rtificial {I}ntelligence",
    publisher = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    year = "2002",
    url = "https://lirias.kuleuven.be/handle/123456789/133838",
  }
  

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

  @incollection{350619,
    author = "Denecker, Marc and Bruynooghe, Maurice and Vennekens, Joost",
    title = "Approximation fixpoint theory and the semantics of logic and answers set programs",
    booktitle = "Lecture Notes in Computer Science",
    editor = "Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David",
    publisher = "Springer",
    year = "2012",
    doi = "10.1007/978-3-642-30743-0\_{}13",
    url = "https://lirias.kuleuven.be/handle/123456789/350619",
  }
  

• 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

  @incollection{337111,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, Miroslaw",
    title = "Reiter's default logic is a logic of autoepistemic reasoning and a good one, too",
    editor = "Brewka, Gerd and Marek, Victor and Truszczynski, Miroslaw",
    publisher = "College Publications",
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/337111",
  }
  

• 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.), Springer Verlag, 2011

  @incollection{281548,
    author = "Denecker, Marc and Vennekens, Joost and Vlaeminck, Hanne and Wittocx, Johan and Bruynooghe, Maurice",
    title = "Answer {S}et {P}rogramming's contributions to classical logic",
    editor = "Balduccini, Marcello and Son, Tran",
    publisher = "Springer Verlag",
    year = "2011",
    doi = "10.1007/978-3-642-20832-4",
    url = "https://lirias.kuleuven.be/handle/123456789/281548",
  }
  

• Denecker, Marc; Van Belleghem, Kristof. Temporal reasoning with iff-abduction, Fisher, M.; Gabbay, D.; Vila, L (eds.), Elsevier, 2005

  @incollection{132275,
    author = "Denecker, Marc and Van Belleghem, Kristof",
    title = "Temporal reasoning with iff-abduction",
    editor = "Fisher, M. and Gabbay, D. and Vila, L.",
    publisher = "Elsevier",
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/132275",
  }
  

• 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

  @incollection{133520,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning",
    editor = "Minker, J.",
    publisher = "Kluwer Academic Publishers, Boston",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133520",
  }
  

• 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

  @incollection{134652,
    author = "De Schreye, Danny and Denecker, Marc",
    title = "Assessment of some issues in {CL}-theory and program development",
    editor = "Apt, Krzysztof R. and Marek, Victor and Truszczynski, Miroslaw and Warren, David S.",
    publisher = "Springer",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134652",
  }
  

• Denecker, Marc; Marek, Victor; Truszczynski, M.. Fixpoint 3-valued semantics for autoepistemic logic, Levesque, Hector; Pirri, Fiora (eds.), Springer, 1999

  @incollection{133139,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Fixpoint 3-valued semantics for autoepistemic logic",
    editor = "Levesque, Hector and Pirri, Fiora",
    publisher = "Springer",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133139",
  }
  

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

110 references

• 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, ECAI 2012 : 20th European Conference or Artificial Intelligence, S.n.

  @inproceedings{352303,
    author = "Andrews, Tara and Blockeel, Hendrik and Bogaerts, Bart and Bruynooghe, Maurice and Denecker, Marc and De Pooter, Stef and Mac{\'e}, Caroline and Ramon, Jan",
    title = "Analyzing manuscript traditions using constraint-based data mining",
    booktitle = "ECAI 2012 : 20th European Conference or Artificial Intelligence, ",
    publisher = "S.n.",
    location = "S.l.",
    month = Aug,
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/352303",
  }
  

• 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

  @inproceedings{349911,
    author = "Blockeel, Hendrik and Bogaerts, Bart and Bruynooghe, Maurice and De Cat, Broes and De Pooter, Stef and Denecker, Marc and Labarre, Anthony and Ramon, Jan and Verwer, Sicco",
    title = "Modeling {M}achine {L}earning and {D}ata {M}ining {P}roblems with {FO}(·)",
    booktitle = "Proceedings of the 28th International Conference on Logic Programming - Technical Communications (ICLP'12), ",
    editor = "Dovier, Agostino and Santos Costa, V{\'{\i}}tor",
    publisher = "Schloss Daghstuhl - Leibniz-Zentrum fuer Informatik",
    pages = "14 --25",
    month = Sep,
    year = "2012",
    doi = "10.4230/LIPIcs.ICLP.2012.14",
    url = "https://lirias.kuleuven.be/handle/123456789/349911",
  }
  

• 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

  @inproceedings{363605,
    author = "Denecker, Marc and Lierler, Yuliya and Truszczynsky, Miroslaw and Vennekens, Joost",
    title = "A {T}arskian informal semantics for answer set programming",
    booktitle = "Technical Communications of the 28th International Conference                on Logic Programming, ",
    editor = "Dovier, Agostino and Santos Costa, Vitor",
    publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    pages = "277--289",
    year = "2012",
    doi = "10.4230/LIPIcs.ICLP.2012.277",
    url = "https://lirias.kuleuven.be/handle/123456789/363605",
  }
  

• 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

  @inproceedings{357024,
    author = "Devriendt, Jo and Bogaerts, Bart and Mears, Christopher and De Cat, Broes and Denecker, Marc",
    title = "Symmetry propagation: {I}mproved dynamic symmetry breaking in {SAT}",
    booktitle = "Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'12, ",
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/357024",
  }
  

• 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

  @inproceedings{399454,
    author = "Vennekens, Joost and Denecker, Marc",
    title = "Extending {FO}({ID}) with knowledge producing definitions: preliminary results",
    booktitle = "Proceedings of the 5th International Workshop on Answer Set Programming and Other Computing Paradigms (aspocp), ",
    editor = "Fink, Michael and Lierler, Yuliya",
    publisher = "ASPOCP",
    location = "Budapest",
    pages = "161--175",
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/399454",
  }
  

• 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

  @inproceedings{342463,
    author = "Vlaeminck, Hanne and Vennekens, Joost and Bruynooghe, Maurice and Denecker, Marc",
    title = "Ordered {E}pistemic {L}ogic: {S}emantics, complexity and applications",
    booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, ",
    editor = "Brewka, Gerhard and Eiter, Thomas and McIlraith, Sheila A.",
    publisher = "AAAI Press",
    location = "Palo Alto, California",
    pages = "369--379",
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/342463",
  }
  

• 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

  @inproceedings{357669,
    author = "Vlaeminck, Hanne and Vennekens, Joost and Denecker, Marc",
    title = "A general representation and approximate inference algorithm for sensing actions",
    booktitle = "AI 2012: Advances in Artificial Intelligence - 25th Australasian   Joint Conference, ",
    editor = "Tielscher, Michael and Zhang, Dongmo",
    pages = "543 --554",
    month = Dec,
    year = "2012",
    doi = "10.1007/978-3-642-35101-3\_{}46",
    url = "https://lirias.kuleuven.be/handle/123456789/357669",
  }
  

• 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

  @inproceedings{316464,
    author = "De Cat, Broes and Machiels, Christophe and Janssens, Gerda and Denecker, Marc",
    title = "Regularity requirements in university course timetabling",
    booktitle = "Proceedings of the 11th Workshop on Preferences and Soft Constraints (SofT 2011), ",
    pages = "31--45",
    month = Sep,
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/316464",
  }
  

• 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

  @inproceedings{315320,
    author = "De Pooter, Stef and Wittocx, Johan and Denecker, Marc",
    title = "A prototype of a knowledge-based programming environment",
    booktitle = "Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), ",
    pages = "6",
    month = Aug,
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/315320",
  }
  

• Denecker, Marc; De Cat, Broes. DPLL(Agg): An efficient SMT module for aggregates, Logic and Search, Edinburgh, 15 July 2010

  @inproceedings{268451,
    author = "Denecker, Marc and De Cat, Broes",
    title = "{DPLL}({A}gg): {A}n efficient {SMT} module for aggregates",
    booktitle = "Logic and Search, Edinburgh, 15 July 2010",
    month = Jul,
    year = "2010",
    url = "https://lirias.kuleuven.be/handle/123456789/268451",
  }
  

• 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

  @inproceedings{278902,
    author = "Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "Embracing events in causal modelling: {I}nterventions and counterfactuals in {CP}-logic",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Janhunen, Tomi and Niemela, Ilkka",
    publisher = "Springer",
    location = "Germany",
    pages = "313--325",
    year = "2010",
    doi = "0.1007/978-3-642-15675-5\_{}27",
    url = "https://lirias.kuleuven.be/handle/123456789/278902",
  }
  

• 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

  @inproceedings{279721,
    author = "Vlaeminck, Hanne and Wittocx, Johan and Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "An approximative inference method for solving {$\exists$}{$\forall$}{SO} satisfiability problems",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Janhunen, Tomi and Niemel{\"a}, Ilkka",
    publisher = "Springer",
    location = "Berlin/Heidelberg",
    pages = "326--338",
    month = Sep,
    year = "2010",
    doi = "10.1007/978-3-642-15675-5\_{}28",
    url = "https://lirias.kuleuven.be/handle/123456789/279721",
  }
  

• 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

  @inproceedings{268452,
    author = "Wittocx, Johan and Denecker, Marc",
    title = "Grounding {FO}({ID}) with bounds",
    booktitle = "Proceedings of the Third International Workshop  on Logic and Search (LaSh 2010), ",
    editor = "Mitchell, David and Ternovska, Eugenia",
    pages = "17",
    month = Jul,
    year = "2010",
    url = "https://lirias.kuleuven.be/handle/123456789/268452",
  }
  

• 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

  @inproceedings{247184,
    author = "Denecker, Marc and Vennekens, Joost and Bond, Stephen and Gebser, Martin and Truszczyński, Miros{\l}aw",
    title = "The second answer set programming competition",
    booktitle = "Logic Programming and Nonmonotonic Reasoning, ",
    editor = "Erdem, Esra and Lin, Fangzhen and Schaub, Torsten",
    publisher = "Springer",
    pages = "637--654",
    month = Sep,
    year = "2009",
    doi = "10.1007/978-3-642-04238-6\_{}75",
    url = "https://lirias.kuleuven.be/handle/123456789/247184",
  }
  

• 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

  @inproceedings{237391,
    author = "Hou, Ping and Denecker, Marc",
    title = "A logic of fixpoint definitions",
    booktitle = "Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2009, ",
    editor = "Faber, Wolfgang and Lee, Joohyung",
    pages = "1--15",
    month = Jul,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/237391",
  }
  

• 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

  @inproceedings{237393,
    author = "Hou, Ping and Denecker, Marc",
    title = "A deductive system for {FO}({ID}) based on least fixpoint logic",
    booktitle = "Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Lecture Notes on Computer Science, ",
    editor = "Erdem, Esra and Lin, Fangzhen and Schaub, Torsten",
    location = "Springer",
    pages = "129--141",
    year = "2009",
    doi = "10.1007/978-3-642-04238-6\_{}13}",
    url = "https://lirias.kuleuven.be/handle/123456789/237393",
  }
  

• 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

  @inproceedings{247320,
    author = "Vennekens, Joost and Denecker, Marc",
    title = "Using lightweight inference to solve lightweight problems",
    booktitle = "Logic Programming and Nonmonotonic Reasoning, ",
    editor = "Erdem, Esra and Lin, Fangzhen and Schaub, Torsten",
    publisher = "Springer",
    pages = "619-- 621",
    month = Sep,
    year = "2009",
    doi = "10.1007/978-3-642-04238-6\_{}69",
    url = "https://lirias.kuleuven.be/handle/123456789/247320",
  }
  

• 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

  @inproceedings{229815,
    author = "Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "{FO}({ID}) as an extension of {DL} with rules",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "384--398",
    month = May,
    year = "2009",
    doi = "10.1007/978-3-642-02121-3\_{}30",
    url = "https://lirias.kuleuven.be/handle/123456789/229815",
  }
  

• 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

  @inproceedings{262013,
    author = "Vlaeminck, Hanne and Vennekens, Joost and Denecker, Marc",
    title = "A logical framework for configuration software",
    booktitle = "Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP '09, ",
    publisher = "ACM",
    month = Sep,
    year = "2009",
    doi = "10.1145/1599410.1599428",
    url = "https://lirias.kuleuven.be/handle/123456789/262013",
  }
  

• 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

  @inproceedings{242185,
    author = "Wittocx, Johan and De Cat, Broes and Denecker, Marc",
    title = "Towards computing revised models for {FO} theories",
    booktitle = "Proceedings of the International Conference on Applications of Declarative Programming and Knowledge Management 2009, ",
    editor = "Abreu, Salvador and Seipel, Dietmar",
    pages = "199--211",
    month = Nov,
    year = "2009",
    doi = "10.1007/978-3-642-20589-7\_{}6",
    url = "https://lirias.kuleuven.be/handle/123456789/242185",
  }
  

• 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

  @inproceedings{229816,
    author = "Wittocx, Johan and Vlaeminck, Hanne and Denecker, Marc",
    title = "Debugging for model expansion",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "296--311",
    month = Jul,
    year = "2009",
    doi = "10.1007/978-3-642-02846-5\_{}26",
    url = "https://lirias.kuleuven.be/handle/123456789/229816",
  }
  

• 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

  @inproceedings{185637,
    author = "Bond, Stephen and Denecker, Marc",
    title = "An automated tableau theorem prover for {FO}({ID})",
    booktitle = "SCSS 2008 Austrian-Japanese Workshop on Symbolic Computation in Software Science, RISC-Linz Report Series, ",
    editor = "Buchberger, Bruno and Ida, Tetsuo and Kutsia, Temur",
    pages = "16--30",
    month = Jul,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/185637",
  }
  

• 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

  @inproceedings{244574,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Bruynooghe, Maurice",
    title = "Accuracy and efficiency of fixpoint methods for approximate query answering in locally complete databases",
    booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings  of the Eleventh International Conference, ",
    editor = "Brewka, Gerhard and Lang, J{\'e}rôme",
    publisher = "AAAI Press",
    pages = "81--91",
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/244574",
  }
  

• 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

  @inproceedings{247186,
    author = "Denecker, Marc",
    title = "Complexity of {F}irst {O}rder {ID}-{L}ogic",
    booktitle = "The Tenth International Symposium on Artificial Intelligence and Mathematics, ",
    editor = "Hoffman, Frederick",
    pages = "1--15",
    month = Jan,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/247186",
  }
  

• 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

  @inproceedings{235155,
    author = "Denecker, Marc and Vennekens, Joost",
    title = "Building a knowledge base system for an integration of logic programming and classical logic",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Garcia de la Banda, Maria and Pontelli, Enrico",
    publisher = "Springer",
    pages = "71--76",
    year = "2008",
    doi = "10.1007/978-3-540-89982-2\_{}12",
    url = "https://lirias.kuleuven.be/handle/123456789/235155",
  }
  

• 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

  @inproceedings{167317,
    author = "Mari{\"e}n, Maarten and Wittocx, Johan and Denecker, Marc and Bruynooghe, Maurice",
    title = "{SAT}({ID}): {S}atisfiability of propositional logic extended with inductive definitions",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "211--224",
    month = May,
    year = "2008",
    doi = "10.1007/978-3-540-79719-7\_{}20",
    url = "https://lirias.kuleuven.be/handle/123456789/167317",
  }
  

• 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

  @inproceedings{218526,
    author = "Vennekens, Joost and Denecker, Marc",
    title = "{FO}({ID}) as an extension of {DL} with rules",
    booktitle = "ICLP 2008 Workshop on Answer Set Programming and Other Computational Paradigms (ASPOCP 2008), ",
    editor = "Faber, Wolfgang and Lee, Joohyung",
    pages = "104--118",
    month = Dec,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/218526",
  }
  

• 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

  @inproceedings{185521,
    author = "Wittocx, Johan and Mari{\"e}n, Maarten and Denecker, Marc",
    title = "Approximate reasoning in first-order logic theories",
    booktitle = "Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, ",
    editor = "Brewka, Gerhard and Lang, Jerôme",
    publisher = "AAAI Press",
    location = "Menlo Park, California",
    pages = "103--112",
    month = Sep,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/185521",
  }
  

• 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

  @inproceedings{185519,
    author = "Wittocx, Johan and Mari{\"e}n, Maarten and Denecker, Marc",
    title = "Grounding with bounds",
    booktitle = "Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, ",
    editor = "Fox, Dieter and Gomes, Carla",
    publisher = "AAAI Press",
    location = "Menlo Park, California",
    pages = "572--577",
    month = Jul,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/185519",
  }
  

• 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

  @inproceedings{197022,
    author = "Wittocx, Johan and Mari{\"e}n, Maarten and Denecker, Marc",
    title = "Gid{L}: {A} grounder for {FO}+",
    booktitle = "Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning, ",
    editor = "Thielscher, Michael and Pagnucco, Maurice",
    pages = "189--198",
    month = Sep,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/197022",
  }
  

• 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

  @inproceedings{229814,
    author = "Wittocx, Johan and Mari{\"e}n, Maarten and Denecker, Marc",
    title = "The {IDP} system: {A} model expansion system for an extension of classical logic",
    booktitle = "Proceedings of the 2nd Workshop on Logic and Search, ",
    editor = "Denecker, Marc",
    publisher = "ACCO",
    location = "Leuven",
    pages = "153--165",
    month = Nov,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/229814",
  }
  

• 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

  @inproceedings{146667,
    author = "Bond, Stephen and Denecker, Marc",
    title = "I-logic: {A}n intensional logic of informations",
    booktitle = "Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence, ",
    editor = "Dastani, M. and de Jong, E.",
    pages = "49--56",
    year = "2007",
    url = "https://lirias.kuleuven.be/handle/123456789/146667",
  }
  

• 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

  @inproceedings{146254,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Bruynooghe, Maurice",
    title = "Approximate query answering in locally closed databases",
    booktitle = "Proceedings of Twenty-Second AAAI Conference on Artificial Intelligence, ",
    editor = "Holte, R.C. and Howe, A.",
    pages = "397--402",
    year = "2007",
    url = "https://lirias.kuleuven.be/handle/123456789/146254",
  }
  

• 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

  @inproceedings{146753,
    author = "Denecker, Marc and Vennekens, Joost",
    title = "Well-founded semantics and the algebraic theory of non-monotone inductive definitions",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Baral, C. and Brewka, G. and Schlipf, J.",
    publisher = "Springer",
    pages = "84--96",
    year = "2007",
    doi = "10.1007/978-3-540-72200-7\_{}9",
    url = "https://lirias.kuleuven.be/handle/123456789/146753",
  }
  

• 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

  @inproceedings{146754,
    author = "Hou, Ping and Wittocx, Johan and Denecker, Marc",
    title = "A deductive system for {PC} ({ID})",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Baral, C. and Brewka, G. and Schlipf, J.",
    publisher = "Springer",
    pages = "162--174",
    year = "2007",
    doi = "10.1007/978-3-540-72200-7\_{}15",
    url = "https://lirias.kuleuven.be/handle/123456789/146754",
  }
  

• 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

  @inproceedings{146665,
    author = "Mari{\"e}n, Maarten and Wittocx, Johan and Denecker, Marc",
    title = "Integrating inductive definitions in {SAT}",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Derschowitz, N. and Voronkov, A.",
    publisher = "Springer",
    pages = "378--392",
    month = Oct,
    year = "2007",
    doi = "10.1007/978-3-540-75560-9\_{}28",
    url = "https://lirias.kuleuven.be/handle/123456789/146665",
  }
  

• 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

  @inproceedings{146702,
    author = "Mari{\"e}n, Maarten and Wittocx, Johan and Denecker, Marc",
    title = "Mid{L}: {A} {SAT}({ID}) solver",
    booktitle = "4th Workshop on Answer Set Programming: Advances in Theory and Implementation, ",
    editor = "Constantini, S. and Watson, R.",
    pages = "303--308",
    year = "2007",
    url = "https://lirias.kuleuven.be/handle/123456789/146702",
  }
  

• 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

  @inproceedings{146668,
    author = "Pastor, David and Lemmens, Karen and Cort{\'e}s-Calabuig, Alvaro and Marchal, Kathleen and Denecker, Marc and De Moor, Bart",
    title = "Gene{R}eg: {I}ntegration of experimental data on the {DNA} transcription process",
    booktitle = "Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence, ",
    editor = "Dastani, M. and de Jong, E.",
    pages = "260--267",
    year = "2007",
    url = "https://lirias.kuleuven.be/handle/123456789/146668",
  }
  

• 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

  @inproceedings{124048,
    author = "Arieli, Ofer and Denecker, Marc and Bruynooghe, Maurice",
    title = "Distance-based repairs of databases",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "43--55",
    year = "2006",
    doi = "10.1007/11853886\_{}6",
    url = "https://lirias.kuleuven.be/handle/123456789/124048",
  }
  

• 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

  @inproceedings{166852,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Bruynooghe, Maurice",
    title = "Representation of partial knowledge and query answering in locally complete databases",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Hermann, M. and Voronkov, A.",
    publisher = "Springer",
    pages = "407--421",
    year = "2006",
    doi = "10.1007/11916277\_{}28",
    url = "https://lirias.kuleuven.be/handle/123456789/166852",
  }
  

• 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

  @inproceedings{132401,
    author = "Mari{\"e}n, Maarten and Wittocx, Johan and Denecker, Marc",
    title = "The {IDP} framework for declarative problem solving",
    booktitle = "Search and Logic: Answer Set Programming and SAT, ",
    editor = "Giunchiglia, Enrico and Marek, Victor W. and Mitchell, David G. and Ternovska, Eugenia and Giunchiglia, E. and Marek, V. and Mitchell, D. and Ternovska, E.",
    pages = "19--34",
    year = "2006",
    url = "https://lirias.kuleuven.be/handle/123456789/132401",
  }
  

• 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

  @inproceedings{131955,
    author = "Vennekens, Joost and Denecker, Marc",
    title = "Analysing the structure of definitions in {ID}-logic",
    booktitle = "Proceedings of the 11th International Workshop on Non-monotonic Reasoning, ",
    editor = "Dix, J. and Hunter, A.",
    pages = "94--101",
    year = "2006",
    url = "https://lirias.kuleuven.be/handle/123456789/131955",
  }
  

• 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

  @inproceedings{167095,
    author = "Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "Representing causal information about a probabilistic process",
    booktitle = "BNAIC'06, Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence, ",
    pages = "433--434",
    year = "2006",
    url = "https://lirias.kuleuven.be/handle/123456789/167095",
  }
  

• Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. Representing causal information about a probabilistic process, European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, United Kingdom, 13-15 September 2006, Lecture Notes in Computer Science, volume 4160, pages 452-464, Springer

  @inproceedings{124021,
    author = "Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "Representing causal information about a probabilistic process",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "452--464",
    year = "2006",
    doi = "10.1007/11853886\_{}37",
    url = "https://lirias.kuleuven.be/handle/123456789/124021",
  }
  

• 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

  @inproceedings{131948,
    author = "Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "Extending the role of causality in probabilistic modeling",
    booktitle = "Proceedings of the 11th International Workshop on Non-monotonic Reasoning, ",
    editor = "Dix J.,  and Hunter, A.",
    pages = "183--190",
    year = "2006",
    url = "https://lirias.kuleuven.be/handle/123456789/131948",
  }
  

• Wittocx, Johan; Vennekens, Joost; Mariën, Maarten; Denecker, Marc; Bruynooghe, Maurice. Predicate introduction under stable and well-founded semantics, Etalle, S.; Truszczynski, M (eds.), International Conference on Logic Programming, ICLP, Seattle, Washington, USA, August 17-10, 2006, Lecture Notes in Computer Science, volume 4079, pages 242-256, Springer

  @inproceedings{166812,
    author = "Wittocx, Johan and Vennekens, Joost and Mari{\"e}n, Maarten and Denecker, Marc and Bruynooghe, Maurice",
    title = "Predicate introduction under stable and well-founded semantics",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Etalle, S. and Truszczynski, M.",
    publisher = "Springer",
    pages = "242--256",
    year = "2006",
    doi = "10.1007/11799573\_{}19",
    url = "https://lirias.kuleuven.be/handle/123456789/166812",
  }
  

• 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

  @inproceedings{125236,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Van Nuffelen, Bert and Bruynooghe, Maurice",
    title = "On the local closed-world assumption of data-sources",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "145--157",
    year = "2005",
    doi = "10.1007/11546207\_{}12",
    url = "https://lirias.kuleuven.be/handle/123456789/125236",
  }
  

• 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

  @inproceedings{124557,
    author = "Mari{\"e}n, Maarten and Mitra, Rudradeb and Denecker, Marc and Bruynooghe, Maurice",
    title = "Satisfiability checking for {PC}({ID})",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "565--579",
    year = "2005",
    doi = "10.1007/11591191\_{}39",
    url = "https://lirias.kuleuven.be/handle/123456789/124557",
  }
  

• Vennekens, Joost; Denecker, Marc. An algebraic account of modularity in ID-logic, Baral, C.; Greco, G.; Leone, N.; Terracina, G (eds.), 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy, 5-8 September, 2005, Lecture Notes in Computer Science, volume 3662, pages 291-303, Springer

  @inproceedings{125227,
    author = "Vennekens, Joost and Denecker, Marc",
    title = "An algebraic account of modularity in {ID}-logic",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Baral, C. and Greco, G. and Leone, N. and Terracina, G.",
    publisher = "Springer",
    pages = "291--303",
    year = "2005",
    doi = "10.1007/11546207\_{}23",
    url = "https://lirias.kuleuven.be/handle/123456789/125227",
  }
  

• 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

  @inproceedings{166781,
    author = "Vennekens, Joost and Denecker, Marc",
    title = "An algebraic account of modularity in {ID}-logic",
    booktitle = "Answer Set Programming: Advances in Theory and Implementation, ",
    editor = "De Vos, M. and Provetti, A.",
    pages = "57--69",
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/166781",
  }
  

• 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

  @inproceedings{124629,
    author = "Arieli, Ofer and Denecker, Marc and Van Nuffelen, Bert and Bruynooghe, Maurice",
    title = "Database repair by signed formulae",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "14--30",
    year = "2004",
    doi = "10.1007/b95342",
    url = "https://lirias.kuleuven.be/handle/123456789/124629",
  }
  

• 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

  @inproceedings{131963,
    author = "Denecker, Marc",
    title = "What's in a model? {E}pistemological analysis of logic programming",
    booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), ",
    editor = "Dubois, D. and Welty, C.",
    pages = "106--113",
    year = "2004",
    url = "https://lirias.kuleuven.be/handle/123456789/131963",
  }
  

• 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

  @inproceedings{124587,
    author = "Denecker, Marc and Ternovska, E.",
    title = "A logic of non-monotone inductive definitions and its modularity properties",
    booktitle = "Logic Programming and Nonmonotonic Reasoning: 7th International Conference, ",
    editor = "Lifschitz, V. and Niemel{\"a}, I.",
    publisher = "Springer-verlag berlin",
    pages = "47--60",
    year = "2004",
    doi = "10.1007/b94792",
    url = "https://lirias.kuleuven.be/handle/123456789/124587",
  }
  

• 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

  @inproceedings{166794,
    author = "Denecker, Marc and Ternovska, Eugenia",
    title = "Inductive situation calculus",
    booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), ",
    editor = "Dubois, D. and Welty, C.",
    pages = "545--553",
    year = "2004",
    url = "https://lirias.kuleuven.be/handle/123456789/166794",
  }
  

• 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

  @inproceedings{125339,
    author = "Mari{\"e}n, Maarten and Gilis, David and Denecker, Marc",
    title = "On the relation between {ID}-{L}ogic and answer set programming",
    booktitle = "Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, ",
    editor = "Alferes, J.J. and Leite, J.A.",
    publisher = "Springer",
    pages = "108--120",
    month = Sep,
    year = "2004",
    doi = "10.1007/b100483",
    url = "https://lirias.kuleuven.be/handle/123456789/125339",
  }
  

• 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

  @inproceedings{124577,
    author = "Pelov, Nikolay and Denecker, Marc and Bruynooghe, Maurice",
    title = "Partial stable models for logic programs with aggregates",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "207--219",
    year = "2004",
    doi = "10.1007/b94792",
    url = "https://lirias.kuleuven.be/handle/123456789/124577",
  }
  

• 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

  @inproceedings{123949,
    author = "Van Nuffelen, Bert and Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Bruynooghe, Maurice",
    title = "Data integration using {ID}-{L}ogic",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "67--81",
    year = "2004",
    doi = "10.1007/b98058",
    url = "https://lirias.kuleuven.be/handle/123456789/123949",
  }
  

• Vennekens, Joost; Gilis, David; Denecker, Marc. Splitting an operator - An algebraic modularity result and its application to logic programming, International conference on logic programming (ICLP), Saint-Malo, France, 6-10 September 2004, Lecture Notes in Computer Science, volume 3132, pages 195-209, Springer

  @inproceedings{124893,
    author = "Vennekens, Joost and Gilis, David and Denecker, Marc",
    title = "Splitting an operator - {A}n algebraic modularity result and its application to logic programming",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "195--209",
    year = "2004",
    doi = "10.1007/b99475",
    url = "https://lirias.kuleuven.be/handle/123456789/124893",
  }
  

• 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

  @inproceedings{131899,
    author = "Vennekens, Joost and Gilis, David and Denecker, Marc",
    title = "Splitting an operator: {A}n algebraic modularity result and its application to auto-epistemic logic",
    booktitle = "Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, ",
    editor = "Delgrande, J.P. and Schaub, T.",
    pages = "400--408",
    year = "2004",
    url = "https://lirias.kuleuven.be/handle/123456789/131899",
  }
  

• 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

  @inproceedings{131783,
    author = "Denecker, Marc",
    title = "What's in a model? {E}pistemological analysis of logic programming",
    booktitle = "Answer Set Programming: Advances in Theory and Implementation, ",
    editor = "De Vos, M. and Provetti, A.",
    pages = "113--123",
    year = "2003",
    url = "https://lirias.kuleuven.be/handle/123456789/131783",
  }
  

• 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

  @inproceedings{131784,
    author = "Pelov, Nikolay and Denecker, Marc and Bruynooghe, Maurice",
    title = "Translation of aggregate programs to normal logic programs",
    booktitle = "Answer Set Programming: Advances in Theory and Implementation, ",
    editor = "De Vos, M. and Provetti, A.",
    pages = "29--42",
    year = "2003",
    url = "https://lirias.kuleuven.be/handle/123456789/131784",
  }
  

• 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

  @inproceedings{131129,
    author = "Arieli, Ofer and Denecker, Marc",
    title = "Modeling paraconsistent reasoning by classical logic",
    booktitle = "Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002, Proceedings, ",
    editor = "Eiter, T. and Schewe, K.D.",
    pages = "1--14",
    year = "2002",
    url = "https://lirias.kuleuven.be/handle/123456789/131129",
  }
  

• 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

  @inproceedings{131790,
    author = "Arieli, Ofer and Denecker, Marc and Van Nuffelen, Bert and Bruynooghe, Maurice",
    title = "Repairing inconsistent databases: a model-theoretic approach and abductive reasoning",
    booktitle = "Proceedings ICLP'02 Workshop on Paraconsistent Computational Logic, ",
    editor = "Decker, H. and Waragai, T.",
    pages = "51--65",
    year = "2002",
    url = "https://lirias.kuleuven.be/handle/123456789/131790",
  }
  

• 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

  @inproceedings{125242,
    author = "Bekaert, Pieter and Van Nuffelen, Bert and Bruynooghe, Maurice and Gilis, David and Denecker, Marc",
    title = "On the transformation of object-oriented conceptual models to logical theories",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "152--166",
    year = "2002",
    doi = "10.1007/3-540-45816-6\_{}21",
    url = "https://lirias.kuleuven.be/handle/123456789/125242",
  }
  

• 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

  @inproceedings{132236,
    author = "Denecker, Marc and Truszczynski, M. and Marek, Victor",
    title = "Ultimate approximations in nonmonotonic knowledge representation systems",
    booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Eigth International Conference, ",
    editor = "Fensel, D. and Giunchiglia, F. and McGuinness, D. and Williams, M.",
    pages = "177--188",
    year = "2002",
    url = "https://lirias.kuleuven.be/handle/123456789/132236",
  }
  

• 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

  @inproceedings{131392,
    author = "Gilis, David and Denecker, Marc",
    title = "Compositionality results for stratified nonmonotone operators",
    booktitle = "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning, ",
    editor = "Benferhat, Salem and Giunchiglia, Enrico",
    pages = "51--56",
    year = "2002",
    url = "https://lirias.kuleuven.be/handle/123456789/131392",
  }
  

• 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

  @inproceedings{133984,
    author = "Arieli, Ofer and Van Nuffelen, Bert and Denecker, Marc and Bruynooghe, Maurice",
    title = "Coherent composition of distributed knowledge-bases through abduction",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Nieuwenhuis, R. and Voronkov, A.",
    publisher = "Springer",
    pages = "620--635",
    year = "2001",
    doi = "10.1007/3-540-45653-8\_{}43",
    url = "https://lirias.kuleuven.be/handle/123456789/133984",
  }
  

• 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

  @inproceedings{133031,
    author = "Denecker, Marc",
    title = "Logic {P}rograms: {D}efault logic theories or inductive definitions?",
    booktitle = "Proceedings of BNAIC 2001, ",
    editor = "Kr{\"o}se, B. and de Rijke, M. and Schreiber, G. and van Someren, M.",
    pages = "95--102",
    year = "2001",
    url = "https://lirias.kuleuven.be/handle/123456789/133031",
  }
  

• 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

  @inproceedings{131660,
    author = "Denecker, Marc and Pelov, Nikolay and Bruynooghe, Maurice",
    title = "Ultimate {W}ell-founded and stable semantics for logic programs with aggregates",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Codognet, P.",
    publisher = "Springer",
    pages = "212--226",
    year = "2001",
    doi = "10.1007/3-540-45635-X\_{}22",
    url = "https://lirias.kuleuven.be/handle/123456789/131660",
  }
  

• 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

  @inproceedings{133592,
    author = "Kakas, Antonis C. and Van Nuffelen, Bert and Denecker, Marc",
    title = "A-system : {P}roblem solving through abduction",
    booktitle = "Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, ",
    editor = "Nebel, B.",
    pages = "591--596",
    year = "2001",
    url = "https://lirias.kuleuven.be/handle/123456789/133592",
  }
  

• 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.

  @inproceedings{108030,
    author = "Verdoolaege, Sven and Denecker, Marc and Van Eynde, Frank",
    title = "Abductive reasoning with temporal information",
    booktitle = "Proceedings of the Fourth International Workshop on Computational Semantics IWCS-4, January 10-12, ",
    publisher = "S.l. : s.n.",
    location = "S.l.",
    pages = "351--366",
    year = "2001",
    url = "https://lirias.kuleuven.be/handle/123456789/108030",
  }
  

• 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

  @inproceedings{124186,
    author = "Denecker, Marc",
    title = "Extending classical logic with inductive definitions",
    booktitle = "Computational Logic - CL 2000, First International Conference, London, UK, July 2000, Proceedings, ",
    editor = "Lloyd, John and Dahl, Veronica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luis Moniz and Sagiv, Yehoshua and Stuckey, Peter J.",
    publisher = "Springer-verlag berlin",
    pages = "703--717",
    year = "2000",
    doi = "10.1007/3-540-44957-4",
    url = "https://lirias.kuleuven.be/handle/123456789/124186",
  }
  

• 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

  @inproceedings{166774,
    author = "Denecker, Marc",
    title = "Extending {C}lassical {L}ogic with {I}nductive {D}efinitions",
    booktitle = "Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, ",
    editor = "Baral, Chitta and Truszczynski, Miroslaw",
    pages = "1--10",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/166774",
  }
  

• 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

  @inproceedings{131531,
    author = "Denecker, Marc",
    title = "A note on the declarative reading(s) of {L}ogic {P}rogramming",
    booktitle = "Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, ",
    editor = "Baral, Chitta and Truszczynski, Miroslaw",
    pages = "1--5",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131531",
  }
  

• 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

  @inproceedings{131667,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Uniform semantic treatment of default and autoepistemic logics",
    booktitle = "Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, ",
    editor = "Cohn, A.G. and Giunchiglia, F. and Selman, B.",
    pages = "74--84",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131667",
  }
  

• 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

  @inproceedings{124016,
    author = "Pelov, Nikolay and De Mot, Emmanuel and Denecker, Marc",
    title = "Logic programming approaches for representing and solving constraint satisfaction problems {A} comparison",
    booktitle = "Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 2000, Proceedings, ",
    editor = "Parigot, M. and Voronkov, A.",
    publisher = "Springer-verlag berlin",
    pages = "225--239",
    year = "2000",
    doi = "10.1007/3-540-44404-1\_{}15",
    url = "https://lirias.kuleuven.be/handle/123456789/124016",
  }
  

• 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

  @inproceedings{131534,
    author = "Van Nuffelen, Bert and Denecker, Marc",
    title = "Problem solving in {ID}-logic with aggregates",
    booktitle = "Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, ",
    editor = "Baral, Chitta and Truszczynski, Miroslaw",
    pages = "1--10",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131534",
  }
  

• 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

  @inproceedings{111749,
    author = "Verdoolaege, Sven and Denecker, Marc and Schelkens, Vanessa and De Schreye, Danny and Van Eynde, Frank",
    title = "Semantic interpretation of temporal information by abductive inference",
    booktitle = "Computational Linguistics in the Netherlands 1999. Selected Papers from the Tenth CLIN Meeting / Ed.: P. Monachesi. - P. 201-211, ",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/111749",
  }
  

• 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

  @inproceedings{131362,
    author = "Bruynooghe, Maurice and Pelov, Nikolay and Denecker, Marc",
    title = "Towards a more declarative language for solving finite domain problems",
    booktitle = "Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, ",
    editor = "Apt, Krzysztof R. and Kakas, Antonios and Monfroy, Eric and Rossi, Francesca",
    pages = "1--14",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131362",
  }
  

• 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

  @inproceedings{132216,
    author = "De Mot, Emmanuel and Denecker, Marc and De Schreye, Danny and Janssens, Gerda",
    title = "Prescriptive type inference as an application of abduction",
    booktitle = "Proceedings of the 1999 Benelux Workshop on Logic Programming, ",
    editor = "Etalle, Sandro",
    pages = "1--13",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132216",
  }
  

• 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

  @inproceedings{133521,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Approximating operators, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning",
    booktitle = "NFS-workshop on Logic-based Artificial Intelligence, ",
    editor = "Minker, J.",
    pages = "1--26",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133521",
  }
  

• 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

  @inproceedings{131361,
    author = "Denecker, Marc and Van Nuffelen, Bert",
    title = "Experiments for integration {CLP} and abduction",
    booktitle = "Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, ",
    editor = "Apt, Krysztof R. and Kakas, Antonios C. and Monfroy, Eric and Rossi, Francesca",
    pages = "1--15",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131361",
  }
  

• 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

  @inproceedings{166975,
    author = "Bruynooghe, Maurice and Vandecasteele, Henk and de Waal, D Andr{\'e} and Denecker, Marc",
    title = "Detecting unsolvable queries for definite logic programs",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Palamidessi, C. and Glaser, H. and Meinke, K.",
    publisher = "Springer",
    pages = "118--133",
    year = "1998",
    doi = "10.1007/BFb0056603",
    url = "https://lirias.kuleuven.be/handle/123456789/166975",
  }
  

• 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

  @inproceedings{132854,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Fixpoint 3-valued semantics for autoepistemic logic",
    booktitle = "Proceedings of the Fifteenth National Conference on Artificial Intelligence, ",
    pages = "840--845",
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/132854",
  }
  

• 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

  @inproceedings{131767,
    author = "Van Belleghem, Kristof and Denecker, Marc and Theseider-Dupr{\'e}, D.",
    title = "A constructive approach to the ramification problem",
    booktitle = "Reasoning about Actions ; Foundations and Applications, ",
    editor = "de Giacomo, Guiseppe and Nardi, Daniele",
    pages = "1--17",
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/131767",
  }
  

• 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

  @inproceedings{131183,
    author = "de Waal, D Andr{\'e} and Denecker, Marc and Bruynooghe, Maurice and Thielscher, Michael",
    title = "The generation of pre-interpretations for detecting unsolvable planning problems",
    booktitle = "Workshop on Model-Based Automated Reasoning (15th International Joint Conference on Artificial Intelligence), ",
    editor = "Furbach, U.",
    pages = "103--112",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/131183",
  }
  

• 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

  @inproceedings{183519,
    author = "de Waal, D Andre and Denecker, Marc and Bruynooghe, Maurice and Thielscher, Michael",
    title = "The {G}eneration of {P}re-interpretations for {D}etecting {U}nsolvable {P}lanning {P}roblems",
    booktitle = "The 1997 National Research and Development Conference (SIASIT'97), ",
    editor = "Venter, L M. and Lombard, R R.",
    pages = "77--86",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/183519",
  }
  

• 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

  @inproceedings{133941,
    author = "Denecker, Marc and Vandecasteele, Henk and De Schreye, Danny and Seghers, Gino and Baeyens, Tom",
    title = "Scheduling by ''abductive execution'' of a classical logic specification",
    booktitle = "1997 ERCIM/Compulog Workshop on Constraints, ",
    editor = "Codognet, Philippe",
    pages = "1--5",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133941",
  }
  

• 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

  @inproceedings{133066,
    author = "Van Belleghem, Kristof and Denecker, Marc and De Schreye, Danny",
    title = "A strong correspondence between description logics and open logic programming",
    booktitle = "Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, ",
    editor = "Naish, L.",
    pages = "346--360",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133066",
  }
  

• 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

  @inproceedings{166790,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Composite quadrature formulae for the approximation of wavelet coefficients of piecewise smooth and singular functions",
    booktitle = "Proceedings of the International Workshop on Logic-Based Composition of Software, ",
    editor = "Brogi, A. and Hill, P.",
    pages = "1--19",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/166790",
  }
  

• 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

  @inproceedings{166830,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Compositionality of normal open logic programs",
    booktitle = "Logic Programming, Proceedings of the 1997 International Symposium, ",
    editor = "Maluszýnski, J.",
    pages = "371--385",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/166830",
  }
  

• 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

  @inproceedings{131227,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Compositionality of normal open logic programs",
    booktitle = "Proceedings of the Ninth Dutch Conference on Artificial Intelligence, ",
    editor = "Van Marcke, K. and Daelemans, W.",
    pages = "203--214",
    month = Nov,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/131227",
  }
  

• 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

  @inproceedings{167003,
    author = "Bruynooghe, Maurice and Demoen, Bart and Boulanger, Dmitri and Denecker, Marc and Mulkers, Anne",
    title = "A freeness and sharing analysis of logic programs based on a pre-interpretation",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Cousot, R. and Schmidt, D.A.",
    publisher = "Springer",
    pages = "128--142",
    year = "1996",
    doi = "10.1007/3-540-61739-6\_{}38",
    url = "https://lirias.kuleuven.be/handle/123456789/167003",
  }
  

• Denecker, Marc; Martens, Bernhard; 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

  @inproceedings{131910,
    author = "Denecker, Marc and Martens, Bernhard and De Raedt, Luc",
    title = "On the difference between abduction and induction: a model theoretic perspective",
    booktitle = "ECAI96 Workshop on Abductive and Inductive Reasoning, ",
    editor = "Denecker, Marc and Flach, P. and Kakas, A.",
    pages = "1--7",
    month = Aug,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131910",
  }
  

• 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

  @inproceedings{133382,
    author = "Denecker, Marc and Van Belleghem, Kristof and Duchatelet, G. and Piessens, Frank and De Schreye, Danny",
    title = "A realistic experiment in knowledge representation in open event calculus: protocol specification",
    booktitle = "Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, ",
    editor = "Michael Maher",
    pages = "170--184",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/133382",
  }
  

• 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

  @inproceedings{131511,
    author = "Ad{\'e}, Hilde and Denecker, Marc",
    title = "Abductive inductive logic programming",
    booktitle = "Proceedings of the International Joint Conference on Artificial Intelligence, ",
    editor = "Mellish, C.S.",
    pages = "1201--1209",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/131511",
  }
  

• 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

  @inproceedings{125017,
    author = "Denecker, Marc",
    title = "A terminological interpretation of (abductive) logic programming",
    booktitle = "Logic Programming and Nonmonotonic Reasoning, Proceedings LPNMR'95, Lecture Notes in Computer Science 928, ",
    editor = "Marek, V.W. and Nerode, A. and Truszczynski, M.",
    publisher = "Springer-verlag berlin",
    pages = "15--29",
    year = "1995",
    doi = "10.1007/3-540-59487-6\_{}2",
    url = "https://lirias.kuleuven.be/handle/123456789/125017",
  }
  

• Denecker, Marc. Semantic abstract interpretation, Workshop on Abstract Interpretation of Logic Languages, Eilat, Israel, Workshop on Abstract Interpretation of Logic Languages, 1995

  @inproceedings{132977,
    author = "Denecker, Marc",
    title = "Semantic abstract interpretation",
    booktitle = "Workshop on Abstract Interpretation of Logic Languages, ",
    month = Jun,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132977",
  }
  

• 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

  @inproceedings{132836,
    author = "Denecker, Marc and Van Belleghem, Kristof and Duchatelet, G. and Piessens, Frank and De Schreye, Danny",
    title = "Using event calculus for protocol specification. {A}n experiment",
    booktitle = "ICLP95 Workshop on Abduction in Deductive Databases and Knowledge-Based Systems, ",
    month = Jun,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132836",
  }
  

• 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

  @inproceedings{133129,
    author = "Van Belleghem, Kristof and Denecker, Marc and De Schreye, Danny",
    title = "Combining situation calculus and event calculus",
    booktitle = "Logic Programming, Proceedings of the 1995 International Conference on Logic Programming, ",
    editor = "Sterling, Leon",
    pages = "83--97",
    month = Jun,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/133129",
  }
  

• 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

  @inproceedings{133282,
    author = "Boulanger, Dmitri and Bruynooghe, Maurice and Denecker, Marc",
    title = "Abstracting s-semantics using a model-theoretic approach",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Hermenegildo, M. and Penjam, J.",
    publisher = "Springer",
    pages = "432--446",
    year = "1994",
    doi = "10.1007/3-540-58402-1\_{}30",
    url = "https://lirias.kuleuven.be/handle/123456789/133282",
  }
  

• 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

  @inproceedings{133892,
    author = "Van Belleghem, Kristof and Denecker, Marc and De Schreye, Danny",
    title = "Representing continuous change in the abductive event calculus",
    booktitle = "Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, ",
    editor = "Van Hentenryck, Pascal",
    pages = "225--240",
    year = "1994",
    url = "https://lirias.kuleuven.be/handle/123456789/133892",
  }
  

• 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

  @inproceedings{131702,
    author = "Van Belleghem, Kristof and Denecker, Marc and De Schreye, Danny",
    title = "The abductive event calculus as a general framework for temporal databases",
    booktitle = "International Conference on Temporal Logic, ",
    editor = "Gabbay, D. and Ohlbach, H.J.",
    pages = "301--316",
    year = "1994",
    url = "https://lirias.kuleuven.be/handle/123456789/131702",
  }
  

• 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

  @inproceedings{132974,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Representing incomplete knowledge in abductive logic programming",
    booktitle = "Proc. of the International Symposium on Logic Programming (ILPS'93), ",
    pages = "147--163",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132974",
  }
  

• 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

  @inproceedings{133075,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Justification semantics: a unifying framework for the semantics of logic programs",
    booktitle = "Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop, ",
    editor = "Pereira, L.M. and Nerode, A.",
    pages = "365--379",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/133075",
  }
  

• 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

  @inproceedings{132738,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "On the duality of abduction and model generation",
    booktitle = "Proc. of the International Conference on Fifth Generation Computer Systems, FGCS92, ",
    editor = "ICOT",
    pages = "650--657",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132738",
  }
  

• 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

  @inproceedings{132989,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Temporal reasoning with {A}bductive {E}vent {C}alculus; extended abstract in proceedings",
    booktitle = "Proceedings First Compulog-Net Workshop on Logic Programming in AI, ",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132989",
  }
  

• 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

  @inproceedings{132884,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "{SLDNFA}: an abductive procedure for normal abductive programs",
    booktitle = "Proc. of the International Joint Conference and Symposium on Logic Programming, ",
    editor = "Apt, K.R.",
    pages = "686--700",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132884",
  }
  

• 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

  @inproceedings{131375,
    author = "Denecker, Marc and Missiaen, Lode and Bruynooghe, Maurice",
    title = "Temporal reasoning with abductive event calculus",
    booktitle = "Proceedings of the 10th European Conference on Artificial Intelligence, ECAI92, ",
    editor = "Neumann, Bernd",
    publisher = "John Wiley and Sons",
    location = "Chichester",
    pages = "384--388",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131375",
  }
  

• 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

  @inproceedings{132672,
    author = "De Raedt, Luc and Vandersmissen, B. and Denecker, Marc and Bruynooghe, Maurice",
    title = "A hybrid approach to learning and its knowledge representation",
    booktitle = "Proceedings of Cognitiva'90, ",
    pages = "409--416",
    month = Nov,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132672",
  }
  

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

  @inproceedings{132876,
    author = "Van Belleghem, Kristof and Denecker, Marc and Dupr{\'e}, D.T.",
    title = "Ramifications in an event-based language",
    booktitle = "Ninth Dutch Conference on Artificial Intelligence (NAIC'97), ",
    editor = "Van Marcke, K. and Daelemans, W.",
    pages = "227--236",
    month = Nov,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132876",
  }
  

• 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

  @inproceedings{132296,
    author = "Denecker, Marc",
    title = "Reasoning in an integration of logic programming and classical logic",
    booktitle = "Fundamental Computer Science Contact Group (FNRS) on Automated Thoerem Proving, ",
    month = May,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132296",
  }
  

• Denecker, Marc. From shooting turkeys to sliding window: just one step, BENELOG Workshop 1995, Gent, BENELOG Workshop 1995, 1995

  @inproceedings{132289,
    author = "Denecker, Marc",
    title = "From shooting turkeys to sliding window: just one step",
    booktitle = "BENELOG Workshop 1995, ",
    month = Sep,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132289",
  }
  

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

  @unpublished{360234,
    author = "Devriendt, Jo and Bogaerts, Bart and Mears, Chris and De Cat, Broes and Denecker, Marc",
    title = "Symmetry propagation: {I}mproved dynamic symmetry breaking in {SAT}",
    note = "SymCon, Qu{\'e}bec City, 6-8 October 2012",
    month = Oct,
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/360234",
  }
  

• 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

  @unpublished{304776,
    author = "Wittocx, Johan and De Cat, Broes and Denecker, Marc",
    title = "The {IDP} system",
    note = "Benelux conference on artificial intelligence, Luxembourg, 25-26 October 2010",
    booktitle = "Proceedings of the 22nd Benelux Conference on Artificial Intelligence",
    editor = "Bouvry, Pascal and van der Torre, Leon and Dubois, Eric and Latour, Thibaud",
    month = Oct,
    year = "2010",
    url = "https://lirias.kuleuven.be/handle/123456789/304776",
  }
  

• 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

  @unpublished{146854,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Bruynooghe, Maurice",
    title = "Using deductive databases technology for approximate query answering in partially complete databases",
    note = "Dutch-Belgian Data Base Day, Eindhoven, The Netherlands, Novemeber 29, 2007",
    year = "2007",
    url = "https://lirias.kuleuven.be/handle/123456789/146854",
  }
  

• 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

  @unpublished{146914,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Bruynooghe, Maurice",
    title = "Approximate query answering in locally closed databases",
    note = "The 19th Belgian-Dutch Conference on Artificial Intelligence, Utrecht, The Netherlands, November 5-6, 2007",
    year = "2007",
    url = "https://lirias.kuleuven.be/handle/123456789/146914",
  }
  

• 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

  @unpublished{133993,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Bruynooghe, Maurice",
    title = "Query answering for the {LCWA}",
    note = "Second International Workshop on Exchange and Integration of Data, Brixen-Bressanone, Italy, June 9-11, 2006",
    year = "2006",
    url = "https://lirias.kuleuven.be/handle/123456789/133993",
  }
  

• 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

  @unpublished{167125,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Van Nuffelen, Bert and Bruynooghe, Maurice",
    title = "On the local-closed world assumption of data-sources",
    note = "17th Belgian-Dutch Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005",
    booktitle = "BNAIC 2005, Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence",
    pages = "333--334",
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/167125",
  }
  

• 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

  @unpublished{167122,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Van Nuffelen, Bert and Bruynooghe, Maurice",
    title = "On the local closed-world assumption of data-sources",
    note = "Biennial Israeli Symposium on the Foundations of AI, University of Haifa, Haifa, Israel (Schild, U.J., e.d.), Haifa, Israel, June 28-30, 2005",
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/167122",
  }
  

• 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

  @unpublished{131176,
    author = "Mari{\"e}n, Maarten and Mitra, Rudradeb and Denecker, Marc",
    title = "Algorithms for {FO} ({ID}) model generation",
    note = "Dagstuhl seminar 05171: Nonmonotonic Reasoning, Answer Set Programming and Constraints, Schloss Dagstuhl, Wadern, Germany, April 25-29, 2005",
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/131176",
  }
  

• 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

  @unpublished{131185,
    author = "Vennekens, Joost and Denecker, Marc",
    title = "An analysis of dependencies in {ID}-logic",
    note = "Dagstuhl seminar 05171: Nonmonotonic Reasoning, Answer Set Programming and Constraints, Schloss Dagstuhl, Wadern, Germany, April 25-29, 2005",
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/131185",
  }
  

• 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

  @unpublished{134265,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Van Nuffelen, Bert and Arieli, Ofer and Bruynooghe, Maurice",
    title = "A knowledge representation perspective on data integration",
    note = "ARISE Workshop on Exchange and Integration of Data, Toronto, Canada, October 7, 2004",
    year = "2004",
    url = "https://lirias.kuleuven.be/handle/123456789/134265",
  }
  

• 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

  @unpublished{167100,
    author = "Cort{\'e}s-Calabuig, Alvaro and Van Nuffelen, Bert and Denecker, Marc and Arieli, Ofer and Bruynooghe, Maurice",
    title = "Data integration using {ID}-logic",
    note = "Dagstuhl Seminar 04171: Logic Based Information Agents, Dagstuhl Castle, Germany, April 18-23, 2004",
    year = "2004",
    url = "https://lirias.kuleuven.be/handle/123456789/167100",
  }
  

• Denecker, Marc; Ternovska, Eugenia. Inductive situation calculus, 16th Belgium-Netherlands Conference on Artificial Intelligence, Groningen, The Netherlands, October 21-22, 2004

  @unpublished{131237,
    author = "Denecker, Marc and Ternovska, Eugenia",
    title = "Inductive situation calculus",
    note = "16th Belgium-Netherlands Conference on Artificial Intelligence, Groningen, The Netherlands, October 21-22, 2004",
    year = "2004",
    url = "https://lirias.kuleuven.be/handle/123456789/131237",
  }
  

• Denecker, Marc. Unifying Abductive Logic Programming and Stable Logic Programming, 9th International Workshop on Non-Monotonic Reasoning, Toulouse, France, April 19-21, 2002

  @unpublished{133761,
    author = "Denecker, Marc",
    title = "Unifying {A}bductive {L}ogic {P}rogramming and {S}table {L}ogic {P}rogramming",
    note = "9th International Workshop on Non-Monotonic Reasoning, Toulouse, France, April 19-21, 2002",
    year = "2002",
    url = "https://lirias.kuleuven.be/handle/123456789/133761",
  }
  

• 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

  @unpublished{133745,
    author = "Denecker, Marc and Pelov, Nikolay and Bruynooghe, Maurice",
    title = "Ultimate well-founded and stable semantics for logic programs with aggregates",
    note = "Belgian-Dutch Conference on Artificial Intelligence, Leuven, Belgium, October 21-22, 2002",
    year = "2002",
    url = "https://lirias.kuleuven.be/handle/123456789/133745",
  }
  

• 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

  @unpublished{167130,
    author = "Kakas, Antonis C. and Van Nuffelen, Bert and Denecker, Marc",
    title = "A-system : {P}roblem solving through abduction",
    note = "13th Belgium-Dutch Conference on Artificial Intelligence, Amsterdam, The Netherlands, October 25-26, 2001",
    year = "2001",
    url = "https://lirias.kuleuven.be/handle/123456789/167130",
  }
  

• 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

  @unpublished{167228,
    author = "Verdoolaege, Sven and Denecker, Marc and Schelkens, Vanessa and De Schreye, Danny and Van Eynde, Frank",
    title = "Semantic interpretation of temporal information by abductive inference",
    note = "10th Computational Linguistics in the Netherlands, Utrecht, The Netherlands, 10 december 1999",
    month = Dec,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/167228",
  }
  

• 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

  @unpublished{166705,
    author = "Bruynooghe, Maurice and Vandecasteele, Henk and de Waal, D Andr{\'e} and Denecker, Marc",
    title = "Detecting unsolvable queries for definite logic programs",
    note = "The Netherlands/Belgium Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18-19 November 1998",
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/166705",
  }
  

• 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

  @unpublished{167229,
    author = "Denecker, Marc",
    title = "The well-founded semantics is the principle of inductive definition",
    note = "Seventh International Workshop on Nonmonotonic Reasoning, Trento, Italy, May 30 - June 1, 1998",
    month = May,
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/167229",
  }
  

• 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

  @unpublished{167231,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Fix-point 3-valued semantics for autoepistemic logic",
    note = "Seventh International Workshop on Nonmonotonic Reasoning, Trento, Italy, May 30 - June 1, 1998",
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/167231",
  }
  

• Denecker, Marc. On the relationship between logic programming and definition logics, COMPULOG workshop, Albufeira, Portugal, 1995

  @unpublished{134289,
    author = "Denecker, Marc",
    title = "On the relationship between logic programming and definition logics",
    note = "COMPULOG workshop, Albufeira, Portugal",
    month = Apr,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134289",
  }
  

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

  @unpublished{133080,
    author = "Vennekens, Joost and Verbaeten, Sofie and Bruynooghe, Maurice and Denecker, Marc",
    title = "Logic programs with annotated disjunctions",
    note = "Seminar on Logic and Computation, Ravelingen, Oostende, Belgium, May 3-4, 2005",
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/133080",
  }
  

• Denecker, Marc. General foundations, Issues in Knowledge Representation: Logic Programming and Nonmonotonic reasoning with Applications, Leuven, Belgium, September 2, 2002

  @unpublished{133360,
    author = "Denecker, Marc",
    title = "General foundations",
    note = "Issues in Knowledge Representation: Logic Programming and Nonmonotonic reasoning with Applications, Leuven, Belgium, September 2, 2002",
    year = "2002",
    url = "https://lirias.kuleuven.be/handle/123456789/133360",
  }
  

• Denecker, Marc. Nonmonotone inductive definitions versus logic programs, Issues in Knowledge Representation: Logic Programming and Nonmonotonic reasoning with Applications, Leuven, Belgium, September 2, 2002

  @unpublished{133358,
    author = "Denecker, Marc",
    title = "Nonmonotone inductive definitions versus logic programs",
    note = "Issues in Knowledge Representation: Logic Programming and Nonmonotonic reasoning with Applications, Leuven, Belgium, September 2, 2002",
    year = "2002",
    url = "https://lirias.kuleuven.be/handle/123456789/133358",
  }
  

Thesis

9 references

• 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)

  @phdthesis{368937,
    author = "Vlaeminck, Hanne",
    title = "Applications of {F}easible {I}nference for {E}xpressive {L}ogics ",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    pages = "178",
    month = Dec,
    year = "2012",
    note = "Denecker, Marc (supervisor), Vennekens, Joost (cosupervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/368937",
  }
  

• 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)

  @phdthesis{262663,
    author = "Hou, Ping",
    title = "Techniques for {R}easoning in {FO}",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    pages = "216",
    month = Mar,
    year = "2010",
    note = "Denecker, Marc (supervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/262663",
  }
  

• 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)

  @phdthesis{265361,
    author = "Wittocx, Johan",
    title = "Finite {D}omain and {S}ymbolic {I}nference {M}ethods for {E}xtensions of {F}irst-{O}rder {L}ogic ",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    pages = "242",
    month = May,
    year = "2010",
    note = "Denecker, Marc (supervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/265361",
  }
  

• 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)

  @phdthesis{1979992094,
    author = "Mari{\"e}n, Maarten",
    title = "Model {G}eneration for {ID}-{L}ogic ",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    month = Feb,
    year = "2009",
    note = "Denecker, Marc (supervisor)",
    url = "https://lirias.kuleuven.be/handle/1979/2094",
  }
  

• 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)

  @phdthesis{233956,
    author = "Cortes Calabuig, Alvaro",
    title = "Towards a {L}ogical {R}econstruction of a {T}heory for {L}ocally {C}omplete {D}atabases ",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    month = Dec,
    year = "2008",
    note = "Denecker, Marc and Bruynooghe, Maurice (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/233956",
  }
  

• 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)

  @phdthesis{197999849,
    author = "Vennekens, Joost",
    title = "Algebraic and logical study of constructive processes in knowledge representation",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    pages = "155+xxix",
    month = May,
    year = "2007",
    note = "Denecker, Marc and De Schreye, Danny (supervisors)",
    url = "https://lirias.kuleuven.be/handle/1979/849",
  }
  

• 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)

  @phdthesis{131316,
    author = "Pelov, Nikolay",
    title = "Semantics of logic programs with aggregates",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "152 + X",
    month = Apr,
    year = "2004",
    note = "Bruynooghe, Maurice and Denecker, Marc (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/131316",
  }
  

• 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)

  @phdthesis{242010,
    author = "Van Nuffelen, Bert",
    title = "Abductive constraint logic programming: implementation and applications.",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    pages = "315 + xiv",
    month = Jun,
    year = "2004",
    note = "Denecker, Marc and De Schreye, Danny (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/242010",
  }
  

• 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)

  @phdthesis{131431,
    author = "Denecker, Marc",
    title = "Knowledge representation and reasoning in incomplete logic programming",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "265",
    month = Sep,
    year = "1993",
    note = "De Schreye, Danny and Denef, Jan (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/131431",
  }
  

Internal reports

18 references

• 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

  @techreport{183258,
    author = "Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "On the equivalence between {CP}-logic and {LPAD}s",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW436",
    month = Apr,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/183258",
  }
  

• 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

  @techreport{131490,
    author = "Cort{\'e}s-Calabuig, Alvaro and Denecker, Marc and Arieli, Ofer and Bruynooghe, Maurice",
    title = "Representation of partial knowledge and query answering in locally complete databases",
    institution = "K.U.Leuven, Department of Computer Science",
    type = "CW Reports",
    number = "CW457",
    month = Aug,
    year = "2006",
    url = "https://lirias.kuleuven.be/handle/123456789/131490",
  }
  

• Denecker, Marc; Vennekens, Joost. ID-logic in perspective, CW Reports, volume CW410, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2005

  @techreport{131763,
    author = "Denecker, Marc and Vennekens, Joost",
    title = "{ID}-logic in perspective",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW410",
    month = Apr,
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/131763",
  }
  

• 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

  @techreport{166932,
    author = "Mari{\"e}n, Maarten and Mitra, Rudradeb and Denecker, Marc and Bruynooghe, Maurice",
    title = "Satisfiability checking for {PC}({ID})",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW426",
    month = Oct,
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/166932",
  }
  

• 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

  @techreport{131730,
    author = "Pelov, Nikolay and Denecker, Marc and Bruynooghe, Maurice",
    title = "Well-founded and stable semantics of logic programs with aggregates",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW422",
    month = Aug,
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/131730",
  }
  

• Arieli, Ofer; Denecker, Marc. Circumscriptive approaches to paraconsistent reasoning, CW Reports, volume CW304, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2001

  @techreport{132427,
    author = "Arieli, Ofer and Denecker, Marc",
    title = "Circumscriptive approaches to paraconsistent reasoning",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW304",
    month = Jan,
    year = "2001",
    url = "https://lirias.kuleuven.be/handle/123456789/132427",
  }
  

• 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

  @techreport{270794,
    author = "Denecker, Marc and Marek, Victor W. and Truszczynski, Miroslaw",
    title = "Ultimate approximations",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW320",
    month = Sep,
    year = "2001",
    url = "https://lirias.kuleuven.be/handle/123456789/270794",
  }
  

• 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

  @techreport{132035,
    author = "Bruynooghe, Maurice and Vandecasteele, Henk and de Waal, D Andr{\'e} and Denecker, Marc",
    title = "Detecting unsolvable queries for definite logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW270",
    month = Jul,
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/132035",
  }
  

• 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

  @techreport{132530,
    author = "Van Belleghem, Kristof and Denecker, Marc and Dupr{\'e}, D.T.",
    title = "Representing ramifications in an event-based language",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW257",
    month = Dec,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132530",
  }
  

• 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

  @techreport{166946,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Compositionality of normal open logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW254",
    month = Jul,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/166946",
  }
  

• 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

  @techreport{131557,
    author = "Bruynooghe, Maurice and Demoen, Bart and Boulanger, Dmitri and Denecker, Marc and Mulkers, Anne",
    title = "A freeness and sharing analysis of logic programs based on a pre-interpretation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW233",
    month = May,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131557",
  }
  

• 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

  @techreport{132485,
    author = "de Waal, D Andr{\'e} and Denecker, Marc and Bruynooghe, Maurice and Thielscher, Michael",
    title = "The automatic generation of pre-interpretations for detecting unsolvable planning problems",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW224",
    month = Feb,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/132485",
  }
  

• Martens, Bernhard; 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

  @techreport{131575,
    author = "Martens, Bernhard and Bruynooghe, Maurice and Denecker, Marc and De Raedt, Luc and De Schreye, Danny and Janssens, Gerda",
    title = "A brief overview of logic programming research at the {K}.{U}.{L}euven, with notes on its industrialrelevance",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW223",
    month = Jan,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131575",
  }
  

• 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

  @techreport{166942,
    author = "Ad{\'e}, Hilde and Denecker, Marc",
    title = "Abductive inductive logic prgramming",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW207",
    month = Feb,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/166942",
  }
  

• 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

  @techreport{131564,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "A family of abductive procedures for normal abductive programs, their soundness and completeness",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW136",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131564",
  }
  

• 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

  @techreport{132107,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Justification semantics: a unifying framework for the semantics of logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW157",
    month = Nov,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132107",
  }
  

• 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

  @techreport{131560,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "A framework for indeterministic model generation with equality",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW124",
    month = Mar,
    year = "1991",
    url = "https://lirias.kuleuven.be/handle/123456789/131560",
  }
  

• 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

  @techreport{131874,
    author = "Denecker, Marc and Willems, Yves",
    title = "Data {R}epresentation in {O}bject {O}riented {P}rolog {S}ystems",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW98",
    month = Sep,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/131874",
  }
  

Misc.

1 reference

• Vennekens, Joost; Gilis, David; Denecker, Marc. Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics (vol 7, pg 765, 2006), ACM Transactions on Computational Logic, volume 8, issue 1, - page, January 2007

  @misc{124415,
    author = "Vennekens, Joost and Gilis, David and Denecker, Marc",
    title = "Erratum to splitting an operator: {A}lgebraic modularity results for logics with fixpoint semantics (vol 7, pg 765, 2006)",
    journal = "ACM Transactions on Computational Logic",
    publisher = "Association for Computing Machinery",
    volume = "8",
    number = "1",
    pages = "-",
    month = Jan,
    year = "2007",
    doi = "10.1145/1182613.1189735",
    url = "https://lirias.kuleuven.be/handle/123456789/124415",
  }
  

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

• Articles in other journals
• Books, internationally recognised scientific publisher; as author
• Other published books; as author
• Article in other published book
• Review
• Translation without scientific introduction
• Scientific popularisation
• External reports

 
Last update local database Sun Jun 16 2013 0:17 am; It contains 206 publications of Marc Denecker.