Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. The Stable Models Semantics of Datalog with Metric Temporal Operators

The Stable Models Semantics of Datalog with Metric Temporal Operators

Przemyslaw Walega‚ David Tena Cucala‚ Egor Kostylev and Bernardo Cuenca Grau

Journal
Theory and Practice of Logic Programming (TPLP)
Note
To Appear
Year
2023

Links

See Also

Back to Top