Program
Sunday October 13, 2024
Displayed time zone: Central Time (US & Canada)
Link for submitting questions for speakers, panels, and discussions
8:30-9:00 Breakfast
9:00 Opening and Introduction
Anil Nerode Cornell University and Annie Liu Stony Brook University
9:15-10:30 Integrating Logic with LLMs for AI
Chair: Gopal Gupta UT Dallas
9:15 45m Invited Talk: Psychoanalysis (and Therapy) of ChatGPT
Georg Gottlob Oxford University
10:00 15m Logic in the Age of AI
Yuri Gurevich University of Michigan
10:15 15m Rigorous Language Models for Trustworthy AI
Annie Liu Stony Brook University
10:30 30m Coffee Break
11:00-12:30 Reasoning for AI and AI for Modeling
Chair: Annie Liu Stony Brook University
11:00 45m Invited Talk: Neuro-symbolic AI, or Are We Already There?
Henry Kautz University of Virginia
11:45 15m Generative AI as a Contributor to Joint Interactive Modeling
Joost Vennekens KU Leuven
12:00 30m Invited Panel: Integrating Logical Reasoning and LLMs for Trustworthy AI
Georg Gottlob Oxford University, Yuri Gurevich University of Michigan, Annie Liu Stony Brook University, Henry Kautz University of Virginia, Joost Vennekens KU Leuven, Chair: Gopal Gupta UT Dallas
12:30-13:30 Lunch
13:30-15:30 Logic Systems and Optimizations for AI
Chair: David Warren Stony Brook University and XSB Inc.
13:30 45m Invited Talk: How to Make Logics Neurosymbolic
Luc De Raedt KU Leuven
14:15 15m Harnessing ASP and Its Extensions: Recent Applications and Role in Trustworthy AI
Giuseppe Mazzotta and Francesco Ricca University of Calabria
14:30 15m Beyond Deductive Datalog: How Datalog Is Used to Perform AI Tasks
Bernhard Scholz Sonic Research, Pavle Subotic Sonic Research, and David Zhao RelationalAI
14:45 15m A Case Study on TSP: What to Optimize and How?
Martin Gebser University of Klagenfurtm
15:00 30m Invited Panel: Logic Systems and Optimizations for AI
Luc De Raedt KU Leuven, Giuseppe Mazzotta and Francesco Ricca University of Calabria, Bernhard Scholz and Pavle Subotic Sonic Research, David Zhao RelationalAI, Martin Gebser University of Klagenfurtm, Chair: David Warren Stony Brook University and XSB Inc.
15:30 30m Coffee Break
16:00-17:30 Ethics, Uncertainty, and Roadmaps for AI
Chair: Anil Nerode Cornell University
16:00 15m Declarative Ethics for AI Systems
John Hooker CMU
16:15 15m Estimating Causal Quantities via Linear and Nonlinear Programming: Current Status, Challenges, and Future Directions
Ang Li Florida State University
16:30 30m Combining Expressive Logic Programs with Machine Learning and Natural Language: Some Roadmap
Invited Program Manager, Benjamin Grosof DARPA
17:00 30m Invited Panel: Ethics, Uncertainty, and Roadmaps for AI
John Hooker CMU, Ang Li Florida State University, Benjamin Grosof DARPA, Chair: Anil Nerode Cornell University
17:30 Closing
Anil Nerode Cornell University and Annie Liu Stony Brook University