Quantified Reflection Calculus with One Modality.

Ana de Almeida Borges Joost J. Joosten

Published in: AiML (2020)

Keyphrases

multi modal
medical images
machine learning
automated deduction
real time
computer algebra
artificial intelligence
information systems
high level
relational calculus
universally quantified