Nested Epistemic Logic Programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Kewen Wang, Yan Zhang. Nested Epistemic Logic Programs. In Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina, editors, Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Volume 3662 of Lecture Notes in Computer Science, pages 279-290, Springer, 2005. [doi]

The following publications are possibly variants of this publication:

Epistemic Reasoning in Logic ProgramsYan Zhang. IJCAI 2007: 647-653 [doi]

Updating Epistemic Logic ProgramsYan Zhang. logcom, 19(2):405-423, 2009. [doi]

Computational Properties of Epistemic Logic ProgramsYan Zhang. kr 2006: 308-317

runs on WebDSL