{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T22:44:36Z","timestamp":1790289876663,"version":"4.1.0"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9]]},"abstract":"<jats:p>We introduce negation under stable models semantics in DatalogMTL\u2014a temporal extension of Datalog with metric operators. As a result, we obtain a rule language which combines the power of answer set programming with the temporal dimension provided by metric operators. We show that, in this setting, reasoning becomes undecidable over the rationals and decidable in EXPSPACE in data complexity over the integers. We also show that, if we restrict our attention to forward-propagating programs (where rules propagate information in a single temporal direction), reasoning over integers becomes PSPACE-complete in data complexity and hence no harder than over positive programs; however, reasoning over the rationals in this fragment remains undecidable.<\/jats:p>","DOI":"10.24963\/kr.2021\/58","type":"proceedings-article","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T12:45:56Z","timestamp":1633956356000},"page":"609-618","source":"Crossref","is-referenced-by-count":7,"title":["DatalogMTL with Negation Under Stable Models Semantics"],"prefix":"10.24963","author":[{"given":"Przemys\u0142aw A.","family":"Wa\u0142\u0119ga","sequence":"first","affiliation":[{"name":"University of Oxford"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David J.","family":"Tena Cucala","sequence":"additional","affiliation":[{"name":"University of Oxford"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Egor V.","family":"Kostylev","sequence":"additional","affiliation":[{"name":"University of Oslo"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernardo","family":"Cuenca Grau","sequence":"additional","affiliation":[{"name":"University of Oxford"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}","theme":"Artificial Intelligence","location":"Hanoii, Vietnam","acronym":"KR-2021","number":"18","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Sea AI Lab","Potassco Solutions","European Association for Artificial Intelligence"],"start":{"date-parts":[[2020,11,12]]},"end":{"date-parts":[[2021,11,18]]}},"container-title":["Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T12:46:27Z","timestamp":1633956387000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2021\/58"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2021\/58","relation":{},"subject":[],"published":{"date-parts":[[2021,9]]}}}