Reasoning with a Bounded Number of Resources in ATL+.

Francesco Belardinelli Stéphane Demri

Published in: ECAI (2020)

Keyphrases

small number
knowledge base
fixed number
databases
real world
artificial intelligence
website
decision trees
search algorithm
limited resources