Video recording
Session title:
KR: nonmonotic
Session chair:
Michael Fink
Talks
What is an Ideal Logic for Reasoning with Inconsistency? | Ofer Arieli, Arnon Avron and Anna Zamansky | |
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription | Michael Bartholomew, Joohyung Lee and Yunsong Meng | |
A Logical Formulation for Negotiation Among Dishonest Agents | Chiaki Sakama, Son Tran and Enrico Pontelli | Slides |
Video