Raymond Rolland

Publication Activity (10 Years)

Years Active: 1988-2002
Publications (10 Years): 0

Publications

Yves Moinard, Raymond Rolland
Characterizations of Preferential Entailments. Log. J. IGPL 10 (3) (2002)
Yves Moinard, Raymond Rolland
Equivalent Sets of Formulas for Circumscriptions. ECAI (2000)
Yves Moinard, Raymond Rolland
Smallest Equivalent Sets for Finite Propositional Formula Circumscription. Computational Logic (2000)
Yves Moinard, Raymond Rolland
Preferential Entailments for Circumscriptions. KR (1994)
Yves Moinard, Raymond Rolland
Around a Powerful Property of Circumscriptions. JELIA (1994)
Yves Moinard, Raymond Rolland
Circumscription and Definability. IJCAI (1991)
Yves Moinard, Raymond Rolland
Unexpected and Unwanted Results of Circumscription. AIMSA (1990)
Philippe Besnard, Jean Houdebine, Raymond Rolland
A Formula Circumscriptively both Valid and Unprovable. ECAI (1988)