Skip to content

Raymond Rolland

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

5

Active years

1988–2000

Best venue rank

A*

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2000ECAIEquivalent Sets of Formulas for Circumscriptions.Yves Moinard, Raymond Rolland
1994JELIAAround a Powerful Property of Circumscriptions.Yves Moinard, Raymond Rolland
1994KRPreferential Entailments for Circumscriptions.Yves Moinard, Raymond Rolland
1991IJCAICircumscription and Definability.Yves Moinard, Raymond Rolland
1990AIMSAUnexpected and Unwanted Results of Circumscription.Yves Moinard, Raymond Rolland
1988ECAIA Formula Circumscriptively both Valid and Unprovable.Philippe Besnard, Jean Houdebine, Raymond Rolland