Categorical Abstract Algebraic Logic: Models of π-Institutions.

George Voutsadakis

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

Keyphrases

artificial intelligence
logic programming
database
high level
prior knowledge
classification models
categorical data
computer algebra
parameter estimation
attribute values
statistical model
statistical models
neural network model