Proving Propositional Tautologies in a Natural Dialogue.

Olena Yaskorska Katarzyna Budzynska Magdalena Kacprzak

Published in: Fundam. Informaticae (2013)

Keyphrases

real world
first order logic
dialogue system
natural language interfaces
data sets
mixed initiative
man machine
multi agent
multi valued
probabilistic logic
spoken dialogue systems
natural language dialogue