Pierre Marquis

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020

Elements for a History of Artificial Intelligence.

[BibT_eX]

[DOI]

Odile Papini

Henri Prade

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020

2019

What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Rational Inference Relations from Maximal Consistent Subsets Selection.

[BibT_eX]

[DOI]

Srdjan Vesic

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Recursive Algorithm for Projected Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Belief base rationalization for propositional merging.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Robust Coalition Structure Generation.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Probabilistic Coalition Structure Generation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

On Belief Promotion.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

New Inference Relations from Maximal Consistent Subsets.

[BibT_eX]

[DOI]

Srdjan Vesic

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

DMC: A Distributed Model Counter.

[BibT_eX]

[DOI]

Nicolas Szczepanski

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Pseudo-Boolean Constraints from a Knowledge Representation Perspective.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

On Consensus in Belief Merging.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

On Preprocessing Techniques and Their Impact on Propositional Model Counting.

[BibT_eX]

[DOI]

J. Autom. Reason., 2017

Contraction in propositional logic.

[BibT_eX]

[DOI]

Thomas Caridroit

Int. J. Approx. Reason., 2017

Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Boosting Distance-Based Revision Using SAT Encodings.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

An Improved Decision-DNNF Compiler.

[BibT_eX]

[DOI]

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

Defining and Evaluating Heuristics for the Compilation of Constraint Networks.

[BibT_eX]

[DOI]

Anastasia Paparrizou

Proceedings of the Principles and Practice of Constraint Programming, 2017

SAT Encodings for Distance-Based Belief Merging Operators.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Reports of the 2016 AAAI Workshop Program.

[BibT_eX]

[DOI]

AI Mag., 2016

Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?.

[BibT_eX]

[DOI]

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

Improving Model Counting by Leveraging Definability.

[BibT_eX]

[DOI]

Emmanuel Lonca

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

Fixed-Parameter Tractable Optimization Under DNNF Constraints.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On Distances Between KD45n Kripke Models and Their Use for Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

An Improved CNF Encoding Scheme for Probabilistic Inference.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Preface: The Beyond NP Workshop.

[BibT_eX]

[DOI]

João Marques-Silva

Proceedings of the Beyond NP, 2016

2015

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs.

[BibT_eX]

[DOI]

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

Extension Enforcement in Abstract Argumentation as an Optimization Problem.

[BibT_eX]

[DOI]

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

On Supported Inference and Extension Selection in Abstract Argumentation Frameworks.

[BibT_eX]

[DOI]

Srdjan Vesic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Private Expansion and Revision in Multi-agent Settings.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

How to Form a Task-Oriented Robust Team.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Belief Merging versus Judgment Aggregation.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Private Revision in a Multi-Agent Setting.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Belief Revision Games.

[BibT_eX]

[DOI]

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

Compile!

[BibT_eX]

[DOI]

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

2014

Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations.

[BibT_eX]

[DOI]

Nicolas Schmidt

Rev. d'Intelligence Artif., 2014

On the Complexity of Optimization Problems based on Compiled NNF Representations.

[BibT_eX]

[DOI]

Daniel Le Berre

Emmanuel Lonca

CoRR, 2014

Lost in translation: Language independence in propositional logic - application to belief change.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Disjunctive closures for knowledge compilation.

[BibT_eX]

[DOI]

Artif. Intell., 2014

On Egalitarian Belief Merging.

[BibT_eX]

[DOI]

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

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses.

[BibT_eX]

[DOI]

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

A Translation-Based Approach for Revision of Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries.

[BibT_eX]

[DOI]

Odile Papini

Henri Prade

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Propositional Merging and Judgment Aggregation: Two Compatible Approaches?

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Symmetry-Driven Decision Diagrams for Knowledge Compilation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Counting votes for aggregating judgments.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Preprocessing for Propositional Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Propositional Update Operators Based on Formula/Literal Dependence.

[BibT_eX]

[DOI]

Andreas Herzig

ACM Trans. Comput. Log., 2013

Knowledge Compilation for Model Counting: Affine Decision Trees.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues.

[BibT_eX]

[DOI]

Nicolas Schmidt

Proceedings of the IJCAI 2013, 2013

Towards a Knowledge Compilation Map for Heterogeneous Representation Languages.

[BibT_eX]

[DOI]

Alexandre Niveau

Proceedings of the IJCAI 2013, 2013

Planning Personalised Museum Visits.

[BibT_eX]

[DOI]

Daniel Le Berre

Stéphanie Roussel

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Introduction.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2012

Compositional Belief Merging.

[BibT_eX]

[DOI]

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

Weighted Attacks in Argumentation Frameworks.

[BibT_eX]

[DOI]

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

On Unit-Refutation Complete Formulae with Existentially Quantified Variables.

[BibT_eX]

[DOI]

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

Argument Aggregation: Basic Axioms and Complexity Results.

[BibT_eX]

[DOI]

Paul E. Dunne

Michael J. Wooldridge

Proceedings of the Computational Models of Argument, 2012

Selecting Extensions in Weighted Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2012

2011

Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Existential Closures for Knowledge Compilation.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

Reasoning under inconsistency: A forgetting-based approach.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Disjunctive merging: Quota and Gmin merging operators.

[BibT_eX]

[DOI]

Artif. Intell., 2010

A Syntactical Approach to Qualitative Constraint Networks Merging.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

A Characterization of Optimality Criteria for Decision Making under Complete Ignorance.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

The Epistemic View of Belief Merging: Can We Track the Truth?.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Majority Merging: from Boolean Spaces to Affine Spaces.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Knowledge Compilation in the Modal Logic S5.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Introspective forgetting.

[BibT_eX]

[DOI]

Synth., 2009

Representing interval orders by weighted bases: Some complexity results.

[BibT_eX]

[DOI]

Meltem Öztürk

Math. Soc. Sci., 2009

Handling controversial arguments.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2009

Knowledge Compilation Properties of Trees-of-BDDs, Revisited.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Merging Qualitative Constraint Networks in a Piecewise Fashion.

[BibT_eX]

[DOI]

Proceedings of the ICTAI 2009, 2009

Merging Qualitative Constraints Networks Using Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory, 9th International Conference, 2009

Aggregating Interval Orders by Propositional Optimization.

[BibT_eX]

[DOI]

Daniel Le Berre

Meltem Öztürk

Proceedings of the Algorithmic Decision Theory, First International Conference, 2009

2008

Bipolarity in bilattice logics.

[BibT_eX]

[DOI]

Philippe Besnard

Int. J. Intell. Syst., 2008

On propositional definability.

[BibT_eX]

[DOI]

Artif. Intell., 2008

Conflict-Based Merging Operators.

[BibT_eX]

[DOI]

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

Jeux Qualitatifs à Résultats Multiples (présentation courte).

[BibT_eX]

Proceedings of the Systèmes Multi-Agents, Communautés virtuelles et naturelles - JFSMA 08, 2008

Recovering Consistency by Forgetting Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

A Model for Multiple Outcomes Games.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Extending the Knowledge Compilation Map: Closure Principles.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Propositional merging operators based on set-theoretic closeness.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond.

[BibT_eX]

[DOI]

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

2007

Conciliation through Iterated Belief Merging.

[BibT_eX]

[DOI]

Olivier Gauwin

J. Log. Comput., 2007

The Strategy-Proofness Landscape of Merging.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2007

On the merging of Dung's argumentation systems.

[BibT_eX]

[DOI]

Marie-Christine Lagasquie-Schiex

Artif. Intell., 2007

On Valued Negation Normal Form Formulas.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

2006

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2006

Some Computational Aspects of distance-sat.

[BibT_eX]

[DOI]

Olivier Bailleux

J. Autom. Reason., 2006

Representing Policies for Quantified Boolean Formulae.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Constrained Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Les ressources et la planification temporelle.

[BibT_eX]

Zied Loukil

Abdelmajid Ben Hamadou

Vincent Vidal

Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006

Variable Forgetting in Preference Relations over Propositional Domains.

[BibT_eX]

Philippe Besnard

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Inference from Controversial Arguments.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

Reasoning under inconsistency: the forgotten connective.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Quota and Gmin Merging Operators.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Prudent Semantics for Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Conciliation and Consensus in Iterated Belief Merging.

[BibT_eX]

[DOI]

Olivier Gauwin

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Symmetric Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

On the Complexity of Paraconsistent Inference Relations.

[BibT_eX]

[DOI]

Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

Merging Argumentation Systems.

[BibT_eX]

[DOI]

Marie-Christine Lagasquie-Schiex

Proceedings of the Proceedings, 2005

Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

On Stratified Belief Base Compilation.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

DA<sup>2</sup> merging operators.

[BibT_eX]

[DOI]

Artif. Intell., 2004

Compiling propositional weighted bases.

[BibT_eX]

[DOI]

Artif. Intell., 2004

On Merging Strategy-Proofness.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Expressive Power and Succinctness of Propositional Languages for Preference Representation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Propositional Independence: Formula-Variable Independence and Forgetting.

[BibT_eX]

[DOI]

Paolo Liberatore

J. Artif. Intell. Res., 2003

Resource-Bounded Paraconsistent Inference.

[BibT_eX]

[DOI]

Nadège Porquet

Ann. Math. Artif. Intell., 2003

Causal Theories of Action: A Computational Core.

[BibT_eX]

[DOI]

Fangzhen Lin

Proceedings of the IJCAI-03, 2003

Quantifying information and contradiction in propositional logic through test actions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Action representation and partially observable planning using epistemic logic.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the IJCAI-03, 2003

2002

A Knowledge Compilation Map.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2002

Conditional independence in propositional logic.

[BibT_eX]

[DOI]

Paolo Liberatore

Artif. Intell., 2002

Consistency restoration and explanations in dynamic CSPs Application to configuration.

[BibT_eX]

[DOI]

Jérôme Amilhastre

Artif. Intell., 2002

Compilation of propositional weighted bases.

[BibT_eX]

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

Resolving Inconsistencies by Variable Forgetting.

[BibT_eX]

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

Distance Based Merging: A General Framework and some Complexity Results.

[BibT_eX]

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

Complexity Results for Paraconsistent Inference Relations.

[BibT_eX]

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

Three-Valued Logics for Inconsistency Handling.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions.

[BibT_eX]

[DOI]

Stud Logica, 2001

Knowledge Compilation for Closed World Reasoning and Circumscription.

[BibT_eX]

[DOI]

J. Log. Comput., 2001

Computational Aspects of Quasi-Classical Entailment.

[BibT_eX]

[DOI]

Nadège Porquet

J. Appl. Non Class. Logics, 2001

Resource-bounded inference from inconsistent belief bases.

[BibT_eX]

Nadège Porquet

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

Updates, actions, and planning.

[BibT_eX]

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

A Perspective on Knowledge Compilation.

[BibT_eX]

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

Updating Epistemic States.

[BibT_eX]

[DOI]

Mary-Anne Williams

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

In search of the right extension.

[BibT_eX]

Proceedings of the KR 2000, 2000

Propositional Logic and One-Stage Decision Making.

[BibT_eX]

Proceedings of the KR 2000, 2000

Compiling Stratified Belief Bases.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

1999

Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

DISTANCE-SAT: Complexity and Algorithms.

[BibT_eX]

[DOI]

Olivier Bailleux

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Complexity Results for Independence and Definability in Propositional Logic.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterisation.

[BibT_eX]

[DOI]

Nicolas Lachiche

Proceedings of the Machine Learning: ECML-98, 1998

Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 1998

Two Forms of Dependence in Propositional Logic: Controllability and Definability.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Tractable Cover Compilations.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

A Model for Generalization Based on Confirmatory Induction.

[BibT_eX]

[DOI]

Nicolas Lachiche

Proceedings of the Machine Learning: ECML-97, 1997

1996

Novelty in Deductive Databases.

[BibT_eX]

[DOI]

Éric Grégoire

J. Log. Comput., 1996

A New Algorithm for Computing Theory Prime Implicates Compilations.

[BibT_eX]

[DOI]

Samira Sadaoui

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Knowledge Compilation Using Theory Prime Implicates.

[BibT_eX]

[DOI]