< Back to previous page
Researcher
Joost Vennekens
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → Today - Computer Science Technology, De Nayer (Sint-Katelijne-Waver) Campus (Technology cluster)
Member
From1 Oct 2013 → 31 Jul 2020
Projects
1 - 10 of 31
- Integrating different kinds of knowledge into the knowledge-base paradigmFrom11 Oct 2023 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Knowledge-based AI for Decision Support in ManufacturingFrom27 Feb 2023 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Measuring brain activation non-invasively in freely moving healthy and neuropsychiatric human populations using functional near-infrared spectroscopy (fNIRS)From1 Jan 2023 → TodayFunding: BOF - scientific equipment program
- Knowledge Graphs for Intelligent Decision Support using Decentralised DataFrom1 Nov 2022 → TodayFunding: IWT / VLAIO - TETRA fund
- Knowledge-based solutions for distributed configuration problemsFrom26 Sep 2022 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Normative Reasoning Lab (NOREA)From1 Jan 2022 → 31 Dec 2023Funding: Department of Economy, Science and Innovation
- SOCIAL COGNITION AND ASSOCIATED DEFICITS: IN VIVO AND IN SILICOFrom4 Oct 2021 → 31 Oct 2022Funding: Own budget, for example: patrimony, inscription fees, gifts
- Computational Modeling of Social Cognition and associated Deficits by means of Artificial Neural NetworksFrom1 Oct 2021 → TodayFunding: BOF - projects
- Modeling social cognition and its neurologic deficits with Artificial Neural NetworksFrom29 Sep 2021 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Approximation Fixpoint Theory as a General Algebraic Theory of Constructive KnowledgeFrom1 Jan 2021 → TodayFunding: FWO research project (including WEAVE projects)
Publications
81 - 90 of 118
- FO(C): A knowledge representation language of causality(2014)
Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker
Pages: 60 - 69 - Simulating dynamic systems using linear time calculus theories(2014)
Authors: Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Pages: 477 - 492 - FO(C) and related modelling paradigms(2014)
Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker
Pages: 90 - 96 - The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited(2014)
Authors: Marc Denecker, Joost Vennekens
Pages: 22 - 31Number of pages: 10 - Inference in the FO(C) modelling language(2014)
Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker
Pages: 82 - 89 - An OpenCL implementation of a forward sampling algorithm for CP-logic(2014)
Authors: Wiebe Van Ranst, Joost Vennekens
Pages: 1 - 14 - Inference in the FO(C) modelling language(2014)
Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker
Pages: 111 - 116 - The effects of buying a new car: An extension of the IDP Knowledge Base System (technical communication)(2013)
Authors: Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
Pages: 1 - 4 - Negation in the head of CP-logic rules(2013)
Authors: Joost Vennekens
Pages: 159 - 174 - Applications of Feasible Inference for Expressive Logics (Toepassingen van efficiënt redeneren voor expressieve logica's)(2012)
Authors: Hanne Vlaeminck, Marc Denecker, Joost Vennekens
Number of pages: 178