KSP: A Resolution-based Prover for Multimodal K, Abridged Report.

Cláudia Nalon Ullrich Hustadt Clare Dixon

Published in: IJCAI (2017)

Keyphrases

multi modal
consequence finding
high resolution
theorem prover
theorem proving
multimodal interaction
decision making
databases
audio visual
data sets
bayesian networks
low resolution