Gerda Janssens

91 papers A* 3A 2B 17C 8Misc 1Journal 36Unranked 23

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