Gerda Janssens

Publication Activity (10 Years)

Years Active: 1987-2019
Publications (10 Years): 21

Top Topics

Probabilistic Logic

Variable Elimination

Top Venues

Theory Pract. Log. Program.

Ann. Math. Artif. Intell.

Publications

Matthias van der Hallen, Sergey Paramonov, Gerda Janssens, Marc Denecker
Knowledge representation analysis of graph mining. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Matthias van der Hallen, Gerda Janssens
SOGrounder: Modelling and Solving Second-Order Logic. BNAIC/BENELEARN (2019)
Ingmar Dasseville, Gerda Janssens
FMS: Functional Programming as a Modelling Language. CoRR (2018)
Matthias van der Hallen, Gerda Janssens
SOGrounder: Modelling and Solving Second-Order Logic. KR (2018)
Ingmar Dasseville, Gerda Janssens
FMS: Functional Programming as a Modelling Language. WFLP (2018)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB paradigm and its application to interactive configuration. Theory Pract. Log. Program. 17 (1) (2017)
Matthias van der Hallen, Sergey Paramonov, Michael Leuschel, Gerda Janssens
Knowledge Representation Analysis of Graph Mining. CoRR (2016)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB Paradigm and Its Application to Interactive Configuration. PADL (2016)
Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker
Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment. RuleML (Supplement) (2016)
Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker
Implementing a Relevance Tracker Module. CoRR (2016)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB paradigm and its application to interactive configuration. CoRR (2016)
Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Bootstrapping Inference in the IDP Knowledge Base System. New Gener. Comput. 34 (3) (2016)
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Relevance for SAT(ID). IJCAI (2016)
Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
A Compositional Typed Higher-Order Logic with Definitions. ICLP (Technical Communications) (2016)
Dimitar Sht. Shterionov, Gerda Janssens
Crucial components in probabilistic inference pipelines. SAC (2015)
Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. LPNMR (2015)
Dimitar Sht. Shterionov, Gerda Janssens
Implementation and Performance of Probabilistic Inference Pipelines. PADL (2015)
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Semantics of templates in a compositional framework for building logics. CoRR (2015)
Daan Fierens, Guy Van den Broeck, Joris Renkens, Dimitar Sht. Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, Luc De Raedt
Inference and learning in probabilistic logic programs using weighted Boolean formulas. Theory Pract. Log. Program. 15 (3) (2015)
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Semantics of templates in a compositional framework for building logics. Theory Pract. Log. Program. 15 (4-5) (2015)
Ingmar Dasseville, Gerda Janssens
A web-based IDE for IDP. CoRR (2015)
Dimitar Sht. Shterionov, Joris Renkens, Jonas Vlasselaer, Angelika Kimmig, Wannes Meert, Gerda Janssens
The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions. ILP (2014)
Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens
Experimental Evaluation of a State-Of-The-Art Grounder. PPDP (2014)
Koosha Paridel, Theofrastos Mantadelis, Ansar-Ul-Haque Yasar, Davy Preuveneers, Gerda Janssens, Yves Vanrompay, Yolande Berbers
Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation. J. Ambient Intell. Humaniz. Comput. 5 (4) (2014)
Dimitar Sht. Shterionov, Theofrastos Mantadelis, Gerda Janssens
Pattern-Based Compaction for ProbLog Inference. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Joachim Jansen, Albert Jorissen, Gerda Janssens
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3. Theory Pract. Log. Program. 13 (4-5) (2013)
Daan Fierens, Guy Van den Broeck, Joris Renkens, Dimitar Sht. Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, Luc De Raedt
Inference and learning in probabilistic logic programs using weighted Boolean formulas CoRR (2013)
Quan Phan, Gerda Janssens, Zoltan Somogyi
Region-based memory management for Mercury programs. Theory Pract. Log. Program. 13 (6) (2013)
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
Equivalence checking of static affine programs using widening to handle recurrences. ACM Trans. Program. Lang. Syst. 34 (3) (2012)
Quan Phan, Gerda Janssens, Zoltan Somogyi
Region-based memory management for Mercury programs CoRR (2012)
Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. PADL (2011)
Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs CoRR (2011)
Theofrastos Mantadelis, Gerda Janssens
Nesting Probabilistic Inference CoRR (2011)
Theofrastos Mantadelis, Gerda Janssens
Variable Compression in ProbLog. LPAR (Yogyakarta) (2010)
Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens
DNF Sampling for ProbLog Inference CoRR (2010)
Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
ProbLog Technology for Inference in a Probabilistic First Order Logic. ECAI (2010)
Theofrastos Mantadelis, Gerda Janssens
Dedicated Tabling for a Probabilistic Setting. ICLP (Technical Communications) (2010)
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. J. Electron. Test. 26 (2) (2010)
Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA (2010)
Quan Phan, Gerda Janssens
Path-sensitive region analysis for mercury programs. PPDP (2009)
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. CAV (2009)
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
Experience with widening based equivalence checking in realistic multimedia systems. HLDVT (2009)
Quan Phan, Zoltan Somogyi, Gerda Janssens
Runtime support for region-based memory management in Mercury. ISMM (2008)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code CoRR (2007)
Quan Phan, Gerda Janssens
Static Region Analysis for Mercury. ICLP (2007)
Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele
Fast Frequent Querying with Lazy Control Flow Compilation. Theory Pract. Log. Program. 7 (4) (2007)
Remko Tronçon, Gerda Janssens
A Delta Debugger for ILP Query Execution CoRR (2007)
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
A practical dynamic single assignment transformation. ACM Trans. Design Autom. Electr. Syst. 12 (4) (2007)
Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele
Fast Frequent Querying with Lazy Control Flow Compilation CoRR (2006)
Quan Phan, Gerda Janssens
Towards Region-Based Memory Management for Mercury Programs. ICLP (2006)
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. APLAS (2005)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Verification of Source Code Transformations by Program Equivalence Checking. CC (2005)
Remko Tronçon, Gerda Janssens
Analyzing & debugging ILP data mining query execution. AADEBUG (2005)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. DATE (2005)
Remko Tronçon, Gerda Janssens, Henk Vandecasteele
Fast Query Evaluation with (Lazy) Control Flow Compilation. ICLP (2004)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. J. Univers. Comput. Sci. 9 (3) (2003)
Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
Multi-dimentsional Incremetal Loops Fusion for Data Locality. ASAP (2003)
Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, Wim Van Laer
Query Transformations for Improving the Efficiency of ILP Systems. J. Mach. Learn. Res. 4 (2003)
Henk Vandecasteele, Gerda Janssens
An Open Ended Tree. Theory Pract. Log. Program. 3 (3) (2003)
Henk Vandecasteele, Gerda Janssens
An Open Ended Tree CoRR (2003)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Automatic functional verification of memory oriented global source code transformations. HLDVT (2003)
Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. J. Artif. Intell. Res. 16 (2002)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Nancy Mazur, Gerda Janssens, Wim Vanhoof
Collecting Potential Optimisations. LOPSTR (2002)
Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
Storage Size Reduction by In-place Mapping of Arrays. VMCAI (2002)
Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. ICLP (2001)
Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury CoRR (2001)
Nancy Mazur, Gerda Janssens, Maurice Bruynooghe
A Module Based Analysis for Memory Reuse in Mercury. Computational Logic (2000)
Hendrik Blockeel, Bart Demoen, Gerda Janssens, Henk Vandecasteele, Wim Van Laer
Two Advanced Transormations for Improving the Efficiency of an ILP system. ILP Work-in-progress reports (2000)
Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
Executing Query Packs in ILP. ILP (2000)
Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens
: A Second Generation Logic Programming Language. AI Commun. 13 (1) (2000)
Henk Vandecasteele, Bart Demoen, Gerda Janssens
A Finite Domain CLP Solver on Top of Mercury. New Trends in Constraints (1999)
Gerda Janssens, Konstantinos Sagonas
On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD (1998)
Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal
Live-Structure Analysis for Logic Programming Languages with Declarations. ICLP (1997)
Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens
Global Analysis of Constraint Logic Programs. ACM Trans. Program. Lang. Syst. 18 (5) (1996)
Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. ILPS (1995)
Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe
On the Practicality of Abstract Equation Systems. ICLP (1995)
Gerda Janssens, Maurice Bruynooghe, Vincent Englebert
Abstracting Numerical Values in CLP(H, N). PLILP (1994)
Gerda Janssens, Wim Simoens
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. CC (1994)
Veroniek Dumortier, Gerda Janssens
Towards a Practical Full Mode Inference System for CLP(H, N). ICLP (1994)
Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish
Freeness Analysis in the Presence of Numerical Constraints. ICLP (1993)
Gerda Janssens, Maurice Bruynooghe
Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. J. Log. Program. 13 (2&3) (1992)
Maurice Bruynooghe, Gerda Janssens
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. META (1992)
Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. PDK (1991)
Gerda Janssens, Maurice Bruynooghe
On Abstracting the Procedural Behaviour of Logic Programs. RCLP (1991)
André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe
The Impact of Abstract Interpretation: An Experiment in Code Generation. ICLP (1989)
Gerda Janssens, Bart Demoen, André Mariën
Improving the Register Allocation of WAM by Recording Unification. ICLP/SLP (1988)
Maurice Bruynooghe, Gerda Janssens
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. ICLP/SLP (1988)
Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen
Abstract Interpretation: Towards the Global Optimization of Prolog Programs. SLP (1987)