A Proof System for Contact Relation Algebras.

Ivo Düntsch Ewa Orlowska

Published in: J. Philos. Log. (2000)

Keyphrases

relation algebra
modal logic
neural network
data sets
knowledge base
database systems
expert systems
relational databases
artificial neural networks
clifford algebra