Mixed logic and storage operators.

Published in: Arch. Math. Log. (2000)

Keyphrases

multi valued
modal operators
modal logic
logic programming
data storage
storage and retrieval
probabilistic logic
file system
morphological operators
automated reasoning
abductive reasoning
data sets
databases
storage space
storage management
epistemic logic