The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yves Moinard" ( http://dblp.L3S.de/Authors/Yves_Moinard )

URL (Homepage):  http://www.irisa.fr/dream/site/Emembre_moinard.html  Author page on DBLP  Author page in RDF  Community of Yves Moinard in ASPL-2

Publication years (Num. hits)
1988-2000 (18) 2001-2010 (16) 2014-2017 (8)
Publication types (Num. hits)
article(15) inproceedings(27)
Venues (Conferences, Journals, ...)
ECAI(9) CoRR(7) KSEM(3) Artif. Intell.(2) IJCAI(2) IPMU(2) AI Commun.(1) AI*IA(1) AIMSA(1) Computational Logic(1) ECSQARU(1) EGC(1) EGC (best of volume)(1) FoIKS(1) ICLP/SLP(1) Int. J. Intell. Syst.(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 43 publication records. Showing 42 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. Search on Bibsonomy EGC (best of volume) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Guyet, Yves Moinard, Rene Quiniou, Torsten Schaub Fouille de motifs séquentiels avec ASP. Search on Bibsonomy EGC The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou Packing Graphs with ASP for Landscape Simulation. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Guyet, Yves Moinard, René Quiniou Programmation par ensembles réponses pour simuler l'assolement d'un paysage. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Guyet, Yves Moinard, René Quiniou Using Answer Set Programming for pattern mining. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Philippe Besnard, Marie-Odile Cordier, Yves Moinard Arguments using ontological and causal knowledge. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Philippe Besnard, Marie-Odile Cordier, Yves Moinard Arguments Using Ontological and Causal Knowledge. Search on Bibsonomy FoIKS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yves Moinard Using ASP with recent extensions for causal explanations Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Philippe Besnard, Marie-Odile Cordier, Yves Moinard Ontology-based inference for causal explanation Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Yves Moinard A formalism for causal explanations with an Answer Set Programming translation Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Yves Moinard A Formalism for Causal Explanations with an Answer Set Programming Translation. Search on Bibsonomy KSEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Marie-Odile Cordier, Yves Moinard Ontology-based inference for causal explanation. Search on Bibsonomy Integrated Computer-Aided Engineering The full citation details ... 2008 DBLP  BibTeX  RDF
1Philippe Besnard, Marie-Odile Cordier, Yves Moinard Deriving explanations from causal information. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yves Moinard Forgetting Literals with Varying Propositional Symbols. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Marie-Odile Cordier, Yves Moinard Ontology-Based Inference for Causal Explanation. Search on Bibsonomy KSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Marie-Odile Cordier, Yves Moinard Configurations for Inference Between Causal Statements. Search on Bibsonomy KSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Marie-Odile Cordier, Yves Moinard Configurations for Inference from Causal Statements: Preliminary Report. Search on Bibsonomy AI*IA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yves Moinard Plausibility Structures for Default Reasoning. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Yves Moinard Linking Makinson and Kraus-Lehmann-Magidor preferential entailments Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Yves Moinard, Raymond Rolland Characterizations of Preferential Entailments. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yves Moinard Linking Makinson and Kraus-Lehmann- Magidor preferential entailments. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Yves Moinard Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. Search on Bibsonomy ECAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Yves Moinard General Preferential Entailments as Circumscriptions. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yves Moinard Note about cardinality-based circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yves Moinard, Raymond Rolland Smallest Equivalent Sets for Finite Propositional Formula Circumscription. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yves Moinard, Raymond Rolland Equivalent Sets of Formulas for Circumscriptions. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Yves Moinard Characterizing General Preferential Entailments. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Yves Moinard Notes on change and nonmonotony. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Yves Moinard Reasoning by Cases without Contraposition in Default Logic. Search on Bibsonomy ECAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Philippe Besnard, Yves Moinard Implication Connectives for Logics with Right Weakening. Search on Bibsonomy IPMU The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Yves Moinard, Raymond Rolland Around a Powerful Property of Circumscriptions. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Yves Moinard, Raymond Rolland Preferential Entailments for Circumscriptions. Search on Bibsonomy KR The full citation details ... 1994 DBLP  BibTeX  RDF
1Philippe 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, Lluis 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. Search on Bibsonomy AI Commun. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Yves Moinard Circumscriptions as Preferential Entailment. Search on Bibsonomy ECAI The full citation details ... 1992 DBLP  BibTeX  RDF
1Yves Moinard Unifying Various Approaches to Default Logic. Search on Bibsonomy IPMU The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Yves Moinard, Raymond Rolland Circumscription and Definability. Search on Bibsonomy IJCAI The full citation details ... 1991 DBLP  BibTeX  RDF
1Yves Moinard Circumscription and Horn Theories. Search on Bibsonomy ECAI The full citation details ... 1990 DBLP  BibTeX  RDF
1Yves Moinard, Raymond Rolland Unexpected and Unwanted Results of Circumscription. Search on Bibsonomy AIMSA The full citation details ... 1990 DBLP  BibTeX  RDF
1Philippe Besnard, Yves Moinard, Robert E. Mercer The Importance of Open and Recursive Circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Yves Moinard Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Yves Moinard Computing Circumscription of Horn Theories. Search on Bibsonomy ECAI The full citation details ... 1988 DBLP  BibTeX  RDF
Displaying result #1 - #42 of 42 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license