System Description: Kimba, A Model Generator for Many-Valued First-Order Logics.

Karsten Konrad David A. Wolfram

Published in: CADE (1999)

Keyphrases

high level
probabilistic model
statistical model
similarity measure
theoretical framework
mathematical model
modal logic
neural network
decision trees
cost function
input data
theoretical analysis
parameter estimation
hierarchical structure
conceptual model
formal model