Combination of Disjoint Theories: Beyond Decidability.

Pascal Fontaine Stephan Merz Christoph Weidenbach

Published in: IJCAR (2012)

Keyphrases

pairwise
neural network
description logics
theoretical framework
case study
real time
real world
image sequences
data structure
search space
query language
query answering
combining multiple