Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
9 links
Maurice Bruynooghe
Researcher
PaperPredicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3Authorship / preprint / 2014PaperAnalyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint TheoryAuthorship / preprint / 2022PaperJustifications and a Reconstruction of Parity Game Solving AlgorithmsAuthorship / preprint / 2021PaperFunctional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source CodeAuthorship / preprint / 2007PaperMining Rooted Ordered Trees under Subtree HomeomorphismAuthorship / preprint / 2015PaperConstraint Propagation for First-Order Logic and Inductive DefinitionsAuthorship / preprint / 2011PaperA MIP Backend for the IDP SystemAuthorship / preprint / 2016PaperThe Magic of Logical Inference in Probabilistic ProgrammingAuthorship / preprint / 2011