Title: Formally-based tools and techniques for human-computer dialogues
Subjects: Interactive computer systems, Question-answering systems