Well-Supported Semantics for Logic Programs with Generalized Rules

Jia-Huai You, Yi-Dong Shen, Kewen Wang. Well-Supported Semantics for Logic Programs with Generalized Rules. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 576-591, Springer, 2012. [doi]

Abstract

Abstract is missing.