default search action
Yves Moinard
Person information
- affiliation: IRISA Rennes
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [p1]Arnaud Lallouet, Yves Moinard, Pascal Nicolas, Igor Stéphan:
Logic Programming. A Guided Tour of Artificial Intelligence Research (2) (II) 2020: 83-113
2010 – 2019
- 2017
- [i7]Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub:
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. CoRR abs/1711.05090 (2017) - 2016
- [c27]Thomas Guyet, Yves Moinard, Rene Quiniou, Torsten Schaub:
Fouille de motifs séquentiels avec ASP. EGC 2016: 39-50 - [c26]Thomas Guyet
, Yves Moinard, René Quiniou, Torsten Schaub
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. EGC (best of volume) 2016: 41-81 - [c25]Thomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou:
Packing Graphs with ASP for Landscape Simulation. IJCAI 2016: 575-581 - 2015
- [j8]Thomas Guyet
Programmation par ensembles réponses pour simuler l'assolement d'un paysage. Rev. d'Intelligence Artif. 29(3-4): 293-320 (2015) - 2014
- [c24]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Arguments Using Ontological and Causal Knowledge. FoIKS 2014: 79-96 - [i6]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Arguments using ontological and causal knowledge. CoRR abs/1401.4144 (2014) - [i5]Thomas Guyet, Yves Moinard, René Quiniou:
Using Answer Set Programming for pattern mining. CoRR abs/1409.7777 (2014) - 2010
- [c23]Yves Moinard:
A Formalism for Causal Explanations with an Answer Set Programming Translation. KSEM 2010: 585-590 - [i4]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Ontology-based inference for causal explanation. CoRR abs/1004.4801 (2010) - [i3]Yves Moinard:
A formalism for causal explanations with an Answer Set Programming translation. CoRR abs/1008.3879 (2010) - [i2]Yves Moinard:
Using ASP with recent extensions for causal explanations. CoRR abs/1012.0830 (2010)
2000 – 2009
- 2008
- [j7]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Ontology-based inference for causal explanation. Integr. Comput. Aided Eng. 15(4): 351-367 (2008) - [c22]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Deriving explanations from causal information. ECAI 2008: 723-724 - 2007
- [j6]Yves Moinard:
Forgetting Literals with Varying Propositional Symbols. J. Log. Comput. 17(5): 955-982 (2007) - [c21]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Ontology-Based Inference for Causal Explanation. KSEM 2007: 153-164 - 2006
- [c20]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Configurations for Inference Between Causal Statements. KSEM 2006: 292-304 - 2005
- [c19]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Configurations for Inference from Causal Statements: Preliminary Report. AI*IA 2005: 282-285 - 2004
- [c18]Yves Moinard:
Plausibility Structures for Default Reasoning. ECAI 2004: 853-857 - 2002
- [j5]Yves Moinard, Raymond Rolland:
Characterizations of Preferential Entailments. Log. J. IGPL 10(3): 245-272 (2002) - [c17]Yves Moinard:
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. ECAI 2002: 531-535 - [c16]Yves Moinard:
Linking Makinson and Kraus-Lehmann- Magidor preferential entailments. NMR 2002: 15-24 - [i1]Yves Moinard:
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. CoRR cs.AI/0208017 (2002) - 2001
- [c15]Yves Moinard:
General Preferential Entailments as Circumscriptions. ECSQARU 2001: 532-543 - 2000
- [j4]Yves Moinard:
Note about cardinality-based circumscription. Artif. Intell. 119(1-2): 259-273 (2000) - [c14]Yves Moinard, Raymond Rolland:
Smallest Equivalent Sets for Finite Propositional Formula Circumscription. Computational Logic 2000: 897-911 - [c13]Yves Moinard:
Characterizing General Preferential Entailments. ECAI 2000: 474-478 - [c12]Yves Moinard, Raymond Rolland:
Equivalent Sets of Formulas for Circumscriptions. ECAI 2000: 479-483
1990 – 1999
- 1994
- [j3]Yves Moinard:
Notes on change and nonmonotony. Int. J. Intell. Syst. 9(1): 101-118 (1994) - [c11]Yves Moinard:
Reasoning by Cases without Contraposition in Default Logic. ECAI 1994: 381-385 - [c10]Philippe Besnard, Yves Moinard:
Implication Connectives for Logics with Right Weakening. IPMU 1994: 360-369 - [c9]Yves Moinard, Raymond Rolland:
Around a Powerful Property of Circumscriptions. JELIA 1994: 34-49 - [c8]Yves Moinard, Raymond Rolland:
Preferential Entailments for Circumscriptions. KR 1994: 461-472 - 1993
- [j2]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): 27-46 (1993) - 1992
- [c7]Yves Moinard:
Circumscriptions as Preferential Entailment. ECAI 1992: 329-333 - [c6]Yves Moinard:
Unifying Various Approaches to Default Logic. IPMU 1992: 33-42 - 1991
- [c5]Yves Moinard, Raymond Rolland:
Circumscription and Definability. IJCAI 1991: 432-437 - 1990
- [c4]Yves Moinard, Raymond Rolland:
Unexpected and Unwanted Results of Circumscription. AIMSA 1990: 61-70 - [c3]Yves Moinard:
Circumscription and Horn Theories. ECAI 1990: 449-454
1980 – 1989
- 1989
- [j1]Philippe Besnard, Yves Moinard, Robert E. Mercer:
The Importance of Open and Recursive Circumscription. Artif. Intell. 39(2): 251-262 (1989) - 1988
- [c2]Yves Moinard:
Computing Circumscription of Horn Theories. ECAI 1988: 513-515 - [c1]Yves Moinard:
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). ICLP/SLP 1988: 1097-1105
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: