Systematic Predicate Abstraction Using Variable Roles.

Yulia Demyanova Philipp Rümmer Florian Zuleger

Published in: NFM (2017)

Keyphrases

high level
artificial neural networks
first order logic
database
real time
qualitative and quantitative
data abstraction
machine learning
decision making
image processing
search algorithm
expert systems
search space
hidden markov models