@inbook{0f91f0e6ecc849b2bf1ad7726ed5572f,
title = "Answer set programming and planning with knowledge and world-altering actions in multiple agent domains",
abstract = "This paper discusses the planning problem in multi-agent domains, in which agents may execute not only world-altering actions, but also epistemic actions. The paper reviews the concepts of Kripke structures and update models, as proposed in the literature to model epistemic and ontic actions; it then discusses the use of Answer Set Programming (ASP) in representing and reasoning about the effects of actions on the world, the knowledge of agents, and planning. The paper introduces the m language, an action language for multi-agent domains with epistemic and ontic actions, to demonstrate the proposed ASP model.",
author = "Enrico Pontelli and Son, {Tran Cao} and Chitta Baral and Gregory Gelfond",
year = "2012",
doi = "10.1007/978-3-642-30743-0_35",
language = "English (US)",
isbn = "9783642307423",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "509--526",
editor = "Erdem Esra and Lee Joohyung and Lierler Yuliya and Pearce David",
booktitle = "Correct Reasoning",
}