Revisiting Epistemic Specifications - Truszczyński, Mirosław (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)
Keywords: Hamiltonian Cycle; Logic Program; Logic Programming; Modal Atom; Stable Model