< Back to previous page
Organisation
Declarative Languages and Artificial Intelligence (DTAI)
Division
Main organisation:Department of Computer Science
Lifecycle:1 Aug 2020 → Today
Organisation profile:
Declarative Languages and Artificial Intelligence (DTAI)
Keywords:artificial intelligence
Disciplines:Artificial intelligence
Current researchers
1 - 10 of 152 results
- Rik Adriaensen (Member)
- Kris Aerts (Member)
- Juan Aurelio Alvarado Ortega (Member)
- Jose Manuel Alvarez (Member)
- Markus Anders (Member)
- Jessa Bekker (Member)
- Senne Berden (Member)
- Bettina Berendt (Member)
- Henk Bierlee (Member)
- Ignace Bleukx (Member)
Projects
1 - 10 of 323
- Bayesian Neurosymbolic AI for Trustworthy Machine LearningFrom1 Jan 2026 → TodayFunding: BOF - postdoctoral mandates
- Strengthening and European Anchoring of the KU Leuven-VIVES Collaboration in Machine Building and Mechatronics (M&M)From1 Jan 2026 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Revisiting Pseudo-Boolean solving for Constraint ProgrammingFrom19 Nov 2025 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Development of AI diagnostic tools to identify the origin of an EMIFrom14 Nov 2025 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Relational Concept based ModelsFrom4 Nov 2025 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Functional brain imaging of social cognitionFrom1 Oct 2025 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Imposing semantic constraints on Artificial Neural Networks through a generalized parameter-based approach with minimal overhead at inference-timeFrom1 Oct 2025 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Towards a Counterfactual Reasoning Framework for Markov Models Using Probabilistic Model CheckingFrom1 Oct 2025 → TodayFunding: FWO junior postdoctoral fellowship
- AI-assisted CAD-to-CAM Optimization for Machining ProcessesFrom1 Oct 2025 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Safe Neurosymbolic Relational Reinforcement LearningFrom22 Sep 2025 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
Publications
1 - 10 of 1870
- Power and Spreading Factor Control in Low Power Wide Area Networks(2017)Pages: 1 - 5
- Toward accountable discrimination-aware data mining: The importance of keeping the human in the loop - and under the looking glass(2017)Published in: Big DataISSN: 2167-6461Issue: 2Volume: 5Pages: 135 - 152
- COVID-19 in people with multiple sclerosis: A global data sharing initiative(2020)Published in: MULTIPLE SCLEROSIS JOURNALISSN: 1352-4585Issue: 10Volume: 26Pages: 1157 - 1162
- Didymella bryoniae in cucumber: an integrated control strategy(2020)Published in: Acta HorticulturaeISSN: 0567-7572Volume: 1294Pages: 105 - 112
- A Logic-based Multiagent Product Configuration Model(2021)Pages: 50 - 55Number of pages: 6
- Relational marginal problems: Theory and estimation(2018)Pages: 1 - 8
- Actions Speak Louder than Goals: Valuing Player Actions in Soccer(2019)Pages: 1851 - 1861
- Self-reflection on privacy research in social networking sites(2016)Published in: Behaviour & Information TechnologyISSN: 0144-929XIssue: 5Volume: 36Pages: 459 - 469
- PIU: A 248GOPS/W Stream-Based Processor for Irregular Probabilistic Inference Networks Using Precision-Scalable Posit Arithmetic in 28nm(2021)Pages: 1 - 3
- Non-cognitive abilities of exceptional software engineers: a Delphi study(2020)Pages: 1096 - 1102Number of pages: 6