Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF.

Spencer Killen, Wenkai Gao, Jia-Huai You

Browse the full ICLP paper archive.