Login / Signup
On Associative Lambek Calculus Extended with Basic Proper Axioms.
Annie Foret
Published in:
Categories and Types in Logic, Language, and Physics (2014)
Keyphrases
</>
knowledge base
information retrieval
artificial intelligence
first order logic
data sets
databases
neural network
bayesian networks
multiscale
evolutionary algorithm
spreading activation
natural deduction
computer algebra