( en | de | ru )

 

Disambiguation of "Bruynooghe, Maurice"

Author of the publication

copydeleteadd this publication to your clipboard
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing.

, and . ICLP/SLP, page 669-683. MIT Press, (1988)

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 Horcajo

Maurice Kersten

Maurice Arcq

Maurice Bonten

 

Other publications of authors with the same name

Towards a logical reconstruction of a theory for locally closed databases., , , and . ACM Trans. Database Syst., 35 (3): 22:1-22:60 (2010)Live-Structure Dataflow Analysis for Prolog., , and . ACM Trans. Program. Lang. Syst., 16 (2): 205-258 (1994)Global Analysis of Constraint Logic Programs., , , , , and . ACM Trans. Program. Lang. Syst., 18 (5): 564-614 (1996)Multi-Agent Relational Reinforcement Learning. Explorations in Multi-State Coordination Tasks, , , and . Learning and Adaptation in Multi-Agent Systems, volume 3898 of Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin, (2006)Abstract interpretation for constraint logic programming.. JFPL, (1992)Learning directed probabilistic logical models: ordering-search versus structure-search., , , and . Ann. Math. Artif. Intell., 54 (1-3): 99-133 (2008)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)Lazy Model Expansion: Interleaving Grounding with Search., , , and . CoRR, (2014)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)On Abstracting the Procedural Behaviour of Logic Programs., and . RCLP, volume 592 of Lecture Notes in Computer Science, page 240-262. Springer, (1991)