Synthetic Completeness for a Terminating Seligman-Style Tableau System.

Asta Halkjær From

Published in: TYPES (2020)

Keyphrases

description logics
real world
databases
real images are presented
search space
formal proofs
real time
data quality
website
search algorithm
pattern recognition
image retrieval
learning environment
case study
decision trees
real scenes
authorship attribution
computer vision