On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints.

Stefan Wehr Peter Thiemann

Published in: New Gener. Comput. (2011)

Keyphrases

query answering
implementation details
genetic algorithm
data sets
database
databases
machine learning
case study
search algorithm
knowledge representation
description logics
constraint programming
geometric constraints
constrained optimization