The SCEAS System
Navigation Menu

Search the dblp DataBase


Yves Moinard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Philippe Besnard, Marie-Odile Cordier, Yves Moinard
    Configurations for Inference from Causal Statements: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2005, pp:282-285 [Conf]
  2. Yves Moinard, Raymond Rolland
    Unexpected and Unwanted Results of Circumscription. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1990, pp:61-70 [Conf]
  3. Yves Moinard, Raymond Rolland
    Smallest Equivalent Sets for Finite Propositional Formula Circumscription. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:897-911 [Conf]
  4. Yves Moinard
    Characterizing General Preferential Entailments. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:474-478 [Conf]
  5. Yves Moinard
    Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:531-535 [Conf]
  6. Yves Moinard
    Plausibility Structures for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:853-857 [Conf]
  7. Yves Moinard
    Computing Circumscription of Horn Theories. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:513-515 [Conf]
  8. Yves Moinard
    Circumscription and Horn Theories. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:449-454 [Conf]
  9. Yves Moinard
    Circumscriptions as Preferential Entailment. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:329-333 [Conf]
  10. Yves Moinard
    Reasoning by Cases without Contraposition in Default Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:381-385 [Conf]
  11. Yves Moinard, Raymond Rolland
    Equivalent Sets of Formulas for Circumscriptions. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:479-483 [Conf]
  12. Yves Moinard
    General Preferential Entailments as Circumscriptions. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2001, pp:532-543 [Conf]
  13. Yves Moinard
    Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1097-1105 [Conf]
  14. Yves Moinard, Raymond Rolland
    Circumscription and Definability. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:432-437 [Conf]
  15. Philippe Besnard, Yves Moinard
    Implication Connectives for Logics with Right Weakening. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:360-369 [Conf]
  16. Yves Moinard
    Unifying Various Approaches to Default Logic. [Citation Graph (0, 0)][DBLP]
    IPMU, 1992, pp:33-42 [Conf]
  17. Yves Moinard, Raymond Rolland
    Around a Powerful Property of Circumscriptions. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:34-49 [Conf]
  18. Yves Moinard, Raymond Rolland
    Preferential Entailments for Circumscriptions. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:461-472 [Conf]
  19. Philippe Besnard, Marie-Odile Cordier, Yves Moinard
    Configurations for Inference Between Causal Statements. [Citation Graph (0, 0)][DBLP]
    KSEM, 2006, pp:292-304 [Conf]
  20. Yves Moinard
    Linking Makinson and Kraus-Lehmann- Magidor preferential entailments. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:15-24 [Conf]
  21. Philippe Besnard, Yves Moinard, Robert E. Mercer
    The Importance of Open and Recursive Circumscription. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1989, v:39, n:2, pp:251-262 [Journal]
  22. Yves Moinard
    Note about cardinality-based circumscription. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:119, n:1-2, pp:259-273 [Journal]
  23. 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. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1993, v:6, n:1, pp:27-46 [Journal]
  24. Yves Moinard
    Linking Makinson and Kraus-Lehmann-Magidor preferential entailments [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  25. Yves Moinard, Raymond Rolland
    Characterizations of Preferential Entailments. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:3, pp:245-272 [Journal]

  26. Deriving explanations from causal information. [Citation Graph (, )][DBLP]

  27. Ontology-Based Inference for Causal Explanation. [Citation Graph (, )][DBLP]

  28. A Formalism for Causal Explanations with an Answer Set Programming Translation. [Citation Graph (, )][DBLP]

  29. Ontology-based inference for causal explanation [Citation Graph (, )][DBLP]

  30. A formalism for causal explanations with an Answer Set Programming translation [Citation Graph (, )][DBLP]

Search in 0.019secs, Finished in 0.021secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002