's Logic.

Calixto Badesa Joan Bertran-San Millán

Published in: Notre Dame J. Formal Log. (2020)

Keyphrases

logic programming
classical logic
computational properties
data mining
machine learning
multi valued
predicate logic
asynchronous circuits
neural network
information systems
knowledge base
search algorithm
set theory
sound and complete axiomatization