Gerda Janssens

Available identifiers

zbMath Open janssens.gerdaMaRDI QIDQ2317966

List of research outcomes

Publication	Date of Publication	Type
A compositional typed higher-order logic with definitions	2019-10-24	Paper
Knowledge representation analysis of graph mining	2019-08-13	Paper
Inference and learning in probabilistic logic programs using weighted Boolean formulas	2017-11-09	Paper
Semantics of templates in a compositional framework for building logics	2017-11-09	Paper
The KB paradigm and its application to interactive configuration	2017-11-09	Paper
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming	2015-11-04	Paper
Region-based memory management for Mercury programs	2014-02-27	Paper
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3	2014-02-27	Paper
Dedicated tabling for a probabilistic setting	2012-05-11	Paper
ProbLog Technology for Inference in a Probabilistic First Order Logic	2011-05-11	Paper
Variable Compression in ProbLog	2010-10-12	Paper
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context	2010-10-01	Paper
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences	2009-06-30	Paper
Static Region Analysis for Mercury	2009-03-05	Paper
Towards Region-Based Memory Management for Mercury Programs	2008-03-11	Paper
Fast Frequent Querying with Lazy Control Flow Compilation	2007-07-12	Paper
Programming Languages and Systems	2006-10-20	Paper
Logic Programming	2005-08-26	Paper
10.1162/153244304773936027	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4736995	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736507	2004-08-09	Paper
An open ended tree	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4537964	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4533346	2002-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q2767145	2002-01-28	Paper
Deriving descriptions of possible values of program variables by means of abstract interpretation	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gerda Janssens