Yves Moinard

Publication Activity (10 Years)

Years Active: 1988-2017
Publications (10 Years): 5

Top Topics

Conditional Probabilities

Answer Set Programming

Argumentation Frameworks

Top Venues

Rev. d'Intelligence Artif.

Publications

Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. CoRR (2017)
Thomas Guyet, Yves Moinard, Rene Quiniou, Torsten Schaub
Fouille de motifs séquentiels avec ASP. EGC (2016)
Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. EGC (best of volume) (2016)
Thomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou
Packing Graphs with ASP for Landscape Simulation. IJCAI (2016)
Thomas Guyet, Yves Moinard, René Quiniou
Programmation par ensembles réponses pour simuler l'assolement d'un paysage. Rev. d'Intelligence Artif. 29 (3-4) (2015)
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Arguments using ontological and causal knowledge. CoRR (2014)
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Arguments Using Ontological and Causal Knowledge. FoIKS (2014)
Thomas Guyet, Yves Moinard, René Quiniou
Using Answer Set Programming for pattern mining. CoRR (2014)
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Ontology-based inference for causal explanation CoRR (2010)
Yves Moinard
A Formalism for Causal Explanations with an Answer Set Programming Translation. KSEM (2010)
Yves Moinard
A formalism for causal explanations with an Answer Set Programming translation CoRR (2010)
Yves Moinard
Using ASP with recent extensions for causal explanations CoRR (2010)
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Ontology-based inference for causal explanation. Integr. Comput. Aided Eng. 15 (4) (2008)
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Deriving explanations from causal information. ECAI (2008)
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Ontology-Based Inference for Causal Explanation. KSEM (2007)
Yves Moinard
Forgetting Literals with Varying Propositional Symbols. J. Log. Comput. 17 (5) (2007)
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Configurations for Inference Between Causal Statements. KSEM (2006)
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Configurations for Inference from Causal Statements: Preliminary Report. AI*IA (2005)
Yves Moinard
Plausibility Structures for Default Reasoning. ECAI (2004)
Yves Moinard
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments CoRR (2002)
Yves Moinard
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. ECAI (2002)
Yves Moinard, Raymond Rolland
Characterizations of Preferential Entailments. Log. J. IGPL 10 (3) (2002)
Yves Moinard
Linking Makinson and Kraus-Lehmann- Magidor preferential entailments. NMR (2002)
Yves Moinard
General Preferential Entailments as Circumscriptions. ECSQARU (2001)
Yves Moinard
Characterizing General Preferential Entailments. ECAI (2000)
Yves Moinard, Raymond Rolland
Equivalent Sets of Formulas for Circumscriptions. ECAI (2000)
Yves Moinard, Raymond Rolland
Smallest Equivalent Sets for Finite Propositional Formula Circumscription. Computational Logic (2000)
Yves Moinard
Note about cardinality-based circumscription. Artif. Intell. 119 (1-2) (2000)
Yves Moinard, Raymond Rolland
Preferential Entailments for Circumscriptions. KR (1994)
Philippe Besnard, Yves Moinard
Implication Connectives for Logics with Right Weakening. IPMU (1994)
Yves Moinard
Notes on change and nonmonotony. Int. J. Intell. Syst. 9 (1) (1994)
Yves Moinard, Raymond Rolland
Around a Powerful Property of Circumscriptions. JELIA (1994)
Yves Moinard
Reasoning by Cases without Contraposition in Default Logic. ECAI (1994)
Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul J. Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramón López de Mántaras, Lluís Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney
DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6 (1) (1993)
Yves Moinard
Circumscriptions as Preferential Entailment. ECAI (1992)
Yves Moinard
Unifying Various Approaches to Default Logic. IPMU (1992)
Yves Moinard, Raymond Rolland
Circumscription and Definability. IJCAI (1991)
Yves Moinard, Raymond Rolland
Unexpected and Unwanted Results of Circumscription. AIMSA (1990)
Yves Moinard
Circumscription and Horn Theories. ECAI (1990)
Philippe Besnard, Yves Moinard, Robert E. Mercer
The Importance of Open and Recursive Circumscription. Artif. Intell. 39 (2) (1989)
Yves Moinard
Computing Circumscription of Horn Theories. ECAI (1988)
Yves Moinard
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). ICLP/SLP (1988)