A single axiom for the mereological notion of proper part.

Czeslaw Lejewski

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

Keyphrases

database
spatial reasoning
data sets
databases
neural network
artificial intelligence
decision making
case study
bayesian networks
temporal information