Login / Signup

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties.

Deepak Kapur
Published in: Log. Methods Comput. Sci. (2023)
Keyphrases
  • machine learning
  • learning algorithm
  • semantic properties
  • semi automatic
  • feature selection
  • decision trees
  • artificial intelligence
  • general purpose
  • domain specific