Login / Signup
A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic.
Grigory K. Olkhovikov
Published in:
FLAP (2016)
Keyphrases
</>
higher order
first order logic
information retrieval
data sets
learning algorithm
bayesian networks
knowledge representation
stochastic dominance