Marc Denecker

According to our database1, Marc Denecker authored at least 160 papers between 1992 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Improving Parity Game Solvers with Justifications.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019
The informal semantics of Answer Set Programming: A Tarskian perspective.
CoRR, 2019

Knowledge representation analysis of graph mining.
Ann. Math. Artif. Intell., 2019

Explaining Actual Causation in Terms of Possible Causal Processes.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

An Interactive Consultant.
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

2018
Transpiling Programmable Computable Functions to Answer Set Programs.
CoRR, 2018

Safe inductions and their applications in knowledge representation.
Artif. Intell., 2018

Transpiling Programming Computable Functions to Answer Set Programs.
Proceedings of the Functional and Constraint Logic Programming, 2018

Predicate logic as a modeling language: the IDP system.
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017
The KB paradigm and its application to interactive configuration.
TPLP, 2017

A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation.
CoRR, 2017

Safe Inductions: An Algebraic Study.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
On local domain symmetry for model expansion.
TPLP, 2016

On Well-Founded Set-Inductions and Locally Monotone Operators.
ACM Trans. Comput. Log., 2016

Bootstrapping Inference in the IDP Knowledge Base System.
New Generation Comput., 2016

Implementing a Relevance Tracker Module.
CoRR, 2016

First Order Logic with Inductive Definitions for Model-Based Problem Solving.
AI Magazine, 2016

Improved Static Symmetry Breaking for SAT.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment.
Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016

Relevance for SAT(ID).
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Distributed Autoepistemic Logic and its Application to Access Control.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Compositional Typed Higher-Order Logic with Definitions.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Consistent Integration of Decision (DMN) and Process (BPMN) Models.
Proceedings of the CAiSE'16 Forum, 2016

2015
Semantics of templates in a compositional framework for building logics.
TPLP, 2015

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3.
TPLP, 2015

Lazy Model Expansion: Interleaving Grounding with Search.
J. Artif. Intell. Res., 2015

Visualising interactive inferences with IDPD3.
CoRR, 2015

Grounded fixpoints and their applications in knowledge representation.
Artif. Intell., 2015

A Formal Theory of Justifications.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

An Exercise in Declarative Modeling for Relational Query Mining.
Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Partial Grounded Fixpoints.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Grounded Fixpoints.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Simulating Dynamic Systems Using Linear Time Calculus Theories.
TPLP, 2014

Modelling Delegation and Revocation Schemes in IDP.
CoRR, 2014

Predicate Logic as a Modelling Language: The IDP System.
CoRR, 2014

FO(C): A Knowledge Representation Language of Causality.
CoRR, 2014

FO(C) and Related Modelling Paradigms.
CoRR, 2014

The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Inference in the FO(C) Modelling Language.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
The effects of buying a new car: an extension of the IDP Knowledge Base System.
TPLP, 2013

Constraint Propagation for First-Order Logic and Inductive Definitions.
ACM Trans. Comput. Log., 2013

Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results
CoRR, 2013

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.
CoRR, 2013

Model Expansion in the Presence of Function Symbols Using Constraint Programming.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012
An approximative inference method for solving ∃∀SO satisfiability problems.
J. Artif. Intell. Res., 2012

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
CoRR, 2012

Ordered Epistemic Logic: Semantics, Complexity and Applications.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

A Tarskian Informal Semantics for Answer Set Programming.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Lazy Model Expansion by Incremental Grounding.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Modeling Machine Learning and Data Mining Problems with FO(·).
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.
Proceedings of the Correct Reasoning, 2012

A General Representation and Approximate Inference Algorithm for Sensing Actions.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
CoRR, 2011

A Prototype of a Knowledge-Based Programming Environment.
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
FO(FD): Extending classical logic with rule-based fixpoint definitions.
TPLP, 2010

Towards a logical reconstruction of a theory for locally closed databases.
ACM Trans. Database Syst., 2010

Grounding FO and FO(ID) with Bounds.
J. Artif. Intell. Res., 2010

Constraint Propagation for Extended First-Order Logic
CoRR, 2010

FO(ID) as an extension of DL with rules.
Ann. Math. Artif. Intell., 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

Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic.
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.
TPLP, 2009

A logical framework for configuration software.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

A Deductive System for FO(ID) Based on Least Fixpoint Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

The Second Answer Set Programming Competition.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Using Lightweight Inference to Solve Lightweight Problems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Towards Computing Revised Models for FO Theories.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

Debugging for Model Expansion.
Proceedings of the Logic Programming, 25th International Conference, 2009

A Knowledge Base System Project for FO(.).
Proceedings of the Logic Programming, 25th International Conference, 2009

FO(ID) as an Extension of DL with Rules.
Proceedings of the Semantic Web: Research and Applications, 2009

2008
A logic of nonmonotone inductive definitions.
ACM Trans. Comput. Log., 2008

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.
Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Approximate Reasoning in First-Order Logic Theories.
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

Complexity of First Order ID-Logic.
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

Grounding with Bounds.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Well-founded and stable semantics of logic programs with aggregates.
TPLP, 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. Inform., 2007

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming.
Fundam. Inform., 2007

Distance semantics for database repair.
Ann. Math. Artif. Intell., 2007

Inductive situation calculus.
Artif. Intell., 2007

A Deductive System for PC(ID).
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

Integrating Inductive Definitions in SAT.
Proceedings of the Logic for Programming, 2007

Approximate Query Answering in Locally Closed Databases.
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

Computational methods for database repair by signed formulae.
Ann. Math. Artif. Intell., 2006

Representation of Partial Knowledge and Query Answering in Locally Complete Databases.
Proceedings of the Logic for Programming, 2006

Representing Causal Information About a Probabilistic Process.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Distance-Based Repairs of Databases.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Predicate Introduction Under Stable and Well-Founded Semantics.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
Temporal Reasoning with iff-Abduction.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

A Logic for Non-Monotone Inductive Definitions
CoRR, 2005

An Algebraic Account of Modularity in ID-Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

On the Local Closed-World Assumption of Data-Sources.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Satisfiability Checking for PC(ID).
Proceedings of the Logic for Programming, 2005

2004
Coherent Integration of Databases by Abductive Logic Programming.
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

Partial Stable Models for Logic Programs with Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

A Logic of Non-monotone Inductive Definitions and Its Modularity Properties.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

What's in a Model? Epistemological Analysis of Logic Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

On the Relation Between ID-Logic and Answer Set Programming.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Splitting an Operator.
Proceedings of the Logic Programming, 20th International Conference, 2004

Database Repair by Signed Formulae.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

Data Integration Using ID-Logic.
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

2003
Reducing Preferential Paraconsistent Reasoning to Classical Entailment.
J. Log. Comput., 2003

Uniform semantic treatment of default and autoepistemic logics.
Artif. Intell., 2003

Translation of Aggregate Programs to Normal Logic Programs.
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

Modeling Paraconsistent Reasoning by Classical Logic.
Proceedings of the Foundations of Information and Knowledge Systems, 2002

On the Transformation of Object-Oriented Conceptual Models to Logical Theories.
Proceedings of the Conceptual Modeling, 2002

Abduction in Logic Programming.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Logic programming revisited: Logic programs as inductive definitions.
ACM Trans. Comput. Log., 2001

Coherent Composition of Distributed Knowledge-Bases Through Abduction.
Proceedings of the Logic for Programming, 2001

A-System: Problem Solving through Abduction.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.
Proceedings of the Logic Programming, 17th International Conference, 2001

On the Epistemological foundations of Logic Programming and its Extensions.
Proceedings of the Answer Set Programming, 2001

2000
Compositionality of Normal Open Logic Programs.
J. Log. Program., 2000

Special issue: abductive logic programming.
J. Log. Program., 2000

A note on the Declarative reading(s) of Logic Programming
CoRR, 2000

Abductive reasoning with temporal information
CoRR, 2000

Problem solving in ID-logic with aggregates: some experiments
CoRR, 2000

Project Report on LP+: A Second Generation Logic Programming Language.
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

Extending Classical Logic with Inductive Definitions.
Proceedings of the Computational Logic, 2000

1999
Detecting Unsolvable Queries for Definite Logic Programs
Journal of Functional and Logic Programming, 1999

Semantic interpretation of temporal information by abductive inference.
Proceedings of the Computational Linguistics in the Netherlands 1999, 1999

Assessment of Some Issues in CL-Theory and Program Development.
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998
SLDNFA: An Abductive Procedure for Abductive Logic Programs.
J. Log. Program., 1998

An Inductive Definition Approach to Ramifications.
Electron. Trans. Artif. Intell., 1998

The Well-Founded Semantics Is the Principle of Inductive Definition.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Fixpoint 3-Valued Semantics for Autoepistemic Logic.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
On the Relation Between Situation Calculus and Event Calculus.
J. Log. Program., 1997

A Strong Correspondence between Description Logics and Open Logic Programming.
Proceedings of the Logic Programming, 1997

1996
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.
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
CHICA, an Abductive Planning System Based on Event Calculus.
J. Log. Comput., 1995

Representing Incomplete Knowledge in Abductive Logic Programming.
J. Log. Comput., 1995

A Terminological Interpretation of (Abductive) Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

AILP: Abductive Inductive Logic Programming.
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

Abstracting s-semantincs Using A Model-Theoretic Approach.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

The Abductive Event Calculus as a General Framework for Temporal Databases.
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


  Loading...