Extending SATPLAN to Multiple Agents

Yannis Dimopoulos, Muhammad Adnan Hashmi, Pavlos Moraitis. Extending SATPLAN to Multiple Agents. In Max Bramer, Miltos Petridis, Adrian Hopgood, editors, Research and Development in Intelligent Systems XXVII - Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Int. pages 137-150, Springer, 2010. [doi]

Abstract

Abstract is missing.