A Logic-Based Methodology for the Formalization of Shikake Principles and Examples.

Daniela Inclezan

Published in: AAAI Spring Symposium: Shikakeology (2013)

Keyphrases

knowledge representation
formal model
neural network
learning algorithm
artificial neural networks
active learning
training examples
theoretical framework
positive examples