Login / Signup
Rule-Based Unification in Combined Theories and the Finite Variant Property.
Ajay Kumar Eeralla
Serdar Erbatur
Andrew M. Marshall
Christophe Ringeissen
Published in:
LATA (2019)
Keyphrases
</>
equational theories
theorem proving
data driven
information systems
desirable properties
expert systems
higher order
rule base
theoretical framework
search algorithm
multiscale
databases
database
expressive power
reinforcement learning
computer vision
rule based systems