The stable model semantics of Datalog with metric temporal operators
| Autor: | Walega, Przemyslaw Andrzej, Tena Cucala, David Jaime, Cuenca Grau, Bernardo, Kostylev, Egor V. |
|---|---|
| Zdroj: | Walega, Przemyslaw Andrzej Tena Cucala, David Jaime Cuenca Grau, Bernardo Kostylev, Egor V. . The stable model semantics of Datalog with metric temporal operators. Theory and Practice of Logic Programming. 2024, 24(1), 22-56 Theory and Practice of Logic Programming |
| Databáze: | NORA (Norwegian Open Research Archive) |
| Externí odkaz: |
|