( en | de | ru )

 

Disambiguation of "Ridoux, Olivier"

Author of the publication

copydeleteadd this publication to your clipboard
Searching for Objects and Properties with Logical Concept Analysis.

, and . Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 187-201. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Eduard Olivier

Olivier Coutand

Christoph Olivier

Olivier Brede

Paul Olivier

 

Other publications of authors with the same name

Searching for Objects and Properties with Logical Concept Analysis., and . Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 187-201. Springer, (2001)Arbitrary Relations in Formal Concept Analysis and Logical Information Systems., , and . Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 166-180. Springer, (2005)Logical Approach to Natural Language Understanding in a Spoken Dialogue System., , and . TSD, volume 3206 of Lecture Notes in Computer Science, page 637-644. Springer, (2004)Dynamic Memory Management for Sequential Logic Programming Languages., , and . IWMM, volume 637 of Lecture Notes in Computer Science, page 82-102. Springer, (1992)A Logical Generalization of Formal Concept Analysis., and . ICCS, volume 1867 of Lecture Notes in Computer Science, page 371-384. Springer, (2000)Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG., , and . Fuji International Symposium on Functional and Logic Programming, volume 1722 of Lecture Notes in Computer Science, page 267-283. Springer, (1999)Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog., and . J. Funct. Log. Program., (2001)GEOLIS: a logical information system for geographical data., , , and . Revue Internationale de Géomatique, 17 (3-4): 371-390 (2007)Naïve Reverse Can be Linear., and . ICLP, page 857-870. MIT Press, (1991)Continuations in Lambda-Prolog., and . ICLP, page 27-43. MIT Press, (1993)