All Normal Extensions of S5-squared Are Finitely Axiomatizable.

Nick Bezhanishvili Ian M. Hodkinson

Published in: Stud Logica (2004)

Keyphrases

least squares
finite number
knowledge base
probabilistic model
default theories
database
data sets
case study
support vector
information technology
artificial neural networks
medical images
anomaly detection
euclidean distance
default logic
inductive inference