Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions.

Kathrin Stark Steven Schäfer Jonas Kaiser

Published in: CPP (2019)

Keyphrases

real time
knowledge base
databases
neural network
reasoning process
database
genetic algorithm
website
fuzzy logic
co occurrence
vector space
automated reasoning
reasoning tasks
uncertain information
reasoning systems