A Decidable Fragment of the Elementary Theory of Relations and Some Applications.

Domenico Cantone Vincenzo Cutello

Published in: ISSAC (1990)

Keyphrases

theoretical framework
bayesian networks
belief functions
set theory
database
genetic algorithm
artificial intelligence
information systems
search algorithm
decision theory
transitive closure