: A Resolution-Based Prover for Multimodal K.
Cláudia NalonUllrich HustadtClare DixonPublished in: IJCAR (2016)
Keyphrases
- theorem proving
- consequence finding
- multi modal
- high resolution
- low resolution
- computer vision
- neural network
- sampling rate
- database
- image sequences
- information systems
- multiresolution
- logic programs
- genetic algorithm
- clustering algorithm
- machine learning
- higher resolution
- automated theorem proving
- multimodal data
- proof search
- artificial intelligence