Matches in SemOpenAlex for { <https://semopenalex.org/work/W3034722188> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3034722188 abstract "We study the data complexity of reasoning for several fragments of MTL - an extension of Datalog with metric temporal operators over the rational numbers. Reasoning in the full MTL language is PSPACE-complete, which handicaps its application in practice. To achieve tractability we first study the core fragment, which disallows conjunction in rule bodies, and show that reasoning remains PSPACE-hard. Intractability prompts us to also limit the kinds of temporal operators allowed in rules, and we propose a practical core fragment for which reasoning becomes TC0-complete. Finally, we show that this fragment can be extended by allowing linear conjunctions in rule bodies, where at most one atom can be intensional (IDB); we show that the resulting fragment is NL-complete, and hence no harder than plain linear Datalog." @default.
- W3034722188 created "2020-06-19" @default.
- W3034722188 creator A5023732514 @default.
- W3034722188 creator A5053108637 @default.
- W3034722188 creator A5071446856 @default.
- W3034722188 creator A5080366682 @default.
- W3034722188 date "2020-07-01" @default.
- W3034722188 modified "2023-10-10" @default.
- W3034722188 title "Tractable Fragments of Datalog with Metric Temporal Operators" @default.
- W3034722188 doi "https://doi.org/10.24963/ijcai.2020/266" @default.
- W3034722188 hasPublicationYear "2020" @default.
- W3034722188 type Work @default.
- W3034722188 sameAs 3034722188 @default.
- W3034722188 citedByCount "6" @default.
- W3034722188 countsByYear W30347221882021 @default.
- W3034722188 countsByYear W30347221882022 @default.
- W3034722188 countsByYear W30347221882023 @default.
- W3034722188 crossrefType "proceedings-article" @default.
- W3034722188 hasAuthorship W3034722188A5023732514 @default.
- W3034722188 hasAuthorship W3034722188A5053108637 @default.
- W3034722188 hasAuthorship W3034722188A5071446856 @default.
- W3034722188 hasAuthorship W3034722188A5080366682 @default.
- W3034722188 hasBestOaLocation W30347221881 @default.
- W3034722188 hasConcept C11413529 @default.
- W3034722188 hasConcept C121332964 @default.
- W3034722188 hasConcept C1276947 @default.
- W3034722188 hasConcept C134306372 @default.
- W3034722188 hasConcept C148230440 @default.
- W3034722188 hasConcept C151201525 @default.
- W3034722188 hasConcept C162324750 @default.
- W3034722188 hasConcept C176217482 @default.
- W3034722188 hasConcept C179799912 @default.
- W3034722188 hasConcept C197685441 @default.
- W3034722188 hasConcept C199360897 @default.
- W3034722188 hasConcept C21547014 @default.
- W3034722188 hasConcept C2164484 @default.
- W3034722188 hasConcept C2776235265 @default.
- W3034722188 hasConcept C2778029271 @default.
- W3034722188 hasConcept C311688 @default.
- W3034722188 hasConcept C33923547 @default.
- W3034722188 hasConcept C41008148 @default.
- W3034722188 hasConcept C4777664 @default.
- W3034722188 hasConcept C5655090 @default.
- W3034722188 hasConcept C59656382 @default.
- W3034722188 hasConcept C65647387 @default.
- W3034722188 hasConcept C76155785 @default.
- W3034722188 hasConcept C77088390 @default.
- W3034722188 hasConcept C80444323 @default.
- W3034722188 hasConceptScore W3034722188C11413529 @default.
- W3034722188 hasConceptScore W3034722188C121332964 @default.
- W3034722188 hasConceptScore W3034722188C1276947 @default.
- W3034722188 hasConceptScore W3034722188C134306372 @default.
- W3034722188 hasConceptScore W3034722188C148230440 @default.
- W3034722188 hasConceptScore W3034722188C151201525 @default.
- W3034722188 hasConceptScore W3034722188C162324750 @default.
- W3034722188 hasConceptScore W3034722188C176217482 @default.
- W3034722188 hasConceptScore W3034722188C179799912 @default.
- W3034722188 hasConceptScore W3034722188C197685441 @default.
- W3034722188 hasConceptScore W3034722188C199360897 @default.
- W3034722188 hasConceptScore W3034722188C21547014 @default.
- W3034722188 hasConceptScore W3034722188C2164484 @default.
- W3034722188 hasConceptScore W3034722188C2776235265 @default.
- W3034722188 hasConceptScore W3034722188C2778029271 @default.
- W3034722188 hasConceptScore W3034722188C311688 @default.
- W3034722188 hasConceptScore W3034722188C33923547 @default.
- W3034722188 hasConceptScore W3034722188C41008148 @default.
- W3034722188 hasConceptScore W3034722188C4777664 @default.
- W3034722188 hasConceptScore W3034722188C5655090 @default.
- W3034722188 hasConceptScore W3034722188C59656382 @default.
- W3034722188 hasConceptScore W3034722188C65647387 @default.
- W3034722188 hasConceptScore W3034722188C76155785 @default.
- W3034722188 hasConceptScore W3034722188C77088390 @default.
- W3034722188 hasConceptScore W3034722188C80444323 @default.
- W3034722188 hasLocation W30347221881 @default.
- W3034722188 hasOpenAccess W3034722188 @default.
- W3034722188 hasPrimaryLocation W30347221881 @default.
- W3034722188 hasRelatedWork W1514152137 @default.
- W3034722188 hasRelatedWork W2015363144 @default.
- W3034722188 hasRelatedWork W2065896142 @default.
- W3034722188 hasRelatedWork W2173636442 @default.
- W3034722188 hasRelatedWork W2332351543 @default.
- W3034722188 hasRelatedWork W2963364464 @default.
- W3034722188 hasRelatedWork W2966447359 @default.
- W3034722188 hasRelatedWork W3034722188 @default.
- W3034722188 hasRelatedWork W3202377862 @default.
- W3034722188 hasRelatedWork W41804490 @default.
- W3034722188 isParatext "false" @default.
- W3034722188 isRetracted "false" @default.
- W3034722188 magId "3034722188" @default.
- W3034722188 workType "article" @default.