Towards Decidability of Conjugacy of Pairs and Triples.

Benny George Kenkireth Samrith Ram

Published in: ICLA (2009)

Keyphrases

description logics
pairwise
query answering
machine learning
data sets
databases
relational databases
evolutionary algorithm
linked data
decision procedures
type checking