< 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 107 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
- Machine Learning Techniques for Health Management Strategies of Heterogeneous Naval SystemsFrom23 Apr 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- 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)
- Sabbatical Jesse Jon Davis: Analyzing Spatio-temporal Data: The Next FrontierFrom1 Feb 2024 → TodayFunding: FWO Prices and sabbaticals (before FWO undefined), BOF - mobility
- Machine learning with tensors for hyper spectral imaging for agrofood and medical applicationsFrom25 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- 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
- 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
11 - 20 of 1458
- Limitations of using constraint set utility in semi-supervised clustering(2015)
Authors: Toon Van Craenendonck, Hendrik Blockeel, Joaquin Vanschoren, Pavel Brazdil, Christophe G Giraud-Carrier, Lars Kotthoff
Pages: 27 - 42 - A logic of nonmonotone inductive definitions(2008)
Authors: Marc Denecker
- Translating ASP to a typed language without Herbrand functions(2015)
Authors: Joachim Jansen, Gerda Janssens
Pages: 1 - 14 - Runtime support for region-based memory management in Mercury(2008)
Authors: Quan Phan, Gerda Janssens
Pages: 61 - 70 - Bridging symbolic and subsymbolic reasoning with minimax entropy models(2021)
Authors: Giuseppe Marra
Pages: 71 - 90 - CP-logic: A language of causal probabilistic events and its relation to logic programming(2009)
Authors: Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pages: 245 - 308 - A deductive system for FO(ID) based on least fixpoint logic(2009)
Authors: Ping Hou, Marc Denecker
Pages: 129 - 141 - Wikis, blogs, bookmarking tools – mining the Web 2.0. workshop at the ECML/PKDD 2008 international conference(2008)
Authors: Bettina Berendt
- Equivalence checking of static affine programs using widening to handle recurrences(2009)
Authors: Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
Pages: 599 - 613 - Learning and Reasoning in Complex Coalition Information Environments: a Critical Analysis(2018)
Authors: Federico Cerutti, Moustafa Alzantot, Tianwei Xing, Daniel Harborne, Jonathan Z Bakdash, Dave Braines, Supriyo Chakraborty, Lance Kaplan, Angelika Kimmig, Alun Preece, et al.
Pages: 822 - 829Number of pages: 8