Sign in

Global Subsumption Revisited (Briefly).

Giles RegerMartin 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