< Back to previous page
Researcher
Matthias van der Hallen
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → 31 Dec 2021 - Informatics Section (Division)
Member
From15 Sep 2014 → 4 Aug 2020
Projects
1 - 1 of 1
- A higher level of abstraction for logical specification languagesFrom2 Sep 2014 → 9 Sep 2020Funding: FWO Strategic Basic Research Grant
Publications
1 - 6 of 6
- Towards a Higher Level of Abstraction for Knowledge Representation Languages(2020)
Authors: Matthias van der Hallen, Gerda Janssens, Marc Denecker
- Knowledge Representation Analysis of Graph Mining(2019)
Authors: Matthias van der Hallen, Sergey Paramonov, Gerda Janssens, Marc Denecker
Pages: 21 - 60 - SOGrounder: Modelling and Solving Second-Order Logic.(2018)
Authors: Matthias van der Hallen, Gerda Janssens
Pages: 72 - 77Number of pages: 5 - A compositional typed higher-order logic with definitions(2016)
Authors: Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
Pages: 14:1 - 14:1 - Knowledge representation analysis of graph mining(2016)
Authors: Matthias van der Hallen, Sergey Paramonov, Gerda Janssens
Pages: 55 - 76 - Semantics of templates in a compositional framework for building logics(2015)
Authors: Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Pages: 681 - 695