dblp.uni-trier.dewww.uni-trier.de

Raymond Rolland

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
8EEYves Moinard, Raymond Rolland: Characterizations of Preferential Entailments. Logic Journal of the IGPL 10(3): 245-272 (2002)
2000
7EEYves 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

Coauthor Index

1Philippe Besnard [1]
2Jean Houdebine [1]
3Yves Moinard [2] [3] [4] [5] [6] [7] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)