An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving

Ronnie W. Smith, D. Richard Hipp, Alan W. Biermann. An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving. Computational Linguistics, 21(3):281-320, 1995.

Abstract

Abstract is missing.