Atoms in Modal Algebras.

Fabio Bellissima

Published in: Math. Log. Q. (1984)

Keyphrases

logic programs
modal logic
linear combination
answer sets
clifford algebra
information retrieval
spatial reasoning
topological spaces
distributive lattices
computer vision
information systems
e learning
multimedia
website
data model
relation algebra