Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent.

Reuben N. S. Rowe James Brotherston

Published in: TABLEAUX (2017)

Keyphrases

domain knowledge
information sources
structural information
raw data
computer vision
decision making
data model
information sharing
similarity measure
natural language
higher level
spatial information
information flow
information space