Sign in

Combination of Disjoint Theories: Beyond Decidability.

Pascal FontaineStephan MerzChristoph 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