![]() | ![]() |
2002 | ||
---|---|---|
8 | EE | Yves Moinard, Raymond Rolland: Characterizations of Preferential Entailments. Logic Journal of the IGPL 10(3): 245-272 (2002) |
2000 | ||
7 | EE | Yves Moinard, Raymond Rolland: Smallest Equivalent Sets for Finite Propositional Formula Circumscription. Computational Logic 2000: 897-911 |
6 | Yves Moinard, Raymond Rolland: Equivalent Sets of Formulas for Circumscriptions. ECAI 2000: 479-483 | |
1994 | ||
5 | Yves Moinard, Raymond Rolland: Around a Powerful Property of Circumscriptions. JELIA 1994: 34-49 | |
4 | Yves Moinard, Raymond Rolland: Preferential Entailments for Circumscriptions. KR 1994: 461-472 | |
1991 | ||
3 | Yves Moinard, Raymond Rolland: Circumscription and Definability. IJCAI 1991: 432-437 | |
1990 | ||
2 | Yves Moinard, Raymond Rolland: Unexpected and Unwanted Results of Circumscription. AIMSA 1990: 61-70 | |
1988 | ||
1 | Philippe Besnard, Jean Houdebine, Raymond Rolland: A Formula Circumscriptively both Valid and Unprovable. ECAI 1988: 516-518 |
1 | Philippe Besnard | [1] |
2 | Jean Houdebine | [1] |
3 | Yves Moinard | [2] [3] [4] [5] [6] [7] [8] |