Maraev, Vladislav, Jonathan Ginzburg, Staffan Larsson, Ye Tian, and Jean-Philippe Bernardy. Towards KoS/TTR-based proof-theoretic dialogue management In Proceedings of SemDial 2018, Edited by Lauren Prevot, Magali Ochs and Benoit Fabre. Aix-en-Provence, 2018.