Back to top

ILP Program (All times are CEST)

Tuesday 26

12:00 - 13:00: AAIP Session
Welcome to AAIP (Ute Schmid & Cesar Ferri)
Journal TrackGust Verbruggen, Sumit Gulwani and Luc De Raedt
FlashBack: Semantic Programming by Example
Journal TrackLidia Contreras-Ochando, Cèsar Ferri and José Hernández-Orallo
AUTOMAT[R]IX: Learning Simple Matrix Pipelines
Conference TrackLeopoldo Bertossi and Gabriela Reyes
Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification
General Discussion
16:00 - 17:30: AAIP Session
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