Variants in the Infinitary Unification Wonderland.

Published in: WRLA@ETAPS (2020)

Keyphrases

higher order
database systems
expert systems
viewpoint
database
neural network
genetic algorithm
information systems
decision making
multimedia
inference rules
automated theorem proving