Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580772169> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1580772169 endingPage "436" @default.
- W1580772169 startingPage "421" @default.
- W1580772169 abstract "We give a sound and complete tableau calculus for deciding the general satisfiability problem of regular grammar logics with converse (REG c logics). Tableaux of our calculus are defined as and-or graphs with global caching. Our calculus extends the tableau calculus for regular grammar logics given by Gore and Nguyen [11] by using a cut rule and existential automaton-modal operators to deal with converse. We use it to develop an ExpTime (optimal) tableau decision procedure for the general satisfiability problem of REG c logics. We also briefly discuss optimizations for the procedure." @default.
- W1580772169 created "2016-06-24" @default.
- W1580772169 creator A5007619026 @default.
- W1580772169 creator A5055424683 @default.
- W1580772169 date "2009-01-01" @default.
- W1580772169 modified "2023-10-07" @default.
- W1580772169 title "A Tableau Calculus for Regular Grammar Logics with Converse" @default.
- W1580772169 cites W1483339275 @default.
- W1580772169 cites W1554599886 @default.
- W1580772169 cites W1570374618 @default.
- W1580772169 cites W1580772169 @default.
- W1580772169 cites W1585071008 @default.
- W1580772169 cites W1596272894 @default.
- W1580772169 cites W1624572887 @default.
- W1580772169 cites W1867463642 @default.
- W1580772169 cites W1970040536 @default.
- W1580772169 cites W1997716585 @default.
- W1580772169 cites W2047824808 @default.
- W1580772169 cites W2062485819 @default.
- W1580772169 cites W2082313938 @default.
- W1580772169 cites W2087882226 @default.
- W1580772169 cites W2117223386 @default.
- W1580772169 cites W2119478850 @default.
- W1580772169 cites W2126755595 @default.
- W1580772169 cites W2337512840 @default.
- W1580772169 cites W4239007999 @default.
- W1580772169 cites W58761133 @default.
- W1580772169 doi "https://doi.org/10.1007/978-3-642-02959-2_31" @default.
- W1580772169 hasPublicationYear "2009" @default.
- W1580772169 type Work @default.
- W1580772169 sameAs 1580772169 @default.
- W1580772169 citedByCount "13" @default.
- W1580772169 countsByYear W15807721692015 @default.
- W1580772169 countsByYear W15807721692020 @default.
- W1580772169 countsByYear W15807721692021 @default.
- W1580772169 crossrefType "book-chapter" @default.
- W1580772169 hasAuthorship W1580772169A5007619026 @default.
- W1580772169 hasAuthorship W1580772169A5055424683 @default.
- W1580772169 hasConcept C136119220 @default.
- W1580772169 hasConcept C138885662 @default.
- W1580772169 hasConcept C199343813 @default.
- W1580772169 hasConcept C199360897 @default.
- W1580772169 hasConcept C202444582 @default.
- W1580772169 hasConcept C2524010 @default.
- W1580772169 hasConcept C26022165 @default.
- W1580772169 hasConcept C2776809875 @default.
- W1580772169 hasConcept C2777686260 @default.
- W1580772169 hasConcept C33923547 @default.
- W1580772169 hasConcept C41008148 @default.
- W1580772169 hasConcept C41895202 @default.
- W1580772169 hasConcept C71924100 @default.
- W1580772169 hasConcept C80444323 @default.
- W1580772169 hasConceptScore W1580772169C136119220 @default.
- W1580772169 hasConceptScore W1580772169C138885662 @default.
- W1580772169 hasConceptScore W1580772169C199343813 @default.
- W1580772169 hasConceptScore W1580772169C199360897 @default.
- W1580772169 hasConceptScore W1580772169C202444582 @default.
- W1580772169 hasConceptScore W1580772169C2524010 @default.
- W1580772169 hasConceptScore W1580772169C26022165 @default.
- W1580772169 hasConceptScore W1580772169C2776809875 @default.
- W1580772169 hasConceptScore W1580772169C2777686260 @default.
- W1580772169 hasConceptScore W1580772169C33923547 @default.
- W1580772169 hasConceptScore W1580772169C41008148 @default.
- W1580772169 hasConceptScore W1580772169C41895202 @default.
- W1580772169 hasConceptScore W1580772169C71924100 @default.
- W1580772169 hasConceptScore W1580772169C80444323 @default.
- W1580772169 hasLocation W15807721691 @default.
- W1580772169 hasOpenAccess W1580772169 @default.
- W1580772169 hasPrimaryLocation W15807721691 @default.
- W1580772169 hasRelatedWork W1527862632 @default.
- W1580772169 hasRelatedWork W2112962394 @default.
- W1580772169 hasRelatedWork W2118300983 @default.
- W1580772169 hasRelatedWork W2135396778 @default.
- W1580772169 hasRelatedWork W2166247150 @default.
- W1580772169 hasRelatedWork W2355288082 @default.
- W1580772169 hasRelatedWork W2740990710 @default.
- W1580772169 hasRelatedWork W3137189469 @default.
- W1580772169 hasRelatedWork W4235530921 @default.
- W1580772169 hasRelatedWork W4243252198 @default.
- W1580772169 isParatext "false" @default.
- W1580772169 isRetracted "false" @default.
- W1580772169 magId "1580772169" @default.
- W1580772169 workType "book-chapter" @default.