Video recording
Session title:
KR: nonmonotic
Session chair:
Michael Fink
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 CircumscriptionMichael Bartholomew, Joohyung Lee and Yunsong Meng
A Logical Formulation for Negotiation Among Dishonest AgentsChiaki Sakama, Son Tran and Enrico PontelliSlides
Video also available for download here. We recommend VLC for playing