Trans-Epistemic Semantics for Logic Programs

Arcot Rajasekar. Trans-Epistemic Semantics for Logic Programs. In V. Wiktor Marek, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR 95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Volume 928 of Lecture Notes in Computer Science, pages 388-400, Springer, 1995.

Abstract

Abstract is missing.