Multilevel Modeling and Reasoning with FOML.

Mira Balaban Igal Khitron Michael Kifer

Published in: SwSTE (2016)

Keyphrases

knowledge base
artificial intelligence
model construction
database
real time
neural network
reasoning systems
formal models
resource bounded
machine learning
expert systems
hidden markov models
knowledge representation
qualitative reasoning
analogical reasoning
logical reasoning