Login / Signup

An ExpTime Upper Bound for ALC with Integers.

Nadia LabaiMagdalena OrtizMantas Simkus
Published in: KR (2020)
Keyphrases
  • upper bound
  • lower bound
  • worst case
  • description logics
  • lower and upper bounds
  • upper and lower bounds
  • branch and bound
  • database
  • floating point
  • branch and bound algorithm
  • generalization error
  • objective function