Back to top

ILP Program (All times are CEST)


Tuesday 26



12:00 - 13:00: AAIP Session
12:00-12:05
Welcome to AAIP (Ute Schmid & Cesar Ferri)
12:05--12:20
Journal TrackGust Verbruggen, Sumit Gulwani and Luc De Raedt
FlashBack: Semantic Programming by Example
12:20-12:35
Journal TrackLidia Contreras-Ochando, Cèsar Ferri and José Hernández-Orallo
AUTOMAT[R]IX: Learning Simple Matrix Pipelines
12:35-13:50
Conference TrackLeopoldo Bertossi and Gabriela Reyes
Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification
12:50-13:00
General Discussion
16:00 - 17:30: AAIP Session
16:00-16:45
Invited talk: Armando Solar-Lezama
Neurosymbolic Reasoning for Better Learning
16:45 -17:00
Conference TrackRasmus Larsen and Mikkel Nørgaard Schmidt
Programmatic Policy Extraction by Iterative Local Search
17:00 - 17:10
Sharad Chitlangia, Atharv Sonwane, Tirtharaj Dash, Lovekesh Vig, Ashwin Srinivasan and Gautam Shroff
Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems (work in progress report)
17:10 - 17:30
General Discussion