Axioms for Shifted Tableau Crystals.

Maria Gillespie Jake Levinson

Published in: Electron. J. Comb. (2019)

Keyphrases

description logics
knowledge base
first order logic
neural network
database
data sets
artificial intelligence
search engine
computer vision
data structure
horn clauses
proof procedure
complete axiomatization
medical terminology