Login / Signup

Multi-player games with LDL goals over finite traces.

Julian GutierrezGiuseppe PerelliMichael 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