Raymond Rolland

According to our database, Raymond Rolland authored at least 8 papers between 1988 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Characterizations of Preferential Entailments.

Yves Moinard, Raymond Rolland

Log. J. IGPL, 2002

2000

Equivalent Sets of Formulas for Circumscriptions.

Yves Moinard, Raymond Rolland

Proceedings of the ECAI 2000, 2000

Smallest Equivalent Sets for Finite Propositional Formula Circumscription.

Yves Moinard, Raymond Rolland

Proceedings of the Computational Logic, 2000

1994

Preferential Entailments for Circumscriptions.

Yves Moinard, Raymond Rolland

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Around a Powerful Property of Circumscriptions.

Yves Moinard, Raymond Rolland

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

1991

Circumscription and Definability.

Yves Moinard, Raymond Rolland

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

Unexpected and Unwanted Results of Circumscription.

Yves Moinard, Raymond Rolland

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1988

A Formula Circumscriptively both Valid and Unprovable.

Philippe Besnard, Jean Houdebine, Raymond Rolland

Proceedings of the 8th European Conference on Artificial Intelligence, 1988