DTAI (@dtai_kuleuven) 's Twitter Profile
DTAI

@dtai_kuleuven

Declarative Languages and Artificial Intelligence Research Group @CW_KULeuven @KU_Leuven

ID: 4850962432

linkhttps://dtai.cs.kuleuven.be calendar_today26-01-2016 19:51:09

521 Tweet

1,1K Followers

175 Following

Siegfried Nijssen (@sgrnijssen) 's Twitter Profile Photo

After 8 good years at UCLouvain, it is my pleasure to also share this here: I'm joining KU Leuven again. Today was my first day in Leuven as a professor, within DTAI. (1/3)

Dimos Tsouros (@dimos_ts) 's Twitter Profile Photo

Very excited for my tutorial on constraint acquisition today! I also presented my new python library for constraint acquisition, PyConA! Be sure to check it.

ECML PKDD (@ecmlpkdd) 's Twitter Profile Photo

Day 2 of #ECMLPKDD2024 is in full swing! The Organizing Committee is excited to host over 900 attendees at this year's conference.

Day 2 of #ECMLPKDD2024 is in full swing! The Organizing Committee is excited to host over 900 attendees at this year's conference.
Pieter Robberechts (@p_robberechts) 's Twitter Profile Photo

Attending ECML PKDD and interested in sports ⚽🏀🏈? Don’t miss our tutorial on Team Sports Analytics tomorrow! Our goal is to provide an accessible overview of existing work on the use of machine learning in sports. Check out the details here 👉dtai.cs.kuleuven.be/tutorials/spor…

Attending <a href="/ECMLPKDD/">ECML PKDD</a> and interested in sports ⚽🏀🏈? Don’t miss our tutorial on Team Sports Analytics tomorrow! Our goal is to provide an accessible overview of existing work on the use of machine learning in sports.

Check out the details here 👉dtai.cs.kuleuven.be/tutorials/spor…
Tom Schrijvers (@schrijvers_tom) 's Twitter Profile Photo

PhD Position in Programming Languages: Join my team at KU Leuven for cutting-edge research in programming languages, on multi-stage programming and computational effects. Apply now: kuleuven.be/personeel/jobs…

Tom Schrijvers (@schrijvers_tom) 's Twitter Profile Photo

📣 Laat je stem horen voor het onderwijs. 📣 ✅ Ga naar amai.vlaanderen/stemnu en stem voor "Automatische en gepersonaliseerde feedback bij informaticawetenschappen", en deel deze post. ⏩ Samen ondersteunen we de Vlaamse leerlingen en leerkrachten bij dit nieuwe vak.

Lorenzo Cascioli (@l_cascioli) 's Twitter Profile Photo

Has soccer gone too far in its obsession with keeping possession?⚽️ A few weeks ago I presented our latest research paper “Boot It: A Pragmatic Alternative to Build-Up Play” at the #StatsBombConference. 📽️ youtube.com/watch?v=OuiQBt… 📝statsbomb.com/wp-content/upl… [1/3]

Pieter Robberechts (@p_robberechts) 's Twitter Profile Photo

Nothing quite like a 'quick update' turning into a two-day saga of dependency chaos. But hey, 𝗱𝟯-𝘀𝗼𝗰𝗰𝗲𝗿 is updated for the first time in 4 years! 🚀 github.com/probberechts/d…

Lorenzo Cascioli (@l_cascioli) 's Twitter Profile Photo

Part 2 in our series on possession value models design decisions🔍: How the definition of "near future" has interesting effects on player ratings. It's not about 'better,' but about understanding the nuances. w/ Pieter Robberechts Jesse Davis Lode Van Tente dtai.cs.kuleuven.be/sports/blog/an…

David Debot (@debot_david) 's Twitter Profile Photo

🚀 Do you care about safe AI? Do you want RL agents that are both smart & trustworthy? At #AAAI2025, we present our demo for neurosymbolic RL—combining deep learning with probabilistic logic shields for safer, interpretable AI in complex environments. 🏰🔥 🧵👇 (1/8)

Gabriele Venturato (@gabventurato) 's Twitter Profile Photo

🔥 Can AI reason over time while following logical rules in relational domains? We will present Relational Neurosymbolic Markov Models (NeSy-MMs) next week at #AAAI2025! 🎉 📜 Paper: arxiv.org/pdf/2412.13023 💻 Code: github.com/ML-KULeuven/ne… 🧵⬇️

🔥 Can AI reason over time while following logical rules in relational domains? We will present Relational Neurosymbolic Markov Models (NeSy-MMs) next week at #AAAI2025! 🎉

📜 Paper: arxiv.org/pdf/2412.13023
💻 Code: github.com/ML-KULeuven/ne…

🧵⬇️
Jaron Maene @ICLR (@jjcmoon) 's Twitter Profile Photo

We all know backpropagation can calculate gradients, but it can do much more than that! Come to my #AAAI2025 oral tomorrow (11:45, Room 119B) to learn more.

Dimos Tsouros (@dimos_ts) 's Twitter Profile Photo

🚀 Enjoyed presenting my Constraint Acquisition tutorial at #CPML2025, part of #AAAI2025 in Philadelphia! More info and slides: dimostsouros.github.io/talks/2025-02-… #AI #CPML #ConstraintProgramming #AAAI2025

🚀 Enjoyed presenting my Constraint Acquisition tutorial at #CPML2025, part of #AAAI2025 in Philadelphia!

More info and slides: dimostsouros.github.io/talks/2025-02-…

#AI #CPML #ConstraintProgramming #AAAI2025
Dimos Tsouros (@dimos_ts) 's Twitter Profile Photo

🚀 Very excited to present PyConA, our open-source Python library for Constraint Acquisition, at #CPML2025, part of #AAAI2025! 🔍 PyConA provides a flexible, accessible tool for CA. 📢 Open-source: github.com/CPMpy/PyConA #CPML #ConstraintProgramming #PyConA #AAAI2025

🚀 Very excited to present PyConA, our open-source Python library for Constraint Acquisition, at #CPML2025, part of #AAAI2025!

🔍 PyConA provides a flexible, accessible tool for CA.

📢 Open-source: github.com/CPMpy/PyConA

#CPML #ConstraintProgramming #PyConA #AAAI2025
Dimos Tsouros (@dimos_ts) 's Twitter Profile Photo

📝 Today I presented our paper on Generalizing Constraint Models in Constraint Acquisition at #AAAI2025! Interested? More at dimostsouros.github.io/talks/2025-02-… #AI #MachineLearning #ConstraintProgramming #AAAI2025

📝 Today I presented our paper on Generalizing Constraint Models in Constraint Acquisition at #AAAI2025!

Interested? More at dimostsouros.github.io/talks/2025-02-…

#AI #MachineLearning #ConstraintProgramming #AAAI2025
Jose M. Alvarez (@cc_jalvarez) 's Twitter Profile Photo

🚨 New journal paper 🚨 Our work, Counterfactual Situation Testing: From Single to Multidimensional Discrimination, has been published in the Journal of Artificial Intelligence Research 👇 Salvatore Ruggieri NoBIAS ITN Project DTAI

Jaron Maene @ICLR (@jjcmoon) 's Twitter Profile Photo

We developed a library to make logical reasoning embarrassingly parallel on the GPU. For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!

We developed a library to make logical reasoning embarrassingly parallel on the GPU.  

For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!