Matches in SemOpenAlex for { <https://semopenalex.org/work/W4283761835> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4283761835 abstract "We consider the extension of two-variable guarded fragment logic with local Presburger quantifiers. These are quantifiers that can express properties such as ``the number of incoming blue edges plus twice the number of outgoing red edges is at most three times the number of incoming green edges'' and captures various description logics with counting, but without constant symbols. We show that the satisfiability of this logic is EXP-complete. While the lower bound already holds for the standard two-variable guarded fragment logic, the upper bound is established by a novel, yet simple deterministic graph theoretic based algorithm." @default.
- W4283761835 created "2022-07-02" @default.
- W4283761835 creator A5022706301 @default.
- W4283761835 creator A5069796117 @default.
- W4283761835 date "2022-06-27" @default.
- W4283761835 modified "2023-09-29" @default.
- W4283761835 title "On two-variable guarded fragment logic with expressive local Presburger constraints" @default.
- W4283761835 doi "https://doi.org/10.48550/arxiv.2206.13731" @default.
- W4283761835 hasPublicationYear "2022" @default.
- W4283761835 type Work @default.
- W4283761835 citedByCount "0" @default.
- W4283761835 crossrefType "posted-content" @default.
- W4283761835 hasAuthorship W4283761835A5022706301 @default.
- W4283761835 hasAuthorship W4283761835A5069796117 @default.
- W4283761835 hasBestOaLocation W42837618351 @default.
- W4283761835 hasConcept C11413529 @default.
- W4283761835 hasConcept C114614502 @default.
- W4283761835 hasConcept C118615104 @default.
- W4283761835 hasConcept C134306372 @default.
- W4283761835 hasConcept C153269930 @default.
- W4283761835 hasConcept C168773769 @default.
- W4283761835 hasConcept C182365436 @default.
- W4283761835 hasConcept C199360897 @default.
- W4283761835 hasConcept C2776235265 @default.
- W4283761835 hasConcept C2778029271 @default.
- W4283761835 hasConcept C33923547 @default.
- W4283761835 hasConcept C41008148 @default.
- W4283761835 hasConcept C5852641 @default.
- W4283761835 hasConcept C6943359 @default.
- W4283761835 hasConcept C77553402 @default.
- W4283761835 hasConceptScore W4283761835C11413529 @default.
- W4283761835 hasConceptScore W4283761835C114614502 @default.
- W4283761835 hasConceptScore W4283761835C118615104 @default.
- W4283761835 hasConceptScore W4283761835C134306372 @default.
- W4283761835 hasConceptScore W4283761835C153269930 @default.
- W4283761835 hasConceptScore W4283761835C168773769 @default.
- W4283761835 hasConceptScore W4283761835C182365436 @default.
- W4283761835 hasConceptScore W4283761835C199360897 @default.
- W4283761835 hasConceptScore W4283761835C2776235265 @default.
- W4283761835 hasConceptScore W4283761835C2778029271 @default.
- W4283761835 hasConceptScore W4283761835C33923547 @default.
- W4283761835 hasConceptScore W4283761835C41008148 @default.
- W4283761835 hasConceptScore W4283761835C5852641 @default.
- W4283761835 hasConceptScore W4283761835C6943359 @default.
- W4283761835 hasConceptScore W4283761835C77553402 @default.
- W4283761835 hasLocation W42837618351 @default.
- W4283761835 hasOpenAccess W4283761835 @default.
- W4283761835 hasPrimaryLocation W42837618351 @default.
- W4283761835 hasRelatedWork W1880816751 @default.
- W4283761835 hasRelatedWork W2127594621 @default.
- W4283761835 hasRelatedWork W2165775376 @default.
- W4283761835 hasRelatedWork W2779744813 @default.
- W4283761835 hasRelatedWork W2952314805 @default.
- W4283761835 hasRelatedWork W2952347656 @default.
- W4283761835 hasRelatedWork W3033601567 @default.
- W4283761835 hasRelatedWork W3037419933 @default.
- W4283761835 hasRelatedWork W3101316517 @default.
- W4283761835 hasRelatedWork W4283761835 @default.
- W4283761835 isParatext "false" @default.
- W4283761835 isRetracted "false" @default.
- W4283761835 workType "article" @default.