Login / Signup

Towards decidable and expressive DOT.

Sophia Roshal
Published in: SPLASH (Companion) (2021)
Keyphrases
  • tight complexity bounds
  • real world
  • diffuse optical tomography
  • artificial intelligence
  • information systems
  • first order logic
  • datalog programs