Nested Epistemic Logic Programs

@inproceedings{Wang2005NestedEL,
  title={Nested Epistemic Logic Programs},
  author={Kewen Wang and Yan Zhang},
  booktitle={LPNMR},
  year={2005}
}
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 callednested epistemic logic programs . The semantics of this extension named equilibrium viewsis defined on the basis of the epistemic HT-logic. We prove that equilibrium view semantics extends both… CONTINUE READING
BETA

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Minimal change and maximal coherence for epistemic logic program updates

  • Y. Zhang
  • In Proceedings of IJCAI-03 , pages 112–117.
  • 2003
1 Excerpt

From here to there: stable negation in logic programming

  • D. Pearce
  • In D. Gabbay and H. Wansing, editors, What is…
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…