An Undecidability Result for Relation Algebras.

Wolfgang Schönfeld

Published in: J. Symb. Log. (1979)

Keyphrases

decision making
database
information systems
data sets
neural network
multi agent
description logics
relation algebra