Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

Dingmin Wang‚ Pan Hu‚ Przemyslaw Walega and Bernardo Cuenca Grau

Book Title
Proceedings of AAAI−2022
Year
2022

Links

See Also

Back to Top