Infinitary equilibrium logic and strongly equivalent logic programs

Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde. Infinitary equilibrium logic and strongly equivalent logic programs. Artificial Intelligence, 246:22-33, 2017. [doi]

No reviews for this publication, yet.