Login / Signup
Multi-player games with LDL goals over finite traces.
Julian Gutierrez
Giuseppe Perelli
Michael J. Wooldridge
Published in:
Inf. Comput. (2021)
Keyphrases
</>
expressive power
finite number
deductive databases
search engine
computer vision
relational databases
artificial neural networks
query processing
np complete
execution traces
business goals