< 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 106 results
- Hendrik Blockeel (Responsible)
- Kris Aerts (Member)
- Juan Aurelio Alvarado Ortega (Member)
- Jessa Bekker (Member)
- Bettina Berendt (Member)
- Ignace Bleukx (Member)
- Hendrik Blockeel (Member)
- Sieben Bocklandt (Member)
- Maurice Bruynooghe (Member)
- Pierre Carbonnelle (Member)
Projects
1 - 10 of 242
- Custom interfaces for curating metadata in the GLAM domainFrom28 Mar 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Prediction + Optimisation for scheduling and rostering with CMPpyFrom1 Mar 2024 → TodayFunding: HORIZON.1.1 - European Research Council (ERC)
- Retrokit - Optimising Machine Retrofitting with Retrokit: A Modular Machine Learning Approach for Edge-Based Condition MonitoringFrom1 Mar 2024 → TodayFunding: IOF - technology validation in lab
- Sabbatical Jesse Jon Davis: Analyzing Spatio-temporal Data: The Next FrontierFrom1 Feb 2024 → TodayFunding: FWO Prices and sabbaticals (before FWO undefined), BOF - mobility
- Data-driven methodology for the real-time monitoring of the remaining useful life of electronic systemsFrom25 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Machine learning with tensors for hyper spectral imaging for agrofood and medical applicationsFrom25 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- A Category-Theoretic Perspective on Approximation Fixpoint TheoryFrom16 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Enhancing situational aware navigation for indoor robot applications through active perception and standardizationFrom11 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Neurosymbolic AI for Constraint LearningFrom1 Jan 2024 → TodayFunding: FWO research project (including WEAVE projects)
- fRamework for safE, opEn, collaboratiVe And incLUsive digitisAtion and managemenT of cultural heritagEFrom1 Jan 2024 → TodayFunding: Horizon Europe - Culture, Creativity and Inclusive Society
Publications
1101 - 1110 of 1457
- Learning relational affordance models for robots in multi-object manipulation tasks(2012)
Authors: Bogdan Moldovan, Martijn van Otterlo, Luc De Raedt
Pages: 4373 - DTProbLog: A decision-theoretic probabilistic Prolog(2010)
Authors: Guy Van den Broeck, Ingo Thon, Martijn van Otterlo, Luc De Raedt
Pages: 1217 - 1222 - MiningZinc: A modeling language for constraint-based mining(2013)
Authors: Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt
Pages: 1365 - 1372 - On Continuous Distributions and Parameter Estimation in Probabilistic Logic Programs (Over continue verdelingen en het schatten van parameters in probabilistische logische programma's)(2011)
Authors: Bernd Gutmann, Luc De Raedt
Number of pages: 191 - Inductive logic programming(2017)
Authors: Luc De Raedt
Pages: 648 - 656 - Lifted Model Checking for Relational MDPs(2022)
Authors: Wen-Chi Yang, Luc De Raedt
Pages: 3797 - 3838 - PageRank, ProPPR, and stochastic logic programs(2014)
Authors: Dries Van Daele, Angelika Kimmig, Luc De Raedt
- OMEN: network-based driver gene identification using mutual exclusivity(2022)
Authors: Dries Van Daele, Luc De Raedt
Pages: 3245 - 3251 - Knowledge compilation and weighted model counting for inference in probabilistic logic programs(2016)
Authors: Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt
Pages: 359 - 364 - Learn + Solve: Learning and Solving Constrained Hybrid Inference Problems(2019)
Authors: Samuel Kolb, Luc De Raedt