• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Hierarchic Superposition Revisited.

Peter BaumgartnerUwe Waldmann
Published in: Description Logic, Theory Combination, and All That (2019)
Keyphrases
  • theorem proving
  • multi objective
  • cost function
  • neural network
  • graphical models
  • intelligent systems