@inproceedings{de8cf76fb3f841d8a728a7e6f350c7e5,
title = "Nested epistemic logic programs",
abstract = "Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored. In this paper we first introduce the epistemic HT-logic, and then propose a more general extension of logic programs called nested epistemic logic programs. The semantics of this extension - named equilibrium views - is defined on the basis of the epistemic HT-logic. We prove that equilibrium view semantics extends both the answer sets of nested logic programs and the world views of epistemic logic programs. Therefore, our work establishes a unifying framework for both nested logic programs and epistemic logic programs. Furthermore, we also provide a characterization of the strong equivalence of two nested epistemic logic programs.",
author = "Kewen Wang and Yan Zhang",
year = "2005",
doi = "10.1007/11546207_22",
language = "English",
isbn = "3540285385",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "279--290",
booktitle = "Logic Programming and Nonmonotonic Reasoning - 8th International Conference, LPNMR 2005, Proceedings",
note = "8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005 ; Conference date: 05-09-2005 Through 08-09-2005",
}