Yves Moinard

43 papers A* 3A 9B 1C 6Misc 1Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2020 — ch.
Logic Programming.
A Guided Tour of Artificial Intelligence Research (2) (II)
Arnaud Lallouet, Yves Moinard, Pascal Nicolas, Igor Stéphan
2017 J jnl
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks.
CoRR
Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub
2016 — conf
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks.
EGC (best of volume)
Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub
2016 — conf
Fouille de motifs séquentiels avec ASP.
EGC
Thomas Guyet, Yves Moinard, Rene Quiniou, Torsten Schaub
2016 A* conf
Packing Graphs with ASP for Landscape Simulation.
IJCAI
Thomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou
2015 J jnl
Programmation par ensembles réponses pour simuler l'assolement d'un paysage.
Rev. d'Intelligence Artif.
Thomas Guyet, Yves Moinard, René Quiniou
2014 — conf
Arguments Using Ontological and Causal Knowledge.
FoIKS
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2014 J jnl
Arguments using ontological and causal knowledge.
CoRR
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2014 J jnl
Using Answer Set Programming for pattern mining.
CoRR
Thomas Guyet, Yves Moinard, René Quiniou
2010 C conf
A Formalism for Causal Explanations with an Answer Set Programming Translation.
KSEM
Yves Moinard
2010 J jnl
A formalism for causal explanations with an Answer Set Programming translation
CoRR
Yves Moinard
2010 J jnl
Ontology-based inference for causal explanation
CoRR
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2010 J jnl
Using ASP with recent extensions for causal explanations
CoRR
Yves Moinard
2008 A conf
Deriving explanations from causal information.
ECAI
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2008 J jnl
Ontology-based inference for causal explanation.
Integr. Comput. Aided Eng.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2007 J jnl
Forgetting Literals with Varying Propositional Symbols.
J. Log. Comput.
Yves Moinard
2007 C conf
Ontology-Based Inference for Causal Explanation.
KSEM
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2006 C conf
Configurations for Inference Between Causal Statements.
KSEM
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2005 — conf
Configurations for Inference from Causal Statements: Preliminary Report.
AI*IA
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2004 A conf
Plausibility Structures for Default Reasoning.
ECAI
Yves Moinard
2002 J jnl
Characterizations of Preferential Entailments.
Log. J. IGPL
Yves Moinard, Raymond Rolland
2002 — conf
Linking Makinson and Kraus-Lehmann- Magidor preferential entailments.
NMR
Yves Moinard
2002 J jnl
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
CoRR
Yves Moinard
2002 A conf
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments.
ECAI
Yves Moinard
2001 C conf
General Preferential Entailments as Circumscriptions.
ECSQARU
Yves Moinard
2000 A conf
Characterizing General Preferential Entailments.
ECAI
Yves Moinard
2000 A conf
Equivalent Sets of Formulas for Circumscriptions.
ECAI
Yves Moinard, Raymond Rolland
2000 J jnl
Note about cardinality-based circumscription.
Artif. Intell.
Yves Moinard
2000 — conf
Smallest Equivalent Sets for Finite Propositional Formula Circumscription.
Computational Logic
Yves Moinard, Raymond Rolland
1994 B conf
Around a Powerful Property of Circumscriptions.
JELIA
Yves Moinard, Raymond Rolland
1994 C conf
Implication Connectives for Logics with Right Weakening.
IPMU
Philippe Besnard, Yves Moinard
1994 J jnl
Notes on change and nonmonotony.
Int. J. Intell. Syst.
Yves Moinard
1994 A* conf
Preferential Entailments for Circumscriptions.
KR
Yves Moinard, Raymond Rolland
1994 A conf
Reasoning by Cases without Contraposition in Default Logic.
ECAI
Yves Moinard
1993 J jnl
DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun.
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
1992 A conf
Circumscriptions as Preferential Entailment.
ECAI
Yves Moinard
1992 C conf
Unifying Various Approaches to Default Logic.
IPMU
Yves Moinard
1991 A* conf
Circumscription and Definability.
IJCAI
Yves Moinard, Raymond Rolland
1990 A conf
Circumscription and Horn Theories.
ECAI
Yves Moinard
1990 Misc conf
Unexpected and Unwanted Results of Circumscription.
AIMSA
Yves Moinard, Raymond Rolland
1989 J jnl
The Importance of Open and Recursive Circumscription.
Artif. Intell.
Philippe Besnard, Yves Moinard, Robert E. Mercer
1988 A conf
Computing Circumscription of Horn Theories.
ECAI
Yves Moinard
1988 — conf
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes).
ICLP/SLP
Yves Moinard