Matches in SemOpenAlex for { <https://semopenalex.org/work/W2540786869> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2540786869 abstract "Current methods remain largely uncertain of rules termination decision. Some methods are based on a logical formula for a rule set, but only those non-updatable or finitely updatable variables can be contained in a formula. Some other methods are based on triggering and activation graphs, but they do not consider whether all rules of a triggering cycle can be executed infinitely within a single execution cycle. Most methods cannot conclude termination if a rule set contains only those cycles that can be executed a finite number of times. This paper explicates the concepts of activation path and the execution sequence of a triggering cycle and the method to construct a formula that is able to include updatable variables, many termination cases that cannot be determined by previous methods, can now be detected." @default.
- W2540786869 created "2016-11-04" @default.
- W2540786869 creator A5011186506 @default.
- W2540786869 creator A5040922635 @default.
- W2540786869 creator A5041488867 @default.
- W2540786869 creator A5055879656 @default.
- W2540786869 date "2010-12-01" @default.
- W2540786869 modified "2023-09-22" @default.
- W2540786869 title "Active rules termination analysis based on enhanced formula of a triggering cycle" @default.
- W2540786869 cites W1553334532 @default.
- W2540786869 cites W1604226790 @default.
- W2540786869 cites W1835657766 @default.
- W2540786869 cites W2042088860 @default.
- W2540786869 cites W2068535784 @default.
- W2540786869 cites W2131980610 @default.
- W2540786869 cites W2140393476 @default.
- W2540786869 cites W2170551989 @default.
- W2540786869 cites W67142770 @default.
- W2540786869 doi "https://doi.org/10.1109/icise.2010.5691960" @default.
- W2540786869 hasPublicationYear "2010" @default.
- W2540786869 type Work @default.
- W2540786869 sameAs 2540786869 @default.
- W2540786869 citedByCount "0" @default.
- W2540786869 crossrefType "proceedings-article" @default.
- W2540786869 hasAuthorship W2540786869A5011186506 @default.
- W2540786869 hasAuthorship W2540786869A5040922635 @default.
- W2540786869 hasAuthorship W2540786869A5041488867 @default.
- W2540786869 hasAuthorship W2540786869A5055879656 @default.
- W2540786869 hasConcept C11413529 @default.
- W2540786869 hasConcept C177264268 @default.
- W2540786869 hasConcept C199360897 @default.
- W2540786869 hasConcept C2777735758 @default.
- W2540786869 hasConcept C2778112365 @default.
- W2540786869 hasConcept C2780801425 @default.
- W2540786869 hasConcept C41008148 @default.
- W2540786869 hasConcept C54355233 @default.
- W2540786869 hasConcept C80444323 @default.
- W2540786869 hasConcept C86803240 @default.
- W2540786869 hasConceptScore W2540786869C11413529 @default.
- W2540786869 hasConceptScore W2540786869C177264268 @default.
- W2540786869 hasConceptScore W2540786869C199360897 @default.
- W2540786869 hasConceptScore W2540786869C2777735758 @default.
- W2540786869 hasConceptScore W2540786869C2778112365 @default.
- W2540786869 hasConceptScore W2540786869C2780801425 @default.
- W2540786869 hasConceptScore W2540786869C41008148 @default.
- W2540786869 hasConceptScore W2540786869C54355233 @default.
- W2540786869 hasConceptScore W2540786869C80444323 @default.
- W2540786869 hasConceptScore W2540786869C86803240 @default.
- W2540786869 hasLocation W25407868691 @default.
- W2540786869 hasOpenAccess W2540786869 @default.
- W2540786869 hasPrimaryLocation W25407868691 @default.
- W2540786869 hasRelatedWork W1482238002 @default.
- W2540786869 hasRelatedWork W1485994731 @default.
- W2540786869 hasRelatedWork W1488601872 @default.
- W2540786869 hasRelatedWork W1592698532 @default.
- W2540786869 hasRelatedWork W1600584815 @default.
- W2540786869 hasRelatedWork W1604226790 @default.
- W2540786869 hasRelatedWork W1772022673 @default.
- W2540786869 hasRelatedWork W178702431 @default.
- W2540786869 hasRelatedWork W192799299 @default.
- W2540786869 hasRelatedWork W1964551226 @default.
- W2540786869 hasRelatedWork W1979010687 @default.
- W2540786869 hasRelatedWork W2015209525 @default.
- W2540786869 hasRelatedWork W2034285982 @default.
- W2540786869 hasRelatedWork W2034471164 @default.
- W2540786869 hasRelatedWork W2106180000 @default.
- W2540786869 hasRelatedWork W2177439807 @default.
- W2540786869 hasRelatedWork W2357220545 @default.
- W2540786869 hasRelatedWork W2391100859 @default.
- W2540786869 hasRelatedWork W2962810194 @default.
- W2540786869 hasRelatedWork W658352638 @default.
- W2540786869 isParatext "false" @default.
- W2540786869 isRetracted "false" @default.
- W2540786869 magId "2540786869" @default.
- W2540786869 workType "article" @default.