Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Yves Moinard

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2010
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ksem/Moinard10
- ask others
Yves Moinard: A Formalism for Causal Explanations with an Answer Set Programming Translation. KSEM 2010: 585-590
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1004-4801
- ask others
Philippe Besnard, Marie-Odile Cordier, Yves Moinard: Ontology-based inference for causal explanation. CoRR abs/1004.4801 (2010)
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1008-3879
- ask others
Yves Moinard: A formalism for causal explanations with an Answer Set Programming translation. CoRR abs/1008.3879 (2010)
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-0830
- ask others
Yves Moinard: Using ASP with recent extensions for causal explanations. CoRR abs/1012.0830 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[j6]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/icae/BesnardCM08
- ask others
Philippe Besnard, Marie-Odile Cordier, Yves Moinard: Ontology-based inference for causal explanation. Integrated Computer-Aided Engineering 15(4): 351-367 (2008)
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/BesnardCM08
- ask others
Philippe Besnard, Marie-Odile Cordier, Yves Moinard: Deriving explanations from causal information. ECAI 2008: 723-724
2007
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Moinard07
- ask others
Yves Moinard: Forgetting Literals with Varying Propositional Symbols. J. Log. Comput. 17(5): 955-982 (2007)
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ksem/BesnardCM07
- ask others
Philippe Besnard, Marie-Odile Cordier, Yves Moinard: Ontology-Based Inference for Causal Explanation. KSEM 2007: 153-164
2006
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ksem/BesnardCM06
- ask others
Philippe Besnard, Marie-Odile Cordier, Yves Moinard: Configurations for Inference Between Causal Statements. KSEM 2006: 292-304
2005
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aiia/BesnardCM05
- ask others
Philippe Besnard, Marie-Odile Cordier, Yves Moinard: Configurations for Inference from Causal Statements: Preliminary Report. AI*IA 2005: 282-285
2004
[c18]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/Moinard04
- ask others
Yves Moinard: Plausibility Structures for Default Reasoning. ECAI 2004: 853-857
2002
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/igpl/MoinardR02
- ask others
Yves Moinard, Raymond Rolland: Characterizations of Preferential Entailments. Logic Journal of the IGPL 10(3): 245-272 (2002)
[c17]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/Moinard02
- ask others
Yves Moinard: Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. ECAI 2002: 531-535
[c16]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/nmr/Moinard02
- ask others
Yves Moinard: Linking Makinson and Kraus-Lehmann- Magidor preferential entailments. NMR 2002: 15-24
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-AI-0208017
- ask others
Yves Moinard: Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. CoRR cs.AI/0208017 (2002)
2001
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecsqaru/Moinard01
- ask others
Yves Moinard: General Preferential Entailments as Circumscriptions. ECSQARU 2001: 532-543
2000
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/Moinard00
- ask others
Yves Moinard: Note about cardinality-based circumscription. Artif. Intell. 119(1-2): 259-273 (2000)
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cl/MoinardR00
- ask others
Yves Moinard, Raymond Rolland: Smallest Equivalent Sets for Finite Propositional Formula Circumscription. Computational Logic 2000: 897-911
[c13]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/Moinard00
- ask others
Yves Moinard: Characterizing General Preferential Entailments. ECAI 2000: 474-478
[c12]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/MoinardR00
- ask others
Yves Moinard, Raymond Rolland: Equivalent Sets of Formulas for Circumscriptions. ECAI 2000: 479-483

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1994
[c11]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/Moinard94
- ask others
Yves Moinard: Reasoning by Cases without Contraposition in Default Logic. ECAI 1994: 381-385
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ipmu/BesnardM94
- ask others
Philippe Besnard, Yves Moinard: Implication Connectives for Logics with Right Weakening. IPMU 1994: 360-369
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/jelia/MoinardR94
- ask others
Yves Moinard, Raymond Rolland: Around a Powerful Property of Circumscriptions. JELIA 1994: 34-49
[c8]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kr/MoinardR94
- ask others
Yves Moinard, Raymond Rolland: Preferential Entailments for Circumscriptions. KR 1994: 461-472
1993
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aicom/BensardMPCWDMCDPCLAFKDFMMGMBPKPSSHSKXUSW93
- ask others
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 Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramon 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. AI Commun. 6(1): 27-46 (1993)
1992
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/Moinard92
- ask others
Yves Moinard: Circumscriptions as Preferential Entailment. ECAI 1992: 329-333
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ipmu/Moinard92
- ask others
Yves Moinard: Unifying Various Approaches to Default Logic. IPMU 1992: 33-42
1991
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ijcai/MoinardR91
- ask others
Yves Moinard, Raymond Rolland: Circumscription and Definability. IJCAI 1991: 432-437
1990
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aimsa/MoinardR90
- ask others
Yves Moinard, Raymond Rolland: Unexpected and Unwanted Results of Circumscription. AIMSA 1990: 61-70
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/Moinard90
- ask others
Yves Moinard: Circumscription and Horn Theories. ECAI 1990: 449-454

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/BesnardMM89
- ask others
Philippe Besnard, Yves Moinard, Robert E. Mercer: The Importance of Open and Recursive Circumscription. Artif. Intell. 39(2): 251-262 (1989)
1988
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/Moinard88
- ask others
Yves Moinard: Computing Circumscription of Horn Theories. ECAI 1988: 513-515
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/Moinard88
- ask others
Yves Moinard: Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). ICLP/SLP 1988: 1097-1105

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?