Undecidability of Finite Model Reasoning in DLFD.

David Toman Grant E. Weddell

Published in: CoRR (2014)

Keyphrases

computational model
management system
probabilistic model
formal model
high level
cost function
experimental data
machine learning
decision trees
similarity measure
description logics
input data
theoretical analysis
theoretical framework
statistical model
formal models