Criteria for logical formalization.

Jaroslav Peregrin Vladimír Svoboda

Published in: Synth. (2013)

Keyphrases

selection criteria
multi criteria
logical framework
neural network
evaluation criteria
predicate calculus
logical language
e learning
optimal solution
trade off
knowledge representation
sufficient conditions
logical reasoning
logical rules