LPOP: questions for speakers and panels
Please add any question you may have for any speaker/panel/break discussions.

After you click Submit, you will see links to:
    See previous responses
    Edit your response
    Submit another response

If you see and like a previous question instead of (or in addition to) your own, you can Edit your (or Submit another) response and cut-and-paste that question---that should add your vote for it:)
Sign in to Google to save your progress. Learn more
Your name (if you'd like to share)

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

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.

Invited Panel: Ethics,  Uncertainty, and Roadmaps for AI

John Hooker CMU, Ang Li Florida State University, Benjamin Grosof DARPA, Chair: Anil Nerode Cornell University

Logic in the Age of AI

Yuri Gurevich University of Michigan

Rigorous Language Models for Trustworthy AI

Annie Liu Stony Brook University

Generative AI as a Contributor to Joint Interactive Modeling

Joost Vennekens KU Leuven

Harnessing ASP and Its Extensions: Recent Applications and Role in Trustworthy AI

Giuseppe Mazzotta and Francesco Ricca University of Calabria

Beyond Deductive Datalog: How Datalog Is Used to Perform AI Tasks

Bernhard Scholz Sonic Research, Pavle Subotic Sonic Research, and David Zhao RelationalAI

A Case Study on TSP: What to Optimize and How?

Martin Gebser University of Klagenfurtm

Declarative Ethics for AI Systems 

John Hooker CMU

Estimating Causal Quantities via Linear and Nonlinear Programming:  Current Status, Challenges, and Future Directions

Ang Li Florida State University

Combining Expressive Logic Programs with Machine Learning and Natural Language: Some Roadmap

Invited Program Manager, Benjamin Grosof DARPA

Morning Break: Discussion on Integrating Reasoning with LLMs

Host: TBD

Afternoon Break: Discussion on Logic Reasoning Systems for AI

Host: TBD

Submit
Clear form
Never submit passwords through Google Forms.
This form was created inside of Stony Brook University Dept. of Computer Science.

Does this form look suspicious? Report

Google Forms