Monadic NM-algebras.

Juntao Wang Pengfei He Yan-Hong She

Published in: Log. J. IGPL (2019)

Keyphrases

deductive databases
datalog queries
datalog programs
topological spaces
spatial reasoning
clifford algebra
distributive lattices
information systems
case study
low cost
temporal reasoning