Paraconsistency And Dialogue Logic Critical Examination And Further Explorations.
Jean Paul Van BendegemPublished in: Synth. (2001)
Keyphrases
- natural language
- logic programming
- proof theory
- predicate logic
- automated reasoning
- classical logic
- set theory
- human machine
- data sets
- dialogue management
- practical reasoning
- interactive systems
- sound and complete axiomatization
- delay insensitive
- asynchronous circuits
- man machine
- spoken dialogue systems
- database
- mixed initiative
- dialogue system
- logic programs
- real time