Beyond the Existential Theory of the Reals.

Marcus Schaefer Daniel Stefankovic

Published in: Theory Comput. Syst. (2024)

Keyphrases

databases
computational model
theoretical framework
artificial intelligence
information systems
knowledge base
query answering
neural network
special case
general theory