Onderzoeker
Joachim Jansen
- Disciplines:Toegepaste wiskunde, Computerarchitectuur en -netwerken, Distributed computing, Informatiewetenschappen, Informatiesystemen, Programmeertalen, Scientific computing, Theoretische informatica, Visual computing, Andere informatie- en computerwetenschappen
Affiliaties
- Afdeling Informatica (Afdeling)
Lid
Vanaf1 sep 2012 → 31 dec 2018
Projecten
1 - 1 of 1
- Geavanceerde technieken voor grounden en solven in het IDP kennisbanksysteemVanaf4 sep 2012 → 12 dec 2016Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
1 - 10 van 16
- Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System(2016)
Auteurs: Joachim Jansen, Gerda Janssens, Marc Denecker
- Implementing a relevance tracker module(2016)
Auteurs: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pagina's: 77 - 91 - Bootstrapping inference in the IDP Knowledge Base System(2016)
Auteurs: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pagina's: 193 - 220 - Relevance for SAT(ID)(2016)
Auteurs: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pagina's: 596 - 603 - Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3(2015)
Auteurs: Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
Pagina's: 783 - Translating ASP to a typed language without Herbrand functions(2015)
Auteurs: Joachim Jansen, Gerda Janssens
Pagina's: 1 - 14 - Inferring Accountability from Trust Perceptions(2014)
Auteurs: Koen Decroix, Joachim Jansen, Vincent Naessens
Pagina's: 69 - 88 - Experimental evaluation of a state-of-the-art grounder(2014)
Auteurs: Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens
Pagina's: 249 - 259 - Simulating dynamic systems using linear time calculus theories(2014)
Auteurs: Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Pagina's: 477 - 492 - Refining definitions with unknown opens using XSB for IDP3(2014)
Auteurs: Joachim Jansen, Gerda Janssens, Thomas Ströder, Terrance Swift
Pagina's: 15 - 29