@inproceedings{dae8d1b2003340d7aaffa2df19294fba,
title = "Communicating ASP and the Polynomial Hierarchy",
abstract = "Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expressiveness of this framework crucially depends on the nature of the communication mechanism that is adopted. The communication mechanism we introduce in this paper allows us to focus on a sequence of programs, where each program in the sequence may successively eliminate some of the remaining models. The underlying intuition is that of leaders and followers: each agent{\textquoteright}s decisions are limited by what its leaders have previously decided. We show that extending answer set programs in this way allows us to capture the entire polynomial hierarchy.",
author = "Kim Bauters and Steven Schockaert and Dirk Vermeir and Cock, {Martine De}",
year = "2011",
doi = "10.1007/978-3-642-20895-9_8",
language = "English",
isbn = "978-3-642-20894-2",
volume = "6645",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "67--79",
editor = "Delgrande, {James P.} and Wolfgang Faber",
booktitle = "Logic Programming and Nonmonotonic Reasoning: Proceedings of the 11th International Conference, LPNMR",
address = "Germany",
}