Publications

Filters: Author is Piergiorgio Bertoli  [Clear All Filters]
2009
Albore, Alexandre, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan. "Bounded-resource Reasoning as (Strong or Classical) Planning." In Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 2008, Revised Selected and Invited Papers, 77–96. {LNAI} 5405. Springer, 2009.
2008
Albore, Alexandre, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan. "Bounded-resource Reasoning as (Strong or Classical) Planning." In Proceedings of the Ninth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX)., 2008.
2006
Alechina, Natasha, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini. "Verifying space and time requirements for resource-bounded agents." In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006), edited by Peter Stone and Gerhard Weiss, 217–219. Hakodate, Japan: IEEE Press, 2006.
Albore, Alex, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, and Luciano Serafini. "Model-checking memory requirements of resource-bounded reasoners." In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI'06), 213–218. AAAI Press, 2006.
Alechina, Natasha, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini. "Verifying space and time requirements for resource-bounded agents." In Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006), edited by Stefan Edelkamp and Alessio Lomuscio, 16–30., 2006.
2005
Alechina, Natasha, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini. Verifying space and time requirements for resource-bounded agents. {ITC}-irst, 2005.