Marc Denecker

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

A Sequent Calculus for Generalized Inductive Definitions.

[BibT_eX]

[DOI]

Robbe Van den Eede

Robbe Van Biervliet

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

Towards a Unifying View on Monotone Constructive Definitions.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Image Analysis, 2024

Using Symmetries to Lift Satisfiability Checking.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Interactive Model Expansion in an Observable Environment.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., July, 2023

A Better Logical Semantics for Prolog.

[BibT_eX]

[DOI]

David Scott Warren

Proceedings of the Prolog: The Next 50 Years, 2023

Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control.

[BibT_eX]

[DOI]

CoRR, 2023

The Logic of Logic Programming.

[BibT_eX]

[DOI]

David Scott Warren

CoRR, 2023

Quantification and aggregation over concepts of the ontology.

[BibT_eX]

[DOI]

Pierre Carbonnelle

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Towards Systematic Treatment of Partial Functions in Knowledge Representation.

[BibT_eX]

[DOI]

Djordje Markovic

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Justifications and a Reconstruction of Parity Game Solving Algorithms.

[BibT_eX]

[DOI]

Ruben Lapauw

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.

[BibT_eX]

[DOI]

Linde Vanbesien

Theory Pract. Log. Program., 2022

On Nested Justification Systems.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

On Nested Justification Systems (full version).

[BibT_eX]

[DOI]

CoRR, 2022

IDP-Z3: a reasoning engine for FO(.).

[BibT_eX]

[DOI]

CoRR, 2022

On the Semantics of "null" in DMN: Undefined is not Unknown.

[BibT_eX]

[DOI]

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

On the Relation Between Approximation Fixpoint Theory and Justification Theory.

[BibT_eX]

[DOI]

Simon Marynissen

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Exploiting Game Theory for Analysing Justifications.

[BibT_eX]

[DOI]

Simon Marynissen

Theory Pract. Log. Program., 2020

Improving Parity Game Solvers with Justifications.

[BibT_eX]

[DOI]

Ruben Lapauw

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).

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019

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

[BibT_eX]

[DOI]

Yuliya Lierler

CoRR, 2019

Knowledge representation analysis of graph mining.

[BibT_eX]

[DOI]

Sergey Paramonov

Gerda Janssens

Ann. Math. Artif. Intell., 2019

Explaining Actual Causation in Terms of Possible Causal Processes.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

An Interactive Consultant.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2018

Safe inductions and their applications in knowledge representation.

[BibT_eX]

[DOI]

Artif. Intell., 2018

Transpiling Programming Computable Functions to Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2018

Predicate logic as a modeling language: the IDP system.

[BibT_eX]

[DOI]

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017

The KB paradigm and its application to interactive configuration.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Safe Inductions: An Algebraic Study.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

On local domain symmetry for model expansion.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

On Well-Founded Set-Inductions and Locally Monotone Operators.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2016

Bootstrapping Inference in the IDP Knowledge Base System.

[BibT_eX]

[DOI]

New Gener. Comput., 2016

Implementing a Relevance Tracker Module.

[BibT_eX]

[DOI]

CoRR, 2016

First Order Logic with Inductive Definitions for Model-Based Problem Solving.

[BibT_eX]

[DOI]

AI Mag., 2016

Improved Static Symmetry Breaking for SAT.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment.

[BibT_eX]

[DOI]

Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016

Relevance for SAT(ID).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Distributed Autoepistemic Logic and its Application to Access Control.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Compositional Typed Higher-Order Logic with Definitions.

[BibT_eX]

[DOI]

Gerda Janssens

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Consistent Integration of Decision (DMN) and Process (BPMN) Models.

[BibT_eX]

[DOI]

Proceedings of the CAiSE'16 Forum, 2016

2015

Semantics of templates in a compositional framework for building logics.

[BibT_eX]

[DOI]

Gerda Janssens

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>.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Lazy Model Expansion: Interleaving Grounding with Search.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

Visualising interactive inferences with IDPD3.

[BibT_eX]

[DOI]

Ruben Lapauw

CoRR, 2015

Grounded fixpoints and their applications in knowledge representation.

[BibT_eX]

[DOI]

Artif. Intell., 2015

A Formal Theory of Justifications.

[BibT_eX]

[DOI]

Gerhard Brewka

Hannes Strass

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

An Exercise in Declarative Modeling for Relational Query Mining.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Partial Grounded Fixpoints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Grounded Fixpoints.

[BibT_eX]

[DOI]

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

2014

Simulating Dynamic Systems Using Linear Time Calculus Theories.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Modelling Delegation and Revocation Schemes in IDP.

[BibT_eX]

[DOI]

Marcos Cramer

Pieter Van Hertum

Diego Agustín Ambrossio

CoRR, 2014

Predicate Logic as a Modelling Language: The IDP System.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

FO(C) and Related Modelling Paradigms.

[BibT_eX]

[DOI]

CoRR, 2014

The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Inference in the FO(C) Modelling Language.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Constraint Propagation for First-Order Logic and Inductive Definitions.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

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

[BibT_eX]

[DOI]

CoRR, 2013

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

[BibT_eX]

[DOI]

CoRR, 2013

Model Expansion in the Presence of Function Symbols Using Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

An approximative inference method for solving ∃∀SO satisfiability problems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

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

[BibT_eX]

[DOI]

CoRR, 2012

Ordered Epistemic Logic: Semantics, Complexity and Applications.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

A Tarskian Informal Semantics for Answer Set Programming.

[BibT_eX]

[DOI]

Yuliya Lierler

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Lazy Model Expansion by Incremental Grounding.

[BibT_eX]

[DOI]

Broes De Cat

Peter J. Stuckey

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Modeling Machine Learning and Data Mining Problems with FO(·).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

A General Representation and Approximate Inference Algorithm for Sensing Actions.

[BibT_eX]

[DOI]

Hanne Vlaeminck

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

[BibT_eX]

[DOI]

Victor W. Marek

CoRR, 2011

A Prototype of a Knowledge-Based Programming Environment.

[BibT_eX]

[DOI]

Stef De Pooter

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

FO(FD): Extending classical logic with rule-based fixpoint definitions.

[BibT_eX]

[DOI]

Broes De Cat

Theory Pract. Log. Program., 2010

Towards a logical reconstruction of a theory for locally closed databases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2010

Grounding FO and FO(ID) with Bounds.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2010

Constraint Propagation for Extended First-Order Logic

[BibT_eX]

[DOI]

CoRR, 2010

FO(ID) as an extension of DL with rules.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2009

A logical framework for configuration software.

[BibT_eX]

[DOI]

Hanne Vlaeminck

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.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

The Second Answer Set Programming Competition.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Using Lightweight Inference to Solve Lightweight Problems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Towards Computing Revised Models for FO Theories.

[BibT_eX]

[DOI]

Broes De Cat

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

Debugging for Model Expansion.

[BibT_eX]

[DOI]

Hanne Vlaeminck

Proceedings of the Logic Programming, 25th International Conference, 2009

A Knowledge Base System Project for FO(.).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

FO(ID) as an Extension of DL with Rules.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

2008

A logic of nonmonotone inductive definitions.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Approximate Reasoning in First-Order Logic Theories.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Complexity of First Order ID-Logic.

[BibT_eX]

[DOI]

John S. Schlipf

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.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Grounding with Bounds.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Well-founded and stable semantics of logic programs with aggregates.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2007

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Distance semantics for database repair.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Inductive situation calculus.

[BibT_eX]

[DOI]

Artif. Intell., 2007

A Deductive System for PC(ID).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Integrating Inductive Definitions in SAT.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

Approximate Query Answering in Locally Closed Databases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Splitting an operator: Algebraic modularity results for logics with fixpoint semantics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2006

Computational methods for database repair by signed formulae.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

Representation of Partial Knowledge and Query Answering in Locally Complete Databases.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2006

Representing Causal Information About a Probabilistic Process.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Distance-Based Repairs of Databases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Predicate Introduction Under Stable and Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Temporal Reasoning with iff-Abduction.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

A Logic for Non-Monotone Inductive Definitions

[BibT_eX]

[DOI]

CoRR, 2005

On the Local Closed-World Assumption of Data-Sources.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Satisfiability Checking for PC(ID).

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

An Algebraic Account of Modularity in ID-logic.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

2004

Coherent Integration of Databases by Abductive Logic Programming.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2004

Ultimate approximation and its application in nonmonotonic knowledge representation systems.

[BibT_eX]

[DOI]

Victor W. Marek

Inf. Comput., 2004

Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Partial Stable Models for Logic Programs with Aggregates.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

A Logic of Non-monotone Inductive Definitions and Its Modularity Properties.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

What's in a Model? Epistemological Analysis of Logic Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Splitting an Operator.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

Database Repair by Signed Formulae.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2004

Data Integration Using ID-Logic.

[BibT_eX]

[DOI]

Bert Van Nuffelen

Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

2003

Reducing Preferential Paraconsistent Reasoning to Classical Entailment.

[BibT_eX]

[DOI]

J. Log. Comput., 2003

Uniform semantic treatment of default and autoepistemic logics.

[BibT_eX]

[DOI]

Artif. Intell., 2003

Translation of Aggregate Programs to Normal Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

2002

Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistent Computational Logic, 2002

Compositionally results for stratified nonmonotone operators.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Unifying abductive logic programming and stable logic programming.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Ultimate Approximations in Nonmonotonic Knowledge Representation Systems.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Modeling Paraconsistent Reasoning by Classical Logic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2002

On the Transformation of Object-Oriented Conceptual Models to Logical Theories.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2002

Abduction in Logic Programming.

[BibT_eX]

[DOI]

Antonis C. Kakas

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Logic programming revisited: Logic programs as inductive definitions.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2001

Coherent Composition of Distributed Knowledge-Bases Through Abduction.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

A-System: Problem Solving through Abduction.

[BibT_eX]

Antonis C. Kakas

Bert Van Nuffelen

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 17th International Conference, 2001

On the Epistemological foundations of Logic Programming and its Extensions.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

Compositionality of Normal Open Logic Programs.

[BibT_eX]

[DOI]

Sofie Verbaeten

J. Log. Program., 2000

Special issue: abductive logic programming.

[BibT_eX]

[DOI]

Antonis C. Kakas

J. Log. Program., 2000

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

[BibT_eX]

[DOI]

CoRR, 2000

Abductive reasoning with temporal information

[BibT_eX]

[DOI]

Sven Verdoolaege

Frank Van Eynde

CoRR, 2000

Problem solving in ID-logic with aggregates: some experiments

[BibT_eX]

[DOI]

Bert Van Nuffelen

CoRR, 2000

Project Report on LP<sup>+</sup>: A Second Generation Logic Programming Language.

[BibT_eX]

[DOI]

AI Commun., 2000

Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison.

[BibT_eX]

[DOI]

Emmanuel De Mot

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Uniform semantic treatment of default and autoepistemic logic.

[BibT_eX]

Proceedings of the KR 2000, 2000

Extending Classical Logic with Inductive Definitions.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

Detecting Unsolvable Queries for Definite Logic Programs

[BibT_eX]

J. Funct. Log. Program., 1999

Semantic interpretation of temporal information by abductive inference.

[BibT_eX]

[DOI]

Proceedings of the Computational Linguistics in the Netherlands 1999, 1999

Assessment of Some Issues in CL-Theory and Program Development.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

SLDNFA: An Abductive Procedure for Abductive Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1998

An Inductive Definition Approach to Ramifications.

[BibT_eX]

[DOI]

Daniele Theseider Dupré

Electron. Trans. Artif. Intell., 1998

The Well-Founded Semantics Is the Principle of Inductive Definition.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Fixpoint 3-Valued Semantics for Autoepistemic Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Log. Program., 1997

A Strong Correspondence between Description Logics and Open Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996

A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification.

[BibT_eX]

[DOI]

Guy Duchatelet

Frank Piessens

Proceedings of the Logic Programming, 1996

1995

CHICA, an Abductive Planning System Based on Event Calculus.

[BibT_eX]

[DOI]

Lode Missiaen

J. Log. Comput., 1995

Representing Incomplete Knowledge in Abductive Logic Programming.

[BibT_eX]

[DOI]

J. Log. Comput., 1995

A Terminological Interpretation of (Abductive) Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

AILP: Abductive Inductive Logic Programming.

[BibT_eX]

[DOI]

Hilde Adé

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Combining Situation Calculus and Event Calculus.

[BibT_eX]

Proceedings of the Logic Programming, 1995

Using Event Calculus for Protocol Specification: An Experiment.

[BibT_eX]

Guy Duchatelet

Frank Piessens

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

Abstracting s-semantincs Using A Model-Theoretic Approach.

[BibT_eX]

[DOI]

Dmitri Boulanger

Proceedings of the Programming Language Implementation and Logic Programming, 1994

The Abductive Event Calculus as a General Framework for Temporal Databases.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

Representing Continuous Change in the Abductive Event Calculus.

[BibT_eX]

Proceedings of the Logic Programming, 1994

1993

Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1992

SLDNFA: An Abductive Procedure for Normal Abductive Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1992

On the Duality of Abduction and Model Generation.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Temporal Reasoning with Abductive Event Calculus.

[BibT_eX]

Lode Missiaen