Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs

Juan Carlos Nieves, Mauricio Osorio 0001. Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs. Scientific Programming, 2018, 2018. [doi]

Abstract

Abstract is missing.