Publications

Filters: Author is Matteo Baldoni  [Clear All Filters]
2009
Doan, Thu Trang, Brian Logan, and Natasha Alechina. "Verifying Dribble Agents." In Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes, edited by Matteo Baldoni, Jamal Bentahar, John Lloyd and Birna M. van Riemsdijk, 162–177. Budapest Hungary, 2009. Download: Doan++:09a.pdf (176.43 KB)
2006
Alechina, Natasha, Mark Jago, and Brian Logan. "Resource-Bounded Belief Revision and Contraction." In Declarative Agent Languages and Technologies III, Third InternationalWorkshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini and Paolo Torroni, 141-154. Vol. 3904. Lecture Notes in Computer Science 3904. Springer, 2006.
2005
Alechina, Natasha, Mark Jago, and Brian Logan. "Resource-bounded belief revision and contraction." In Proceedings of the Third International Workshop on Declarative Agent Languages and Technologies (DALT 2005), edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini and Paolo Torroni, 118–131. Utrecht, 2005.