A Resolution Calculus for Presuppositions.

Manfred Kerber Michael Kohlhase

Published in: ECAI (1996)

Keyphrases

high resolution
low resolution
conflict detection
consequence finding
databases
neural network
artificial intelligence
information systems
knowledge base
decision trees
high quality
search space
sampling rate
higher resolution
discourse analysis
computer algebra