Note on Globally Sound Analytic Calculi for Quantifier Macros.

Matthias Baaz Anela Lolic

Published in: WoLLIC (2019)

Keyphrases

case study
expert systems
key features
quantifier elimination
machine learning
genetic algorithm
artificial intelligence
reinforcement learning
search algorithm
spatial relations
qualitative spatial