Decidable Algebraic Fields.

Moshe Jarden Alexandra Shlapentokh

Published in: J. Symb. Log. (2017)

Keyphrases

real world
information systems
transitive closure
datalog programs
real time
data sets
computer vision
decision making
knowledge base
similarity measure
video sequences
knowledge representation
algebraic expressions