An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs

Chris Giannella, John S. Schlipf. An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs. Annals of Mathematics and Artificial Intelligence, 25(3-4):275-309, 1999.

Abstract

Abstract is missing.