Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic.

M. Randall Holmes

Published in: J. Philos. Log. (2019)

Keyphrases

relation algebra
multi valued
representation scheme
relational structures
image representation
deductive databases
logic programming
spatial relations
data sets
knowledge representation
np complete
temporal relations
representation language
truth values
logical representation