( en | de | ru )

 

Disambiguation of "Bruynooghe, Maurice"

Author of the publication

copydeleteadd this publication to your clipboard
A Framework for Defining Distances Between First-Order Logic Objects.

, and . ILP, volume 1446 of Lecture Notes in Computer Science, page 271-280. Springer, (1998)

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.

Maurice Hollmann

Wissensrepräsentation zur integrierten Steuerung von Experimenten in der Echtzeit-fMRT: neuroökonomische Untersuchung sozialer Interaktion. Uni Magdeburg, (2009)

Maurice Bonten

Maurice Arcq

Maurice Horcajo

Maurice Kersten

 

Other publications of authors with the same name

Abstract interpretation for constraint logic programming.. JFPL, (1992)Integrity Constraints and Interactive Concept-Learning., , and . ML, page 394-398. Morgan Kaufmann, (1991)A Systematic Construction of Abstract Domains, and . SAS, volume 864 of Lecture Notes in Computer Science, page 61-77. Springer, (1994)A Portrait of a Scientist as a Computational Logician., , , and . Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, page 1-4. Springer, (2002)Learning directed probabilistic logical models: ordering-search versus structure-search., , , and . Ann. Math. Artif. Intell., 54 (1-3): 99-133 (2008)Lazy Model Expansion: Interleaving Grounding with Search., , , and . CoRR, (2014)Global Analysis of Constraint Logic Programs., , , , , and . ACM Trans. Program. Lang. Syst., 18 (5): 564-614 (1996)Live-Structure Dataflow Analysis for Prolog., , and . ACM Trans. Program. Lang. Syst., 16 (2): 205-258 (1994)Towards a logical reconstruction of a theory for locally closed databases., , , and . ACM Trans. Database Syst., 35 (3): 22:1-22:60 (2010)Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences., , and . CAV, volume 5643 of Lecture Notes in Computer Science, page 599-613. Springer, (2009)