A Framework for Heterogeneous Reasoning in Formal and Informal Domains.

Matej Urbas Mateja Jamnik

Published in: Diagrams (2014)

Keyphrases

meta level
real world
databases
learning algorithm
formal model
probabilistic model
taxonomic reasoning
data sets
theoretical framework
main contribution
application domains
model checking
knowledge base
decision making
spatial reasoning
logical framework
neural network