Publications of Marc Denecker

period 2008 - 2013

Articles in internationally reviewed journals

8 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",
  }
  

Article in book, internationally recognised scientific publisher

3 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",
  }
  

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

31 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",
  }
  

Meeting abstracts, presented at international conferences and symposia

2 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",
  }
  

Thesis

5 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",
  }
  

Internal reports

1 reference

• 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",
  }
  

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

• Articles in other journals
• Books, internationally recognised scientific publisher; as author
• Other published books; as author
• Books, internationally recognised scientific publisher; as editor
• Other published books; as editor
• Article in other published book
• Papers at other conferences and symposia, published in full in proceedings
• Meeting abstracts, presented at other conferences and symposia
• Review
• Translation without scientific introduction
• Scientific popularisation
• Misc.
• External reports

 
Last update local database Sun May 19 2013 0:18 am; It contains 206 publications of Marc Denecker.