The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs

Zachary S. Rowland, Saverio Perugini

Human-computer dialog plays a prominent role in interactions conducted at kiosks (e.g., withdrawing money from an atm or filling your car with gas), on smartphones (e.g., installin…