Author of the publication

F-Logic Programming and Terminological Constraints.

, , and . ICLP Workshop: Integration of Declarative Paradigms, page 1-11. Max-Planck-Institut für Informatik, Saarbrücken, Germany, (1994)

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.

 

Other publications of authors with the same name

Query-Driven Knowledge Discovery via OLAP manipulations., , and . BDA, (2001)Résolution et Classification pour l'Optimisation Sémantique de Requêtes dans les BDOO Déductives., , and . BDA, page 323-. INRIA, (1995)Representing and Reasoning on Conceptual Queries Over Image Databases., and . ISMIS, volume 1609 of Lecture Notes in Computer Science, page 340-348. Springer, (1999)Approximation du score CFOF de détection d'anomalie dans un arbre d'indexation iSAX : Application au contexte SI de la SNCF., , , and . EGC, volume E-35 of RNTI, page 165-176. Éditions RNTI, (2019)Approximation of frequency queries by means of free-sets, , and . Principles of Data Mining and Knowledge Discovery, Springer, (2000)Extending Datalog for Ordered Multidimensional Databases., , and . DDLP, GMD - German National Research Center for Information Technology, (1997)F-Logic Programming and Terminological Constraints., , and . ICLP Workshop: Integration of Declarative Paradigms, page 1-11. Max-Planck-Institut für Informatik, Saarbrücken, Germany, (1994)Using Confluence to Generate Rule-Based Constraint Solvers., and . PPDP, page 127-135. ACM, (2001)Automatic Generation of Propagation Rules for Finite Domains., and . CP, volume 1894 of Lecture Notes in Computer Science, page 18-34. Springer, (2000)Extracting Trees of Quantitative Serial Episodes., and . KDID, volume 4747 of Lecture Notes in Computer Science, page 170-188. Springer, (2006)