Matches in SemOpenAlex for { <https://semopenalex.org/work/W2132618227> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2132618227 abstract "Rule-based programming has been gaining interest in the industry for several years, through the growing use of Business Rules Management Systems. A demand for verification of semantic properties on rule programs has thus emerged. In this paper we present an approach to rule program verification, using constraints to model program executions and verification properties, and a Constraint-Based Programming Solver (CP Solver) to compute the answers to verification questions. We also study the use of constraint-based programming in rule program verification, and the consequences of this usage on the CP Solver compared to combinatorial optimization problems." @default.
- W2132618227 created "2016-06-24" @default.
- W2132618227 creator A5023146995 @default.
- W2132618227 creator A5088623065 @default.
- W2132618227 date "2010-04-01" @default.
- W2132618227 modified "2023-10-15" @default.
- W2132618227 title "Using Constraints to Verify Properties of Rule Programs" @default.
- W2132618227 cites W1498833306 @default.
- W2132618227 cites W1518451826 @default.
- W2132618227 cites W1823736747 @default.
- W2132618227 cites W2034269885 @default.
- W2132618227 cites W2060482235 @default.
- W2132618227 cites W2068535784 @default.
- W2132618227 cites W2100221082 @default.
- W2132618227 cites W2102890180 @default.
- W2132618227 cites W2108661258 @default.
- W2132618227 cites W2116502002 @default.
- W2132618227 cites W2145400374 @default.
- W2132618227 cites W2161977990 @default.
- W2132618227 cites W3102597374 @default.
- W2132618227 doi "https://doi.org/10.1109/icstw.2010.42" @default.
- W2132618227 hasPublicationYear "2010" @default.
- W2132618227 type Work @default.
- W2132618227 sameAs 2132618227 @default.
- W2132618227 citedByCount "10" @default.
- W2132618227 countsByYear W21326182272012 @default.
- W2132618227 countsByYear W21326182272013 @default.
- W2132618227 countsByYear W21326182272014 @default.
- W2132618227 countsByYear W21326182272015 @default.
- W2132618227 countsByYear W21326182272020 @default.
- W2132618227 countsByYear W21326182272023 @default.
- W2132618227 crossrefType "proceedings-article" @default.
- W2132618227 hasAuthorship W2132618227A5023146995 @default.
- W2132618227 hasAuthorship W2132618227A5088623065 @default.
- W2132618227 hasBestOaLocation W21326182272 @default.
- W2132618227 hasConcept C126255220 @default.
- W2132618227 hasConcept C137631369 @default.
- W2132618227 hasConcept C149271511 @default.
- W2132618227 hasConcept C154945302 @default.
- W2132618227 hasConcept C173404611 @default.
- W2132618227 hasConcept C199360897 @default.
- W2132618227 hasConcept C199622910 @default.
- W2132618227 hasConcept C2524010 @default.
- W2132618227 hasConcept C2776036281 @default.
- W2132618227 hasConcept C2778770139 @default.
- W2132618227 hasConcept C33923547 @default.
- W2132618227 hasConcept C41008148 @default.
- W2132618227 hasConcept C49937458 @default.
- W2132618227 hasConcept C80444323 @default.
- W2132618227 hasConceptScore W2132618227C126255220 @default.
- W2132618227 hasConceptScore W2132618227C137631369 @default.
- W2132618227 hasConceptScore W2132618227C149271511 @default.
- W2132618227 hasConceptScore W2132618227C154945302 @default.
- W2132618227 hasConceptScore W2132618227C173404611 @default.
- W2132618227 hasConceptScore W2132618227C199360897 @default.
- W2132618227 hasConceptScore W2132618227C199622910 @default.
- W2132618227 hasConceptScore W2132618227C2524010 @default.
- W2132618227 hasConceptScore W2132618227C2776036281 @default.
- W2132618227 hasConceptScore W2132618227C2778770139 @default.
- W2132618227 hasConceptScore W2132618227C33923547 @default.
- W2132618227 hasConceptScore W2132618227C41008148 @default.
- W2132618227 hasConceptScore W2132618227C49937458 @default.
- W2132618227 hasConceptScore W2132618227C80444323 @default.
- W2132618227 hasLocation W21326182271 @default.
- W2132618227 hasLocation W21326182272 @default.
- W2132618227 hasOpenAccess W2132618227 @default.
- W2132618227 hasPrimaryLocation W21326182271 @default.
- W2132618227 hasRelatedWork W1486916474 @default.
- W2132618227 hasRelatedWork W1563755460 @default.
- W2132618227 hasRelatedWork W1820477541 @default.
- W2132618227 hasRelatedWork W2097415053 @default.
- W2132618227 hasRelatedWork W2102858635 @default.
- W2132618227 hasRelatedWork W2783796426 @default.
- W2132618227 hasRelatedWork W4239133097 @default.
- W2132618227 hasRelatedWork W4303044088 @default.
- W2132618227 hasRelatedWork W1531664660 @default.
- W2132618227 hasRelatedWork W2500041535 @default.
- W2132618227 isParatext "false" @default.
- W2132618227 isRetracted "false" @default.
- W2132618227 magId "2132618227" @default.
- W2132618227 workType "article" @default.