Implementations of Natural Logics.

Lawrence S. Moss

Published in: ARQNL@IJCAR (2018)

Keyphrases

expressive power
efficient implementation
real world
inference rules
data sets
databases
multiscale
digital libraries
artificial neural networks
data model
software implementation
artificial systems
propositional calculus