Matches in SemOpenAlex for { <https://semopenalex.org/work/W2334804121> ?p ?o ?g. }
- W2334804121 endingPage "407" @default.
- W2334804121 startingPage "391" @default.
- W2334804121 abstract "We propose a novel technique that reduces the decision problem of WSnS (weak monadic second-order logic with n successors) to the problem of evaluation of Complex-value Datalog queries. We then show how the use of advanced implementation techniques for Logic Programs, in particular the use of tabling in the XSB system, yields a considerable improvement in performance over more traditional approaches. We also explore various optimizations of the proposed technique based on variants of tabling and goal reordering. Although our primary focus is on WS1S, the logic of single successor, we show that it is straightforward to adapt our approach for other logics with existing automata-theoretic decision procedures, for example WS2S." @default.
- W2334804121 created "2016-06-24" @default.
- W2334804121 creator A5037554994 @default.
- W2334804121 creator A5072659246 @default.
- W2334804121 date "2017-01-01" @default.
- W2334804121 modified "2023-10-05" @default.
- W2334804121 title "Logic programming approach to automata-based decision procedures" @default.
- W2334804121 cites W140442157 @default.
- W2334804121 cites W1482244486 @default.
- W2334804121 cites W1494561652 @default.
- W2334804121 cites W1507116188 @default.
- W2334804121 cites W1508780728 @default.
- W2334804121 cites W1516806823 @default.
- W2334804121 cites W1534088363 @default.
- W2334804121 cites W1539385324 @default.
- W2334804121 cites W1551066637 @default.
- W2334804121 cites W1555563750 @default.
- W2334804121 cites W1558832481 @default.
- W2334804121 cites W1572693407 @default.
- W2334804121 cites W1578881602 @default.
- W2334804121 cites W1583275894 @default.
- W2334804121 cites W1583357444 @default.
- W2334804121 cites W1595761884 @default.
- W2334804121 cites W1607782211 @default.
- W2334804121 cites W1757770995 @default.
- W2334804121 cites W17866615 @default.
- W2334804121 cites W1816620374 @default.
- W2334804121 cites W1974206804 @default.
- W2334804121 cites W1978108034 @default.
- W2334804121 cites W1983682288 @default.
- W2334804121 cites W1987469449 @default.
- W2334804121 cites W1988808695 @default.
- W2334804121 cites W1990609140 @default.
- W2334804121 cites W1991271936 @default.
- W2334804121 cites W2012935476 @default.
- W2334804121 cites W2016937339 @default.
- W2334804121 cites W2019881090 @default.
- W2334804121 cites W2019968021 @default.
- W2334804121 cites W2030224590 @default.
- W2334804121 cites W2035020702 @default.
- W2334804121 cites W2041295283 @default.
- W2334804121 cites W2058110891 @default.
- W2334804121 cites W2058401325 @default.
- W2334804121 cites W2068815633 @default.
- W2334804121 cites W2072887965 @default.
- W2334804121 cites W2080593426 @default.
- W2334804121 cites W2083398633 @default.
- W2334804121 cites W2085609918 @default.
- W2334804121 cites W2089003125 @default.
- W2334804121 cites W2089189518 @default.
- W2334804121 cites W2093009437 @default.
- W2334804121 cites W2094912129 @default.
- W2334804121 cites W2105905502 @default.
- W2334804121 cites W2119397055 @default.
- W2334804121 cites W2120360673 @default.
- W2334804121 cites W2124876285 @default.
- W2334804121 cites W2131742729 @default.
- W2334804121 cites W2138856440 @default.
- W2334804121 cites W2142707270 @default.
- W2334804121 cites W2152700389 @default.
- W2334804121 cites W2154274494 @default.
- W2334804121 cites W2158600037 @default.
- W2334804121 cites W2162583406 @default.
- W2334804121 cites W2162621793 @default.
- W2334804121 cites W2163151383 @default.
- W2334804121 cites W2169703983 @default.
- W2334804121 cites W2179042667 @default.
- W2334804121 cites W2295148073 @default.
- W2334804121 cites W64652629 @default.
- W2334804121 doi "https://doi.org/10.1016/j.jlamp.2016.02.005" @default.
- W2334804121 hasPublicationYear "2017" @default.
- W2334804121 type Work @default.
- W2334804121 sameAs 2334804121 @default.
- W2334804121 citedByCount "0" @default.
- W2334804121 crossrefType "journal-article" @default.
- W2334804121 hasAuthorship W2334804121A5037554994 @default.
- W2334804121 hasAuthorship W2334804121A5072659246 @default.
- W2334804121 hasBestOaLocation W23348041211 @default.
- W2334804121 hasConcept C112505250 @default.
- W2334804121 hasConcept C115988155 @default.
- W2334804121 hasConcept C120665830 @default.
- W2334804121 hasConcept C121332964 @default.
- W2334804121 hasConcept C128838566 @default.
- W2334804121 hasConcept C134306372 @default.
- W2334804121 hasConcept C148230440 @default.
- W2334804121 hasConcept C189790780 @default.
- W2334804121 hasConcept C192209626 @default.
- W2334804121 hasConcept C199360897 @default.
- W2334804121 hasConcept C33923547 @default.
- W2334804121 hasConcept C41008148 @default.
- W2334804121 hasConcept C75306776 @default.
- W2334804121 hasConcept C80444323 @default.
- W2334804121 hasConceptScore W2334804121C112505250 @default.
- W2334804121 hasConceptScore W2334804121C115988155 @default.
- W2334804121 hasConceptScore W2334804121C120665830 @default.
- W2334804121 hasConceptScore W2334804121C121332964 @default.
- W2334804121 hasConceptScore W2334804121C128838566 @default.
- W2334804121 hasConceptScore W2334804121C134306372 @default.