Infinitary Equilibrium Logic and Strong Equivalence

Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde. Infinitary Equilibrium Logic and Strong Equivalence. In Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Volume 9345 of Lecture Notes in Computer Science, pages 398-410, Springer, 2015. [doi]

Authors

Amelia Harrison

This author has not been identified. Look up 'Amelia Harrison' in Google

Vladimir Lifschitz

This author has not been identified. Look up 'Vladimir Lifschitz' in Google

David Pearce

This author has not been identified. Look up 'David Pearce' in Google

Agustín Valverde

This author has not been identified. Look up 'Agustín Valverde' in Google