Monadic pseudo-equality algebras.

Shokoofeh Ghorbani

Published in: Soft Comput. (2019)

Keyphrases

distributive lattices
deductive databases
datalog queries
boolean algebra
fixpoint
spatial reasoning
datalog programs
special case
temporal reasoning
pseudo random number
information retrieval
fuzzy logic
logic programs
belief functions
relation algebra