Cylindrical Algebraic Coverings for Quantifiers (short paper).

Gereon Kremer Jasper Nalbach

Published in: SC-Square@FLoC (2022)

Keyphrases

natural language
rough sets
database
real world
information retrieval
artificial intelligence
computer vision
website
database systems
multi agent
data streams
mobile robot