Marc Denecker

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 50

Top Venues

CoRR

Theory Pract. Log. Program.

IJCAI

Artif. Intell.

Publications

Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
Using Symmetries to Lift Satisfiability Checking. AAAI (2024)
Dorde Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
An epistemic logic for modeling decisions in the context of incomplete knowledge. SAC (2024)
Simon Marynissen, Bart Bogaerts, Marc Denecker
Embedding justification theory in approximation fixpoint theory. Artif. Intell. 331 (2024)
Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker
Towards a Unifying View on Monotone Constructive Definitions. ISAIM (2024)
Djordje Markovic, Maurice Bruynooghe, Marc Denecker
Towards Systematic Treatment of Partial Functions in Knowledge Representation. JELIA (2023)
Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
Using Symmetries to Lift Satisfiability Checking. CoRR (2023)
Dorde Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
An epistemic logic for modeling decisions in the context of incomplete knowledge. CoRR (2023)
Marc Denecker, David S. Warren
The Logic of Logic Programming. CoRR (2023)
Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker
Interactive Model Expansion in an Observable Environment. CoRR (2023)
Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts
Interactive Model Expansion in an Observable Environment. Theory Pract. Log. Program. 23 (4) (2023)
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Justifications and a Reconstruction of Parity Game Solving Algorithms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control. CoRR (2023)
Pierre Carbonnelle, Matthias van der Hallen, Marc Denecker
Quantification and aggregation over concepts of the ontology. CoRR (2022)
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
On Nested Justification Systems (full version). CoRR (2022)
Ðorde Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker
On the Semantics of "null" in DMN: Undefined is not Unknown. RuleML+RR (Companion) (2022)
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
On Nested Justification Systems. Theory Pract. Log. Program. 22 (5) (2022)
Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker
IDP-Z3: a reasoning engine for FO(.). CoRR (2022)
Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. Theory Pract. Log. Program. 22 (4) (2022)
Simon Marynissen, Bart Bogaerts, Marc Denecker
On the Relation Between Approximation Fixpoint Theory and Justification Theory. IJCAI (2021)
Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. CoRR (2021)
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Justifications and a Reconstruction of Parity Game Solving Algorithms. CoRR (2021)
Marc Denecker
On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk). CILC (2020)
Simon Marynissen, Bart Bogaerts, Marc Denecker
Exploiting Game Theory for Analysing Justifications. CoRR (2020)
Simon Marynissen, Bart Bogaerts, Marc Denecker
Exploiting Game Theory for Analysing Justifications. Theory Pract. Log. Program. 20 (6) (2020)
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Improving Parity Game Solvers with Justifications. VMCAI (2020)
Matthias van der Hallen, Sergey Paramonov, Gerda Janssens, Marc Denecker
Knowledge representation analysis of graph mining. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
The informal semantics of Answer Set Programming: A Tarskian perspective. CoRR (2019)
Pierre Carbonnelle, Bram Aerts, Marjolein Deryck, Joost Vennekens, Marc Denecker
An Interactive Consultant. BNAIC/BENELEARN (2019)
Marc Denecker, Bart Bogaerts, Joost Vennekens
Explaining Actual Causation in Terms of Possible Causal Processes. JELIA (2019)
Ingmar Dasseville, Marc Denecker
Transpiling Programmable Computable Functions to Answer Set Programs. CoRR (2018)
Ingmar Dasseville, Marc Denecker
Transpiling Programming Computable Functions to Answer Set Programs. WFLP (2018)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Safe inductions and their applications in knowledge representation. Artif. Intell. 259 (2018)
Marc Denecker, Bart Bogaerts, Joost Vennekens
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. CoRR (2017)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB paradigm and its application to interactive configuration. Theory Pract. Log. Program. 17 (1) (2017)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Safe Inductions: An Algebraic Study. IJCAI (2017)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB Paradigm and Its Application to Interactive Configuration. PADL (2016)
Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker
Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment. RuleML (Supplement) (2016)
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker
Distributed Autoepistemic Logic and its Application to Access Control. IJCAI (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Improved Static Symmetry Breaking for SAT. SAT (2016)
Bart Bogaerts, Joost Vennekens, Marc Denecker
On Well-Founded Set-Inductions and Locally Monotone Operators. ACM Trans. Comput. Log. 17 (4) (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
On Local Domain Symmetry for Model Expansion. CoRR (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
On local domain symmetry for model expansion. Theory Pract. Log. Program. 16 (5-6) (2016)
Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker
Implementing a Relevance Tracker Module. CoRR (2016)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB paradigm and its application to interactive configuration. CoRR (2016)
Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski
First Order Logic with Inductive Definitions for Model-Based Problem Solving. AI Mag. 37 (3) (2016)
Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Bootstrapping Inference in the IDP Knowledge Base System. New Gener. Comput. 34 (3) (2016)
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Relevance for SAT(ID). IJCAI (2016)
Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
A Compositional Typed Higher-Order Logic with Definitions. ICLP (Technical Communications) (2016)
Laurent Janssens, Ekaterina Bazhenova, Johannes De Smedt, Jan Vanthienen, Marc Denecker
Consistent Integration of Decision (DMN) and Process (BPMN) Models. CAiSE Forum (2016)
Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. CSF (2016)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
. Theory Pract. Log. Program. 15 (6) (2015)
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Semantics of templates in a compositional framework for building logics. CoRR (2015)
Sergey Paramonov, Matthijs van Leeuwen, Marc Denecker, Luc De Raedt
An Exercise in Declarative Modeling for Relational Query Mining. ILP (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Grounded Fixpoints. AAAI (2015)
Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Visualising interactive inferences with IDPD3. CoRR (2015)
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Semantics of templates in a compositional framework for building logics. Theory Pract. Log. Program. 15 (4-5) (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Grounded fixpoints and their applications in knowledge representation. Artif. Intell. 224 (2015)
Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey
Lazy Model Expansion: Interleaving Grounding with Search. J. Artif. Intell. Res. 52 (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Partial Grounded Fixpoints. IJCAI (2015)
Marc Denecker, Gerhard Brewka, Hannes Strass
A Formal Theory of Justifications. LPNMR (2015)
Marc Denecker, Joost Vennekens
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. KR (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
Inference in the FO(C) Modelling Language. ECAI (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
FO(C): A Knowledge Representation Language of Causality. CoRR (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
Inference in the FO(C) Modelling Language. CoRR (2014)
Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe
Lazy Model Expansion: Interleaving Grounding with Search. CoRR (2014)
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Predicate Logic as a Modelling Language: The IDP System. CoRR (2014)
Marcos Cramer, Pieter Van Hertum, Diego Agustín Ambrossio, Marc Denecker
Modelling Delegation and Revocation Schemes in IDP. CoRR (2014)
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Simulating Dynamic Systems Using Linear Time Calculus Theories. Theory Pract. Log. Program. 14 (4-5) (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
FO(C) and Related Modelling Paradigms. CoRR (2014)
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Simulating dynamic systems using Linear Time Calculus theories. CoRR (2014)
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding FO and FO(ID) with Bounds. CoRR (2014)
Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker
Model Expansion in the Presence of Function Symbols Using Constraint Programming. ICTAI (2013)
Joost Vennekens, Marc Denecker
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results CoRR (2013)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. CoRR (2013)
Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
The effects of buying a new car: an extension of the IDP Knowledge Base System. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Constraint Propagation for First-Order Logic and Inductive Definitions. ACM Trans. Comput. Log. 14 (3) (2013)
Broes De Cat, Marc Denecker, Peter J. Stuckey
Lazy Model Expansion by Incremental Grounding. ICLP (Technical Communications) (2012)
Ping Hou, Johan Wittocx, Marc Denecker
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions CoRR (2012)
Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. ICTAI (2012)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
A Tarskian Informal Semantics for Answer Set Programming. ICLP (Technical Communications) (2012)
Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer
Modeling Machine Learning and Data Mining Problems with FO(·). ICLP (Technical Communications) (2012)
Marc Denecker, Maurice Bruynooghe, Joost Vennekens
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Correct Reasoning (2012)
Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
An approximative inference method for solving ∃∀SO satisfiability problems. J. Artif. Intell. Res. 45 (2012)
Hanne Vlaeminck, Joost Vennekens, Marc Denecker
A General Representation and Approximate Inference Algorithm for Sensing Actions. Australasian Conference on Artificial Intelligence (2012)
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Ordered Epistemic Logic: Semantics, Complexity and Applications. KR (2012)
Stef De Pooter, Johan Wittocx, Marc Denecker
A Prototype of a Knowledge-Based Programming Environment. INAP/WLP (2011)
Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen
Coherent Integration of Databases by Abductive Logic Programming CoRR (2011)
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too CoRR (2011)
Stef De Pooter, Johan Wittocx, Marc Denecker
A prototype of a knowledge-based programming environment CoRR (2011)
Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Constraint Propagation for Extended First-Order Logic CoRR (2010)
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
FO(ID) as an extension of DL with rules. Ann. Math. Artif. Intell. 58 (1-2) (2010)
Ping Hou, Broes De Cat, Marc Denecker
FO(FD): Extending classical logic with rule-based fixpoint definitions. Theory Pract. Log. Program. 10 (4-6) (2010)
Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. JELIA (2010)
Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli
Towards a logical reconstruction of a theory for locally closed databases. ACM Trans. Database Syst. 35 (3) (2010)
Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. JELIA (2010)
Ping Hou, Broes De Cat, Marc Denecker
FO(FD): Extending classical logic with rule-based fixpoint definitions CoRR (2010)
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding FO and FO(ID) with Bounds. J. Artif. Intell. Res. 38 (2010)
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
Debugging for Model Expansion. ICLP (2009)
Joost Vennekens, Marc Denecker
FO(ID) as an Extension of DL with Rules. ESWC (2009)

Marc Denecker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Denecker