Hierarchic Superposition Revisited.

Peter Baumgartner Uwe Waldmann

Published in: Description Logic, Theory Combination, and All That (2019)

Keyphrases

theorem proving
multi objective
cost function
neural network
graphical models
intelligent systems