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

Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustn Valverde

Browse the full ICLP paper archive.