< 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 108 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 240
- 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
- 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
- Closing the Product-Production loop for high performant injection moulded parts (PerIMPro_SBO)From1 Jan 2024 → TodayFunding: IWT / VLAIO - Flanders Make - ICON
- A safer internet through analysis of domain name registrations and DNS trafficFrom1 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
Publications
31 - 40 of 1451
- Adhesive Selection via an Interactive, User-friendly System based on Symbolic AI(2022)
Authors: Simon Vandevelde, Joost Vennekens
Pages: 161 - 166 - Vakdidactiek Informatica(2011)
Authors: Bart Demoen
Number of pages: 179 - Een klein beetje grafentheorie, een
sterk gevolg: het lemma van Sperner(2022)
Authors: Bart Demoen
Pages: 7 - 10 - Towards finding relational redescriptions(2012)
Authors: Esther Galbrun, Angelika Kimmig, Jean-Gabriel Ganascia, Philippe Lenca, Jean-Marc Petit
Pages: 52 - 66 - Proceedings of USEWOD2012 — 2nd international workshop on usage analysis and the web of data at WWW'2012(2012)
Authors: Bettina Berendt
- Towards a logical reconstruction of a theory for locally closed databases(2010)
Authors: Marc Denecker, Maurice Bruynooghe
Pages: 1 - 60 - The State of the Art in the Development of a Versatile Argumentation System based on the Logic of Multiple-valued Argumentation.(2013)
Authors: Satoru Tannai, Shogo Ohta, Takeshi Hagiwara, Hajime Sawamura, Jacques Riche, Joaquim Filipe, Ana LN Fred
Pages: 217 - 224 - Learning Optimal Behavior in Environments with Non-stationary Observations(2022)
Authors: Gavin Rens
Pages: 729 - 736Number of pages: 8 - DNF sampling for ProbLog inference(2010)
Authors: Dimitar Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens
Pages: 15 - Tabling as a library with delimited control(2016)
Authors: Tom Schrijvers, Alexander Vandenbroucke
Pages: 4145 - 4149