Matches in SemOpenAlex for { <https://semopenalex.org/work/W13104911> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W13104911 endingPage "336" @default.
- W13104911 startingPage "331" @default.
- W13104911 abstract "The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierarchy of decidable logics with multiple maximal elements. It would be desirable to combine different maximal logics into one super-logic, but then inference may turn out to be undecidable. Then it is important to characterize the decidability threshold for these logics. In this perspective, an interesting open question pointed out by Sattler and Vardi [Sattler and Vardi, 1999] is whether inference in a hybrid µ-calculus with restricted forms of graded modalities is decidable, and which complexity class it belongs to. In this paper we prove that this calculus and the corresponding DL µALCIOf are undecidable. Second, we prove undecidability results for logics that support both a transitive closure operator over roles and number restrictions." @default.
- W13104911 created "2016-06-24" @default.
- W13104911 creator A5046243825 @default.
- W13104911 date "2003-08-09" @default.
- W13104911 modified "2023-09-26" @default.
- W13104911 title "On the undecidability of description and dynamic logics with recursion and counting" @default.
- W13104911 cites W1501952738 @default.
- W13104911 cites W1551503011 @default.
- W13104911 cites W1569230947 @default.
- W13104911 cites W188994241 @default.
- W13104911 cites W2047674711 @default.
- W13104911 hasPublicationYear "2003" @default.
- W13104911 type Work @default.
- W13104911 sameAs 13104911 @default.
- W13104911 citedByCount "4" @default.
- W13104911 countsByYear W131049112016 @default.
- W13104911 countsByYear W131049112017 @default.
- W13104911 crossrefType "proceedings-article" @default.
- W13104911 hasAuthorship W13104911A5046243825 @default.
- W13104911 hasConcept C11413529 @default.
- W13104911 hasConcept C118615104 @default.
- W13104911 hasConcept C153269930 @default.
- W13104911 hasConcept C154945302 @default.
- W13104911 hasConcept C168773036 @default.
- W13104911 hasConcept C192034797 @default.
- W13104911 hasConcept C33923547 @default.
- W13104911 hasConcept C41008148 @default.
- W13104911 hasConcept C42011625 @default.
- W13104911 hasConcept C5263885 @default.
- W13104911 hasConcept C58166 @default.
- W13104911 hasConcept C86602344 @default.
- W13104911 hasConceptScore W13104911C11413529 @default.
- W13104911 hasConceptScore W13104911C118615104 @default.
- W13104911 hasConceptScore W13104911C153269930 @default.
- W13104911 hasConceptScore W13104911C154945302 @default.
- W13104911 hasConceptScore W13104911C168773036 @default.
- W13104911 hasConceptScore W13104911C192034797 @default.
- W13104911 hasConceptScore W13104911C33923547 @default.
- W13104911 hasConceptScore W13104911C41008148 @default.
- W13104911 hasConceptScore W13104911C42011625 @default.
- W13104911 hasConceptScore W13104911C5263885 @default.
- W13104911 hasConceptScore W13104911C58166 @default.
- W13104911 hasConceptScore W13104911C86602344 @default.
- W13104911 hasLocation W131049111 @default.
- W13104911 hasOpenAccess W13104911 @default.
- W13104911 hasPrimaryLocation W131049111 @default.
- W13104911 hasRelatedWork W1708959509 @default.
- W13104911 hasRelatedWork W1971727793 @default.
- W13104911 hasRelatedWork W2014322692 @default.
- W13104911 hasRelatedWork W2017112542 @default.
- W13104911 hasRelatedWork W2025535135 @default.
- W13104911 hasRelatedWork W2047674711 @default.
- W13104911 hasRelatedWork W2061668660 @default.
- W13104911 hasRelatedWork W2066800627 @default.
- W13104911 hasRelatedWork W2152195143 @default.
- W13104911 hasRelatedWork W2152700389 @default.
- W13104911 hasRelatedWork W2275097665 @default.
- W13104911 hasRelatedWork W2468346114 @default.
- W13104911 hasRelatedWork W2530320023 @default.
- W13104911 hasRelatedWork W2806921937 @default.
- W13104911 hasRelatedWork W2887232800 @default.
- W13104911 hasRelatedWork W3096440824 @default.
- W13104911 hasRelatedWork W3176208469 @default.
- W13104911 hasRelatedWork W52360167 @default.
- W13104911 hasRelatedWork W89326018 @default.
- W13104911 hasRelatedWork W2611200480 @default.
- W13104911 isParatext "false" @default.
- W13104911 isRetracted "false" @default.
- W13104911 magId "13104911" @default.
- W13104911 workType "article" @default.