A note on an axiom-system of atomistic mereology.

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1971)

Keyphrases

real time
domain knowledge
modal logic
inference rules
onset detection
databases
multiresolution
information processing
spatial reasoning