Negation as Failure for Disjunctive Logic Programming

Phan Minh Dung, Ngo Huu Liem. Negation as Failure for Disjunctive Logic Programming. Annals of Mathematics and Artificial Intelligence, 12(1-2):25-52, 1994.

Abstract

Abstract is missing.