Global Subsumption Revisited (Briefly).

Giles Reger Martin Suda

Published in: Vampire@IJCAR (2016)

Keyphrases

description logics
np complete
database
multi agent
global information
data sets
databases
artificial intelligence
similarity measure
lower bound
evolutionary algorithm
transitive closure