Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Finite Materialisability of Datalog Programs with Metric Temporal Operators

Finite Materialisability of Datalog Programs with Metric Temporal Operators

Przemysław Wałęga‚ Michal Zawidzki and Bernardo Cuenca Grau

Journal
Journal of Artificial Intelligence Research (JAIR)
Year
2023

Links

See Also

Back to Top