Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic

Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde. Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. In Sandro Etalle, Miroslaw Truszczynski, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4079 of Lecture Notes in Computer Science, pages 346-360, Springer, 2006. [doi]

Abstract

Abstract is missing.