Marc Denecker
Orcid: 0000-0002-0422-7339Affiliations:
- Catholic University of Leuven, Belgium
According to our database1,
Marc Denecker
authored at least 179 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Artif. Intell., 2024
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Proceedings of the Artificial Intelligence and Image Analysis, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Theory Pract. Log. Program., July, 2023
Proceedings of the Prolog: The Next 50 Years, 2023
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control.
CoRR, 2023
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
2022
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory.
Theory Pract. Log. Program., 2022
Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26, 2022
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
2020
Theory Pract. Log. Program., 2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk).
Proceedings of the 35th Italian Conference on Computational Logic, 2020
2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019
2018
Artif. Intell., 2018
Proceedings of the Functional and Constraint Logic Programming, 2018
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018
2017
Theory Pract. Log. Program., 2017
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation.
CoRR, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
ACM Trans. Comput. Log., 2016
AI Mag., 2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
Proceedings of the CAiSE'16 Forum, 2016
2015
Theory Pract. Log. Program., 2015
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with <i>IDP3</i>.
Theory Pract. Log. Program., 2015
J. Artif. Intell. Res., 2015
Artif. Intell., 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Inductive Logic Programming - 25th International Conference, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Theory Pract. Log. Program., 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2013
Theory Pract. Log. Program., 2013
ACM Trans. Comput. Log., 2013
CoRR, 2013
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.
CoRR, 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
2012
J. Artif. Intell. Res., 2012
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
CoRR, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Correct Reasoning, 2012
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012
2011
CoRR, 2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Theory Pract. Log. Program., 2010
ACM Trans. Database Syst., 2010
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
2009
CP-logic: A language of causal probabilistic events and its relation to logic programming.
Theory Pract. Log. Program., 2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Semantic Web: Research and Applications, 2009
2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic.
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Theory Pract. Log. Program., 2007
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
ACM Trans. Comput. Log., 2007
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic.
Fundam. Informaticae, 2007
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming.
Fundam. Informaticae, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic for Programming, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
ACM Trans. Comput. Log., 2006
Ann. Math. Artif. Intell., 2006
Representation of Partial Knowledge and Query Answering in Locally Complete Databases.
Proceedings of the Logic for Programming, 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
2005
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Answer Set Programming, 2005
2004
J. Artif. Intell. Res., 2004
Ultimate approximation and its application in nonmonotonic knowledge representation systems.
Inf. Comput., 2004
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
Proceedings of the Foundations of Information and Knowledge Systems, 2004
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004
2003
J. Log. Comput., 2003
Proceedings of the Answer Set Programming, 2003
2002
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning.
Proceedings of the Paraconsistent Computational Logic, 2002
Compositionally results for stratified nonmonotone operators.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Unifying abductive logic programming and stable logic programming.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Proceedings of the Foundations of Information and Knowledge Systems, 2002
Proceedings of the Conceptual Modeling, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
ACM Trans. Comput. Log., 2001
Proceedings of the Logic for Programming, 2001
A-System: Problem Solving through Abduction.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Proceedings of the Logic Programming, 17th International Conference, 2001
Proceedings of the Answer Set Programming, 2001
2000
AI Commun., 2000
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison.
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Uniform semantic treatment of default and autoepistemic logic.
Proceedings of the KR 2000, 2000
Proceedings of the Computational Logic, 2000
1999
Detecting Unsolvable Queries for Definite Logic Programs
J. Funct. Log. Program., 1999
Proceedings of the Computational Linguistics in the Netherlands 1999, 1999
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999
1998
Electron. Trans. Artif. Intell., 1998
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
J. Log. Program., 1997
A Strong Correspondence between Description Logics and Open Logic Programming.
Proceedings of the Logic Programming, 1997
1996
Proceedings of the Static Analysis, Third International Symposium, 1996
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification.
Proceedings of the Logic Programming, 1996
1995
J. Log. Comput., 1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
Combining Situation Calculus and Event Calculus.
Proceedings of the Logic Programming, 1995
Using Event Calculus for Protocol Specification: An Experiment.
Proceedings of the Deductive Databases and Logic Programming, 1995
1994
On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality.
Theor. Comput. Sci., 1994
Proceedings of the Programming Language Implementation and Logic Programming, 1994
Proceedings of the Temporal Logic, First International Conference, 1994
Representing Continuous Change in the Abductive Event Calculus.
Proceedings of the Logic Programming, 1994
1993
Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993
1992
SLDNFA: An Abductive Procedure for Normal Abductive Programs.
Proceedings of the Logic Programming, 1992
On the Duality of Abduction and Model Generation.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
Temporal Reasoning with Abductive Event Calculus.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992