BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Gerda Janssens
SearchCollections
Map detail
Gerda Janssens11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGerda JanssensAGerda JanssensResearcherNesting Probabilistic InferenceWNesting Probabilistic I...preprint / 2011Region-based memory management for Mercury programsWRegion-based memory man...preprint / 2012A web-based IDE for IDPWA web-based IDE for IDPpreprint / 2015Semantics of templates in a compositional framework for building logicsWSemantics of templates ...preprint / 2015The KB paradigm and its application to interactive configurationWThe KB paradigm and its...preprint / 2016DNF Sampling for ProbLog InferenceWDNF Sampling for ProbLo...preprint / 2010Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source CodeWFunctional Equivalence ...preprint / 2007Implementing a Relevance Tracker ModuleWImplementing a Relevanc...preprint / 2016Knowledge Representation Analysis of Graph MiningWKnowledge Representatio...preprint / 2016Inference and learning in probabilistic logic programs using weighted Boolean formulasWInference and learning ...preprint / 2013
Person10 links

Gerda Janssens

Researcher

PaperNesting Probabilistic InferenceAuthorship / preprint / 2011PaperRegion-based memory management for Mercury programsAuthorship / preprint / 2012PaperA web-based IDE for IDPAuthorship / preprint / 2015PaperSemantics of templates in a compositional framework for building logicsAuthorship / preprint / 2015PaperThe KB paradigm and its application to interactive configurationAuthorship / preprint / 2016PaperDNF Sampling for ProbLog InferenceAuthorship / preprint / 2010PaperFunctional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source CodeAuthorship / preprint / 2007PaperImplementing a Relevance Tracker ModuleAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)