![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Gerda Janssens
Person information
- affiliation: Catholic University of Leuven, Belgium
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [j20]Matthias van der Hallen
, Sergey Paramonov
, Gerda Janssens, Marc Denecker
:
Knowledge representation analysis of graph mining. Ann. Math. Artif. Intell. 86(1-3): 21-60 (2019) - [c53]Matthias van der Hallen, Gerda Janssens:
SOGrounder: Modelling and Solving Second-Order Logic. BNAIC/BENELEARN 2019 - 2018
- [c52]Matthias van der Hallen, Gerda Janssens:
SOGrounder: Modelling and Solving Second-Order Logic. KR 2018: 72-77 - [c51]Ingmar Dasseville, Gerda Janssens:
FMS: Functional Programming as a Modelling Language. WFLP 2018: 145-161 - [p1]Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker:
Predicate logic as a modeling language: the IDP system. Declarative Logic Programming 2018: 279-323 - [i16]Ingmar Dasseville, Gerda Janssens:
FMS: Functional Programming as a Modelling Language. CoRR abs/1808.07771 (2018) - 2017
- [j19]Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
:
The KB paradigm and its application to interactive configuration. Theory Pract. Log. Program. 17(1): 91-117 (2017) - 2016
- [j18]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): 193-220 (2016) - [c50]Ingmar Dasseville, Matthias van der Hallen
, Bart Bogaerts
, Gerda Janssens, Marc Denecker
:
A Compositional Typed Higher-Order Logic with Definitions. ICLP (Technical Communications) 2016: 14:1-14:13 - [c49]Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker:
Relevance for SAT(ID). IJCAI 2016: 596-602 - [c48]Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
:
The KB Paradigm and Its Application to Interactive Configuration. PADL 2016: 13-29 - [c47]Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker:
Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment. RuleML (Supplement) 2016 - [i15]Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker:
The KB paradigm and its application to interactive configuration. CoRR abs/1605.01846 (2016) - [i14]Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker:
Implementing a Relevance Tracker Module. CoRR abs/1608.05609 (2016) - [i13]Matthias van der Hallen, Sergey Paramonov, Michael Leuschel, Gerda Janssens:
Knowledge Representation Analysis of Graph Mining. CoRR abs/1608.08956 (2016) - 2015
- [j17]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): 358-401 (2015) - [j16]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): 681-695 (2015) - [c46]Theofrastos Mantadelis
, Dimitar Sht. Shterionov
, Gerda Janssens:
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. LPNMR 2015: 425-438 - [c45]Dimitar Sht. Shterionov
, Gerda Janssens:
Implementation and Performance of Probabilistic Inference Pipelines. PADL 2015: 90-104 - [c44]Dimitar Sht. Shterionov
, Gerda Janssens:
Crucial components in probabilistic inference pipelines. SAC 2015: 1887-1889 - [i12]Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker:
Semantics of templates in a compositional framework for building logics. CoRR abs/1507.06778 (2015) - [i11]Ingmar Dasseville, Gerda Janssens:
A web-based IDE for IDP. CoRR abs/1511.00920 (2015) - 2014
- [j15]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): 475-490 (2014) - [c43]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: 139-153 - [c42]Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens:
Experimental Evaluation of a State-Of-The-Art Grounder. PPDP 2014: 249-258 - 2013
- [j14]Joachim Jansen, Albert Jorissen, Gerda Janssens:
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3. Theory Pract. Log. Program. 13(4-5): 691-704 (2013) - [j13]Dimitar Sht. Shterionov, Theofrastos Mantadelis, Gerda Janssens:
Pattern-Based Compaction for ProbLog Inference. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [j12]Quan Phan, Gerda Janssens, Zoltan Somogyi:
Region-based memory management for Mercury programs. Theory Pract. Log. Program. 13(6): 959-1024 (2013) - [i10]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 abs/1304.6810 (2013) - 2012
- [j11]Sven Verdoolaege
, Gerda Janssens, Maurice Bruynooghe:
Equivalence checking of static affine programs using widening to handle recurrences. ACM Trans. Program. Lang. Syst. 34(3): 11:1-11:35 (2012) - [e1]Danny De Schreye, Gerda Janssens, Andy King:
Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. ACM 2012, ISBN 978-1-4503-1522-7 [contents] - [i9]Quan Phan, Gerda Janssens, Zoltan Somogyi:
Region-based memory management for Mercury programs. CoRR abs/1203.1392 (2012) - 2011
- [c41]Theofrastos Mantadelis
, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers:
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. PADL 2011: 34-37 - [i8]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 abs/1106.1803 (2011) - [i7]Theofrastos Mantadelis, Gerda Janssens:
Nesting Probabilistic Inference. CoRR abs/1112.3785 (2011) - 2010
- [j10]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): 279-292 (2010) - [c40]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: 719-724 - [c39]Theofrastos Mantadelis
, Gerda Janssens:
Dedicated Tabling for a Probabilistic Setting. ICLP (Technical Communications) 2010: 124-133 - [c38]Theofrastos Mantadelis
, Ricardo Rocha
, Angelika Kimmig, Gerda Janssens:
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA 2010: 260-272 - [c37]Theofrastos Mantadelis
, Gerda Janssens:
Variable Compression in ProbLog. LPAR (Yogyakarta) 2010: 504-518 - [i6]Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens:
DNF Sampling for ProbLog Inference. CoRR abs/1009.3798 (2010)
2000 – 2009
- 2009
- [c36]Sven Verdoolaege
, Gerda Janssens, Maurice Bruynooghe:
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. CAV 2009: 599-613 - [c35]Sven Verdoolaege
, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor:
Experience with widening based equivalence checking in realistic multimedia systems. HLDVT 2009: 122-129 - [c34]Quan Phan, Gerda Janssens:
Path-sensitive region analysis for mercury programs. PPDP 2009: 161-170 - 2008
- [c33]Quan Phan, Zoltan Somogyi, Gerda Janssens:
Runtime support for region-based memory management in Mercury. ISMM 2008: 61-70 - 2007
- [j9]Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor:
A practical dynamic single assignment transformation. ACM Trans. Design Autom. Electr. Syst. 12(4): 40 (2007) - [j8]Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele:
Fast Frequent Querying with Lazy Control Flow Compilation. Theory Pract. Log. Program. 7(4): 481-498 (2007) - [c32]Quan Phan, Gerda Janssens:
Static Region Analysis for Mercury. ICLP 2007: 317-332 - [i5]K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. CoRR abs/0710.4689 (2007) - [i4]Remko Tronçon, Gerda Janssens:
A Delta Debugger for ILP Query Execution. CoRR abs/cs/0701105 (2007) - 2006
- [c31]Quan Phan, Gerda Janssens:
Towards Region-Based Memory Management for Mercury Programs. ICLP 2006: 433-435 - [i3]Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele:
Fast Frequent Querying with Lazy Control Flow Compilation. CoRR abs/cs/0601072 (2006) - 2005
- [c30]Remko Tronçon, Gerda Janssens:
Analyzing & debugging ILP data mining query execution. AADEBUG 2005: 105-110 - [c29]Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor:
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. APLAS 2005: 330-346 - [c28]K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
Verification of Source Code Transformations by Program Equivalence Checking. CC 2005: 221-236 - [c27]K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. DATE 2005: 1310-1315 - 2004
- [c26]Remko Tronçon, Gerda Janssens, Henk Vandecasteele:
Fast Query Evaluation with (Lazy) Control Flow Compilation. ICLP 2004: 240-253 - 2003
- [j7]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: 465-491 (2003) - [j6]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): 248-269 (2003) - [j5]Henk Vandecasteele, Gerda Janssens:
An Open Ended Tree. Theory Pract. Log. Program. 3(3): 377-385 (2003) - [c25]Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor:
Multi-dimentsional Incremetal Loops Fusion for Data Locality. ASAP 2003: 17-27 - [c24]K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
Automatic functional verification of memory oriented global source code transformations. HLDVT 2003: 31-36 - [i2]Henk Vandecasteele, Gerda Janssens:
An Open Ended Tree. CoRR cs.PL/0312027 (2003) - 2002
- [j4]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: 135-166 (2002) - [c23]Nancy Mazur, Gerda Janssens, Wim Vanhoof:
Collecting Potential Optimisations. LOPSTR 2002: 109-110 - [c22]Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor:
Storage Size Reduction by In-place Mapping of Arrays. VMCAI 2002: 167-181 - [c21]K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. COCV@ETAPS 2002: 67-82 - 2001
- [c20]Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe:
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. ICLP 2001: 105-119 - [i1]Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe:
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. CoRR cs.PL/0110037 (2001) - 2000
- [j3]Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens:
Project Report on LP+: A Second Generation Logic Programming Language. AI Commun. 13(1): 13-18 (2000) - [c19]Nancy Mazur, Gerda Janssens, Maurice Bruynooghe:
A Module Based Analysis for Memory Reuse in Mercury. Computational Logic 2000: 1255-1269 - [c18]Hendrik Blockeel
, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele:
Executing Query Packs in ILP. ILP 2000: 60-77 - [c17]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
1990 – 1999
- 1999
- [c16]Henk Vandecasteele, Bart Demoen, Gerda Janssens:
A Finite Domain CLP Solver on Top of Mercury. New Trends in Constraints 1999: 256-273 - 1998
- [c15]Gerda Janssens, Konstantinos Sagonas:
On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD 1998: 118-126 - 1997
- [c14]Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal:
Live-Structure Analysis for Logic Programming Languages with Declarations. ICLP 1997: 33-47 - 1996
- [j2]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): 564-614 (1996) - 1995
- [c13]Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe:
On the Practicality of Abstract Equation Systems. ICLP 1995: 781-795 - [c12]Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier:
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. ILPS 1995: 336-350 - 1994
- [c11]Gerda Janssens, Wim Simoens:
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. CC 1994: 172-187 - [c10]Veroniek Dumortier, Gerda Janssens:
Towards a Practical Full Mode Inference System for CLP(H, N). ICLP 1994: 569-583 - [c9]Gerda Janssens, Maurice Bruynooghe, Vincent Englebert
:
Abstracting Numerical Values in CLP(H, N). PLILP 1994: 400-414 - 1993
- [c8]Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish:
Freeness Analysis in the Presence of Numerical Constraints. ICLP 1993: 100-115 - 1992
- [j1]Gerda Janssens, Maurice Bruynooghe:
Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. J. Log. Program. 13(2&3): 205-258 (1992) - [c7]Maurice Bruynooghe, Gerda Janssens:
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. META 1992: 294-307 - 1991
- [c6]Gerda Janssens, Maurice Bruynooghe:
On Abstracting the Procedural Behaviour of Logic Programs. RCLP 1991: 240-262 - [c5]Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens:
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. PDK 1991: 309-317
1980 – 1989
- 1989
- [c4]André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe:
The Impact of Abstract Interpretation: An Experiment in Code Generation. ICLP 1989: 33-47 - 1988
- [c3]Maurice Bruynooghe, Gerda Janssens:
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. ICLP/SLP 1988: 669-683 - [c2]Gerda Janssens, Bart Demoen, André Mariën:
Improving the Register Allocation of WAM by Recording Unification. ICLP/SLP 1988: 1388-1402 - 1987
- [c1]Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen:
Abstract Interpretation: Towards the Global Optimization of Prolog Programs. SLP 1987: 192-204
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint