Uckelman, S. L. (2011, December). Obligationes as Formal Dialogue Systems. Presented at STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium