Marc Denecker - RankMe

219 papers A* 19A 7B 44C 2Misc 3Journal 99Unranked 41

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Approximation Fixpoint Theory with Refined Approximation Spaces. CoRR Linde Vanbesien, Bart Bogaerts, Marc Denecker
2024	J	`jnl`	A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version). CoRR Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts
2024	B	`conf`	A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. LPNMR Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts
2024	B	`conf`	A Sequent Calculus for Generalized Inductive Definitions. LPNMR Robbe Van den Eede, Robbe Van Biervliet, Marc Denecker
2024	Misc	`conf`	An epistemic logic for modeling decisions in the context of incomplete knowledge. SAC Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
2024	J	`jnl`	Embedding justification theory in approximation fixpoint theory. Artif. Intell. Simon Marynissen, Bart Bogaerts, Marc Denecker
2024	B	`conf`	Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts. ICLP Dorde Markovic, Marc Denecker
2024	—	`conf`	Solving "Greeting a Customer with Unknown Data" Challenge with Epistemic DMN. RuleML+RR (Companion) Djordje Markovic, Marc Denecker
2024	Misc	`conf`	Towards a Unifying View on Monotone Constructive Definitions. ISAIM Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker
2024	A*	`conf`	Using Symmetries to Lift Satisfiability Checking. AAAI Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
2023	—	`ch.`	A Better Logical Semantics for Prolog. Prolog: The Next 50 Years David Scott Warren, Marc Denecker
2023	J	`jnl`	An epistemic logic for modeling decisions in the context of incomplete knowledge. CoRR Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
2023	J	`jnl`	Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control. CoRR Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker
2023	J	`jnl`	Interactive Model Expansion in an Observable Environment. CoRR Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker
2023	J	`jnl`	Interactive Model Expansion in an Observable Environment. Theory Pract. Log. Program. Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts
2023	—	`conf`	Justifications and a Reconstruction of Parity Game Solving Algorithms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
2023	B	`conf`	Quantification and aggregation over concepts of the ontology. ICLP Pierre Carbonnelle, Matthias van der Hallen, Marc Denecker
2023	J	`jnl`	The Logic of Logic Programming. CoRR Marc Denecker, David Scott Warren
2023	B	`conf`	Towards Systematic Treatment of Partial Functions in Knowledge Representation. JELIA Djordje Markovic, Maurice Bruynooghe, Marc Denecker
2023	J	`jnl`	Using Symmetries to Lift Satisfiability Checking. CoRR Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
2022	J	`jnl`	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. Theory Pract. Log. Program. Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
2022	J	`jnl`	IDP-Z3: a reasoning engine for FO(.). CoRR Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker
2022	J	`jnl`	On Nested Justification Systems (full version). CoRR Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
2022	J	`jnl`	On Nested Justification Systems. Theory Pract. Log. Program. Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
2022	—	`conf`	On the Semantics of "null" in DMN: Undefined is not Unknown. RuleML+RR (Companion) Djordje Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker
2021	J	`jnl`	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. CoRR Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
2021	J	`jnl`	Justifications and a Reconstruction of Parity Game Solving Algorithms. CoRR Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
2021	A*	`conf`	On the Relation Between Approximation Fixpoint Theory and Justification Theory. IJCAI Simon Marynissen, Bart Bogaerts, Marc Denecker
2020	J	`jnl`	Exploiting Game Theory for Analysing Justifications. CoRR Simon Marynissen, Bart Bogaerts, Marc Denecker
2020	J	`jnl`	Exploiting Game Theory for Analysing Justifications. Theory Pract. Log. Program. Simon Marynissen, Bart Bogaerts, Marc Denecker
2020	B	`conf`	Improving Parity Game Solvers with Justifications. VMCAI Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
2020	—	`conf`	On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk). CILC Marc Denecker
2019	—	`conf`	An Interactive Consultant. BNAIC/BENELEARN Pierre Carbonnelle, Bram Aerts, Marjolein Deryck, Joost Vennekens, Marc Denecker
2019	B	`conf`	Explaining Actual Causation in Terms of Possible Causal Processes. JELIA Marc Denecker, Bart Bogaerts, Joost Vennekens
2019	J	`jnl`	Knowledge representation analysis of graph mining. Ann. Math. Artif. Intell. Matthias van der Hallen, Sergey Paramonov, Gerda Janssens, Marc Denecker
2019	J	`jnl`	The informal semantics of Answer Set Programming: A Tarskian perspective. CoRR Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
2018	—	`ch.`	Predicate logic as a modeling language: the IDP system. Declarative Logic Programming Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker
2018	J	`jnl`	Safe inductions and their applications in knowledge representation. Artif. Intell. Bart Bogaerts, Joost Vennekens, Marc Denecker
2018	J	`jnl`	Transpiling Programmable Computable Functions to Answer Set Programs. CoRR Ingmar Dasseville, Marc Denecker
2018	—	`conf`	Transpiling Programming Computable Functions to Answer Set Programs. WFLP Ingmar Dasseville, Marc Denecker
2017	J	`jnl`	A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. CoRR Marc Denecker, Bart Bogaerts, Joost Vennekens
2017	A*	`conf`	Safe Inductions: An Algebraic Study. IJCAI Bart Bogaerts, Joost Vennekens, Marc Denecker
2017	J	`jnl`	The KB paradigm and its application to interactive configuration. Theory Pract. Log. Program. Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
2016	—	`conf`	A Compositional Typed Higher-Order Logic with Definitions. ICLP (Technical Communications) Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
2016	J	`jnl`	Bootstrapping Inference in the IDP Knowledge Base System. New Gener. Comput. Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
2016	—	`conf`	Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment. RuleML (Supplement) Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker
2016	—	`conf`	Consistent Integration of Decision (DMN) and Process (BPMN) Models. CAiSE Forum Laurent Janssens, Ekaterina Bazhenova, Johannes De Smedt, Jan Vanthienen, Marc Denecker
2016	A*	`conf`	Distributed Autoepistemic Logic and its Application to Access Control. IJCAI Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker
2016	J	`jnl`	First Order Logic with Inductive Definitions for Model-Based Problem Solving. AI Mag. Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski
2016	J	`jnl`	Implementing a Relevance Tracker Module. CoRR Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker
2016	A	`conf`	Improved Static Symmetry Breaking for SAT. SAT Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2016	J	`jnl`	On Local Domain Symmetry for Model Expansion. CoRR Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2016	J	`jnl`	On Well-Founded Set-Inductions and Locally Monotone Operators. ACM Trans. Comput. Log. Bart Bogaerts, Joost Vennekens, Marc Denecker
2016	J	`jnl`	On local domain symmetry for model expansion. Theory Pract. Log. Program. Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2016	A*	`conf`	Relevance for SAT(ID). IJCAI Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
2016	A	`conf`	Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. CSF Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
2016	C	`conf`	The KB Paradigm and Its Application to Interactive Configuration. PADL Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
2016	J	`jnl`	The KB paradigm and its application to interactive configuration. CoRR Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
2015	B	`conf`	A Formal Theory of Justifications. LPNMR Marc Denecker, Gerhard Brewka, Hannes Strass
2015	B	`conf`	An Exercise in Declarative Modeling for Relational Query Mining. ILP Sergey Paramonov, Matthijs van Leeuwen, Marc Denecker, Luc De Raedt
2015	A*	`conf`	Grounded Fixpoints. AAAI Bart Bogaerts, Joost Vennekens, Marc Denecker
2015	J	`jnl`	Grounded fixpoints and their applications in knowledge representation. Artif. Intell. Bart Bogaerts, Joost Vennekens, Marc Denecker
2015	J	`jnl`	Lazy Model Expansion: Interleaving Grounding with Search. J. Artif. Intell. Res. Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey
2015	A*	`conf`	Partial Grounded Fixpoints. IJCAI Bart Bogaerts, Joost Vennekens, Marc Denecker
2015	J	`jnl`	Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with Theory Pract. Log. Program. Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
2015	J	`jnl`	Semantics of templates in a compositional framework for building logics. CoRR Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
2015	J	`jnl`	Semantics of templates in a compositional framework for building logics. Theory Pract. Log. Program. Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
2015	J	`jnl`	Visualising interactive inferences with IDPD3. CoRR Ruben Lapauw, Ingmar Dasseville, Marc Denecker
2014	J	`jnl`	FO(C) and Related Modelling Paradigms. CoRR Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014	J	`jnl`	FO(C): A Knowledge Representation Language of Causality. CoRR Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014	J	`jnl`	Grounding FO and FO(ID) with Bounds. CoRR Johan Wittocx, Maarten Mariën, Marc Denecker
2014	A	`conf`	Inference in the FO(C) Modelling Language. ECAI Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014	J	`jnl`	Inference in the FO(C) Modelling Language. CoRR Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014	J	`jnl`	Lazy Model Expansion: Interleaving Grounding with Search. CoRR Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe
2014	J	`jnl`	Modelling Delegation and Revocation Schemes in IDP. CoRR Marcos Cramer, Pieter Van Hertum, Diego Agustín Ambrossio, Marc Denecker
2014	J	`jnl`	Predicate Logic as a Modelling Language: The IDP System. CoRR Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2014	J	`jnl`	Simulating Dynamic Systems Using Linear Time Calculus Theories. Theory Pract. Log. Program. Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2014	J	`jnl`	Simulating dynamic systems using Linear Time Calculus theories. CoRR Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2014	A*	`conf`	The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. KR Marc Denecker, Joost Vennekens
2013	J	`jnl`	Constraint Propagation for First-Order Logic and Inductive Definitions. ACM Trans. Comput. Log. Johan Wittocx, Marc Denecker, Maurice Bruynooghe
2013	J	`jnl`	Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results CoRR Joost Vennekens, Marc Denecker
2013	B	`conf`	Model Expansion in the Presence of Function Symbols Using Constraint Programming. ICTAI Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker
2013	J	`jnl`	Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. CoRR Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
2013	J	`jnl`	The effects of buying a new car: an extension of the IDP Knowledge Base System. Theory Pract. Log. Program. Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
2012	—	`conf`	A General Representation and Approximate Inference Algorithm for Sensing Actions. Australasian Conference on Artificial Intelligence Hanne Vlaeminck, Joost Vennekens, Marc Denecker
2012	—	`conf`	A Tarskian Informal Semantics for Answer Set Programming. ICLP (Technical Communications) Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
2012	J	`jnl`	An approximative inference method for solving ∃∀SO satisfiability problems. J. Artif. Intell. Res. Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2012	—	`conf`	Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Correct Reasoning Marc Denecker, Maurice Bruynooghe, Joost Vennekens
2012	J	`jnl`	LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions CoRR Ping Hou, Johan Wittocx, Marc Denecker
2012	—	`conf`	Lazy Model Expansion by Incremental Grounding. ICLP (Technical Communications) Broes De Cat, Marc Denecker, Peter J. Stuckey
2012	—	`conf`	Modeling Machine Learning and Data Mining Problems with FO(·). ICLP (Technical Communications) Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer
2012	A*	`conf`	Ordered Epistemic Logic: Semantics, Complexity and Applications. KR Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
2012	B	`conf`	Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. ICTAI Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears
2011	—	`conf`	A Prototype of a Knowledge-Based Programming Environment. INAP/WLP Stef De Pooter, Johan Wittocx, Marc Denecker
2011	J	`jnl`	A prototype of a knowledge-based programming environment CoRR Stef De Pooter, Johan Wittocx, Marc Denecker
2011	—	`conf`	Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
2011	J	`jnl`	Coherent Integration of Databases by Abductive Logic Programming CoRR Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen
2011	J	`jnl`	Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too CoRR Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2010	B	`conf`	An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. JELIA Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2010	J	`jnl`	Constraint Propagation for Extended First-Order Logic CoRR Johan Wittocx, Marc Denecker, Maurice Bruynooghe
2010	B	`conf`	Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. JELIA Joost Vennekens, Maurice Bruynooghe, Marc Denecker
2010	J	`jnl`	FO(FD): Extending classical logic with rule-based fixpoint definitions CoRR Ping Hou, Broes De Cat, Marc Denecker
2010	J	`jnl`	FO(FD): Extending classical logic with rule-based fixpoint definitions. Theory Pract. Log. Program. Ping Hou, Broes De Cat, Marc Denecker
2010	J	`jnl`	FO(ID) as an extension of DL with rules. Ann. Math. Artif. Intell. Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2010	J	`jnl`	Grounding FO and FO(ID) with Bounds. J. Artif. Intell. Res. Johan Wittocx, Maarten Mariën, Marc Denecker
2010	J	`jnl`	Towards a logical reconstruction of a theory for locally closed databases. ACM Trans. Database Syst. Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli
2009	B	`conf`	A Deductive System for FO(ID) Based on Least Fixpoint Logic. LPNMR Ping Hou, Marc Denecker
2009	B	`conf`	A Knowledge Base System Project for FO(.). ICLP Marc Denecker
2009	C	`conf`	A logical framework for configuration software. PPDP Hanne Vlaeminck, Joost Vennekens, Marc Denecker
2009	J	`jnl`	CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming CoRR Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2009	J	`jnl`	CP-logic: A language of causal probabilistic events and its relation to logic programming. Theory Pract. Log. Program. Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2009	B	`conf`	Debugging for Model Expansion. ICLP Johan Wittocx, Hanne Vlaeminck, Marc Denecker
2009	B	`conf`	FO(ID) as an Extension of DL with Rules. ESWC Joost Vennekens, Marc Denecker
2009	B	`conf`	The Second Answer Set Programming Competition. LPNMR Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski
2009	—	`conf`	Towards Computing Revised Models for FO Theories. INAP Johan Wittocx, Broes De Cat, Marc Denecker
2009	B	`conf`	Using Lightweight Inference to Solve Lightweight Problems. LPNMR Marc Denecker, Joost Vennekens
2008	J	`jnl`	A logic of nonmonotone inductive definitions. ACM Trans. Comput. Log. Marc Denecker, Eugenia Ternovska
2008	A*	`conf`	Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. KR Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2008	A*	`conf`	Approximate Reasoning in First-Order Logic Theories. KR Johan Wittocx, Maarten Mariën, Marc Denecker
2008	B	`conf`	Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. ICLP Marc Denecker, Joost Vennekens
2008	Misc	`conf`	Complexity of First Order ID-Logic. ISAIM John S. Schlipf, Marc Denecker
2008	A*	`conf`	Grounding with Bounds. AAAI Johan Wittocx, Maarten Mariën, Marc Denecker
2008	A	`conf`	SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. SAT Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe
2007	B	`conf`	A Deductive System for PC(ID). LPNMR Ping Hou, Johan Wittocx, Marc Denecker
2007	A*	`conf`	Approximate Query Answering in Locally Closed Databases. AAAI Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2007	J	`jnl`	Distance semantics for database repair. Ann. Math. Artif. Intell. Ofer Arieli, Marc Denecker, Maurice Bruynooghe
2007	J	`jnl`	Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. ACM Trans. Comput. Log. Joost Vennekens, David Gilis, Marc Denecker
2007	J	`jnl`	Inductive situation calculus. Artif. Intell. Marc Denecker, Eugenia Ternovska
2007	B	`conf`	Integrating Inductive Definitions in SAT. LPAR Maarten Mariën, Johan Wittocx, Marc Denecker
2007	J	`jnl`	Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Fundam. Informaticae Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
2007	J	`jnl`	Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Fundam. Informaticae Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
2007	B	`conf`	Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. LPNMR Marc Denecker, Joost Vennekens
2007	J	`jnl`	Well-founded and stable semantics of logic programs with aggregates. Theory Pract. Log. Program. Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2006	J	`jnl`	Computational methods for database repair by signed formulae. Ann. Math. Artif. Intell. Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2006	B	`conf`	Distance-Based Repairs of Databases. JELIA Ofer Arieli, Marc Denecker, Maurice Bruynooghe
2006	B	`conf`	Predicate Introduction Under Stable and Well-Founded Semantics. ICLP Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
2006	B	`conf`	Representation of Partial Knowledge and Query Answering in Locally Complete Databases. LPAR Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2006	B	`conf`	Representing Causal Information About a Probabilistic Process. JELIA Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2006	J	`jnl`	Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. ACM Trans. Comput. Log. Joost Vennekens, David Gilis, Marc Denecker
2005	J	`jnl`	A Logic for Non-Monotone Inductive Definitions CoRR Marc Denecker, Eugenia Ternovska
2005	B	`conf`	An Algebraic Account of Modularity in ID-Logic. LPNMR Joost Vennekens, Marc Denecker
2005	—	`conf`	An Algebraic Account of Modularity in ID-logic. Answer Set Programming Joost Vennekens, Marc Denecker
2005	—	`conf`	On the Local Closed-World Assumption of Data-Sources. BNAIC Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
2005	B	`conf`	On the Local Closed-World Assumption of Data-Sources. LPNMR Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
2005	B	`conf`	Satisfiability Checking for PC(ID). LPAR Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe
2005	—	`ch.`	Temporal Reasoning with iff-Abduction. Handbook of Temporal Reasoning in Artificial Intelligence Marc Denecker, Kristof Van Belleghem
2005	J	`jnl`	Well-founded and Stable Semantics of Logic Programs with Aggregates CoRR Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2004	B	`conf`	A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. LPNMR Marc Denecker, Eugenia Ternovska
2004	J	`jnl`	Coherent Integration of Databases by Abductive Logic Programming. J. Artif. Intell. Res. Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2004	A	`conf`	Data Integration Using ID-Logic. CAiSE Bert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2004	—	`conf`	Database Repair by Signed Formulae. FoIKS Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2004	A*	`conf`	Inductive Situation Calculus. KR Marc Denecker, Eugenia Ternovska
2004	B	`conf`	On the Relation Between ID-Logic and Answer Set Programming. JELIA Maarten Mariën, David Gilis, Marc Denecker
2004	B	`conf`	Partial Stable Models for Logic Programs with Aggregates. LPNMR Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2004	B	`conf`	Splitting an Operator. ICLP Joost Vennekens, David Gilis, Marc Denecker
2004	J	`jnl`	Splitting an operator: Algebraic modularity results for logics with fixpoint semantics CoRR Joost Vennekens, David Gilis, Marc Denecker
2004	—	`conf`	Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. NMR Joost Vennekens, David Gilis, Marc Denecker
2004	J	`jnl`	Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput. Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2004	A*	`conf`	What's in a Model? Epistemological Analysis of Logic Programming. KR Marc Denecker
2003	J	`jnl`	Reducing Preferential Paraconsistent Reasoning to Classical Entailment. J. Log. Comput. Ofer Arieli, Marc Denecker
2003	—	`conf`	Translation of Aggregate Programs to Normal Logic Programs. Answer Set Programming Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2003	J	`jnl`	Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
2003	—	`conf`	What's in a model? Epistemological analysis of Logic Programming. Answer Set Programming Marc Denecker
2002	—	`conf`	Abduction in Logic Programming. Computational Logic: Logic Programming and Beyond Marc Denecker, Antonis C. Kakas
2002	—	`conf`	Compositionally results for stratified nonmonotone operators. NMR David Gilis, Marc Denecker
2002	—	`conf`	Modeling Paraconsistent Reasoning by Classical Logic. FoIKS Ofer Arieli, Marc Denecker
2002	A	`conf`	On the Transformation of Object-Oriented Conceptual Models to Logical Theories. ER Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker
2002	—	`conf`	Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. Paraconsistent Computational Logic Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2002	A*	`conf`	Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. KR Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
2002	J	`jnl`	Ultimate approximations in nonmonotonic knowledge representation systems CoRR Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
2002	—	`conf`	Unifying abductive logic programming and stable logic programming. NMR Marc Denecker
2001	A*	`conf`	A-System: Problem Solving through Abduction. IJCAI Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker
2001	B	`conf`	Coherent Composition of Distributed Knowledge-Bases Through Abduction. LPAR Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe
2001	J	`jnl`	Logic programming revisited: Logic programs as inductive definitions. ACM Trans. Comput. Log. Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek
2001	—	`conf`	On the Epistemological foundations of Logic Programming and its Extensions. Answer Set Programming Marc Denecker
2001	B	`conf`	Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. ICLP Marc Denecker, Nikolay Pelov, Maurice Bruynooghe
2000	J	`jnl`	A note on the Declarative reading(s) of Logic Programming CoRR Marc Denecker
2000	J	`jnl`	Abductive reasoning with temporal information CoRR Sven Verdoolaege, Marc Denecker, Frank Van Eynde
2000	J	`jnl`	Compositionality of Normal Open Logic Programs. J. Log. Program. Sofie Verbaeten, Marc Denecker, Danny De Schreye
2000	J	`jnl`	Detecting Unsolvable Queries for Definite Logic Programs CoRR Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
2000	J	`jnl`	Extending Classical Logic with Inductive Definitions CoRR Marc Denecker
2000	—	`conf`	Extending Classical Logic with Inductive Definitions. Computational Logic Marc Denecker
2000	J	`jnl`	Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison CoRR Nikolay Pelov, Emmanuel De Mot, Marc Denecker
2000	B	`conf`	Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. LPAR Nikolay Pelov, Emmanuel De Mot, Marc Denecker
2000	J	`jnl`	Problem solving in ID-logic with aggregates: some experiments CoRR Bert Van Nuffelen, Marc Denecker
2000	J	`jnl`	Project Report on LP AI Commun. Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens
2000	J	`jnl`	Semantic interpretation of temporal information by abductive inference CoRR Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde
2000	J	`jnl`	Special issue: abductive logic programming. J. Log. Program. Marc Denecker, Antonis C. Kakas
2000	A*	`conf`	Uniform semantic treatment of default and autoepistemic logic. KR Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
2000	J	`jnl`	Uniform semantic treatment of default and autoepistemic logics CoRR Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
1999	—	`ch.`	Assessment of Some Issues in CL-Theory and Program Development. The Logic Programming Paradigm Danny De Schreye, Marc Denecker
1999	J	`jnl`	Detecting Unsolvable Queries for Definite Logic Programs J. Funct. Log. Program. Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
1999	J	`jnl`	Fixpoint 3-valued semantics for autoepistemic logic CoRR Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
1999	—	`conf`	Semantic interpretation of temporal information by abductive inference. CLIN Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde
1998	J	`jnl`	An Inductive Definition Approach to Ramifications. Electron. Trans. Artif. Intell. Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem
1998	—	`conf`	Detecting Unsolvable Queries for Definite Logic Programs. PLILP/ALP Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
1998	—	`conf`	Fixpoint 3-Valued Semantics for Autoepistemic Logic. AAAI/IAAI Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
1998	J	`jnl`	SLDNFA: An Abductive Procedure for Abductive Logic Programs. J. Log. Program. Marc Denecker, Danny De Schreye
1998	B	`conf`	The Well-Founded Semantics Is the Principle of Inductive Definition. JELIA Marc Denecker
1997	B	`conf`	A Strong Correspondence between Description Logics and Open Logic Programming. ICLP Kristof Van Belleghem, Marc Denecker, Danny De Schreye
1997	—	`conf`	Compositionality of Normal Open Logic Programs. ILPS Sofie Verbaeten, Marc Denecker, Danny De Schreye
1997	J	`jnl`	On the Relation Between Situation Calculus and Event Calculus. J. Log. Program. Kristof Van Belleghem, Marc Denecker, Danny De Schreye
1996	B	`conf`	A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. SAS Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
1996	—	`conf`	A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. JICSLP Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye
1995	B	`conf`	A Terminological Interpretation of (Abductive) Logic Programming. LPNMR Marc Denecker
1995	A*	`conf`	AILP: Abductive Inductive Logic Programming. IJCAI Hilde Adé, Marc Denecker
1995	J	`jnl`	CHICA, an Abductive Planning System Based on Event Calculus. J. Log. Comput. Lode Missiaen, Maurice Bruynooghe, Marc Denecker
1995	B	`conf`	Combining Situation Calculus and Event Calculus. ICLP Kristof Van Belleghem, Marc Denecker, Danny De Schreye
1995	J	`jnl`	Representing Incomplete Knowledge in Abductive Logic Programming. J. Log. Comput. Marc Denecker, Danny De Schreye
1995	—	`conf`	Using Event Calculus for Protocol Specification: An Experiment. Deductive Databases / Abduction in Deductive Databases Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye
1994	—	`conf`	Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker
1994	J	`jnl`	On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality. Theor. Comput. Sci. Marc Denecker, Danny De Schreye
1994	B	`conf`	Representing Continuous Change in the Abductive Event Calculus. ICLP Kristof Van Belleghem, Marc Denecker, Danny De Schreye
1994	—	`conf`	The Abductive Event Calculus as a General Framework for Temporal Databases. ICTL Kristof Van Belleghem, Marc Denecker, Danny De Schreye
1993	B	`conf`	Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. LPNMR Marc Denecker, Danny De Schreye
1993	—	`conf`	Representing Incomplete Knowledge in Abductive Logic Programming. ILPS Marc Denecker, Danny De Schreye
1992	—	`conf`	On the Duality of Abduction and Model Generation. FGCS Marc Denecker, Danny De Schreye
1992	—	`conf`	SLDNFA: An Abductive Procedure for Normal Abductive Programs. JICSLP Marc Denecker, Danny De Schreye
1992	A	`conf`	Temporal Reasoning with Abductive Event Calculus. ECAI Marc Denecker, Lode Missiaen, Maurice Bruynooghe