< Terug naar vorige pagina
Onderzoeker
Matthias van der Hallen
- Disciplines:Artificiële intelligentie
Affiliaties
- Declaratieve Talen en Artificiële Intelligentie (DTAI) (Afdeling)
Lid
Vanaf1 aug 2020 → 31 dec 2021 - Afdeling Informatica (Afdeling)
Lid
Vanaf15 sep 2014 → 4 aug 2020
Projecten
1 - 1 of 1
- Een hoger abstractieniveau voor logische specificatietalenVanaf2 sep 2014 → 9 sep 2020Financiering: FWO Strategische Onderzoeksbeurs
Publicaties
1 - 6 van 6
- Towards a Higher Level of Abstraction for Knowledge Representation Languages(2020)
Auteurs: Matthias van der Hallen, Gerda Janssens, Marc Denecker
- Knowledge Representation Analysis of Graph Mining(2019)
Auteurs: Matthias van der Hallen, Sergey Paramonov, Gerda Janssens, Marc Denecker
Pagina's: 21 - 60 - SOGrounder: Modelling and Solving Second-Order Logic.(2018)
Auteurs: Matthias van der Hallen, Gerda Janssens
Pagina's: 72 - 77Aantal pagina's: 5 - A compositional typed higher-order logic with definitions(2016)
Auteurs: Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
Pagina's: 14:1 - 14:1 - Knowledge representation analysis of graph mining(2016)
Auteurs: Matthias van der Hallen, Sergey Paramonov, Gerda Janssens
Pagina's: 55 - 76 - Semantics of templates in a compositional framework for building logics(2015)
Auteurs: Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Pagina's: 681 - 695