Matches in SemOpenAlex for { <https://semopenalex.org/work/W1826156715> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1826156715 endingPage "213" @default.
- W1826156715 startingPage "201" @default.
- W1826156715 abstract "Reasoning on Constraint Handling Rules (CHR) programs and their executional behaviour is often ad-hoc and outside of a formal system. This is a pity, because CHR subsumes a wide range of important automated reasoning services. Mapping CHR to Transaction Logic ( $mathcal{TR}$ ) combines CHR rule specification, CHR rule application, and reasoning on CHR programs and CHR derivations inside one formal system which is executable. This new $mathcal{TR}$ semantics obviates the need for disjoint declarative and operational semantics." @default.
- W1826156715 created "2016-06-24" @default.
- W1826156715 creator A5012445976 @default.
- W1826156715 creator A5015879995 @default.
- W1826156715 creator A5026554612 @default.
- W1826156715 date "2007-01-01" @default.
- W1826156715 modified "2023-09-25" @default.
- W1826156715 title "A Unified Semantics for Constraint Handling Rules in Transaction Logic" @default.
- W1826156715 cites W1480740341 @default.
- W1826156715 cites W1481664113 @default.
- W1826156715 cites W1483048837 @default.
- W1826156715 cites W1483111029 @default.
- W1826156715 cites W1814221162 @default.
- W1826156715 cites W2019417713 @default.
- W1826156715 cites W2079333278 @default.
- W1826156715 cites W2101757655 @default.
- W1826156715 cites W2177687083 @default.
- W1826156715 doi "https://doi.org/10.1007/978-3-540-72200-7_18" @default.
- W1826156715 hasPublicationYear "2007" @default.
- W1826156715 type Work @default.
- W1826156715 sameAs 1826156715 @default.
- W1826156715 citedByCount "6" @default.
- W1826156715 countsByYear W18261567152013 @default.
- W1826156715 countsByYear W18261567152023 @default.
- W1826156715 crossrefType "book-chapter" @default.
- W1826156715 hasAuthorship W1826156715A5012445976 @default.
- W1826156715 hasAuthorship W1826156715A5015879995 @default.
- W1826156715 hasAuthorship W1826156715A5026554612 @default.
- W1826156715 hasConcept C102993220 @default.
- W1826156715 hasConcept C118615104 @default.
- W1826156715 hasConcept C156325763 @default.
- W1826156715 hasConcept C160145156 @default.
- W1826156715 hasConcept C184337299 @default.
- W1826156715 hasConcept C199360897 @default.
- W1826156715 hasConcept C2524010 @default.
- W1826156715 hasConcept C2776036281 @default.
- W1826156715 hasConcept C33923547 @default.
- W1826156715 hasConcept C41008148 @default.
- W1826156715 hasConcept C45340560 @default.
- W1826156715 hasConcept C80444323 @default.
- W1826156715 hasConceptScore W1826156715C102993220 @default.
- W1826156715 hasConceptScore W1826156715C118615104 @default.
- W1826156715 hasConceptScore W1826156715C156325763 @default.
- W1826156715 hasConceptScore W1826156715C160145156 @default.
- W1826156715 hasConceptScore W1826156715C184337299 @default.
- W1826156715 hasConceptScore W1826156715C199360897 @default.
- W1826156715 hasConceptScore W1826156715C2524010 @default.
- W1826156715 hasConceptScore W1826156715C2776036281 @default.
- W1826156715 hasConceptScore W1826156715C33923547 @default.
- W1826156715 hasConceptScore W1826156715C41008148 @default.
- W1826156715 hasConceptScore W1826156715C45340560 @default.
- W1826156715 hasConceptScore W1826156715C80444323 @default.
- W1826156715 hasLocation W18261567151 @default.
- W1826156715 hasOpenAccess W1826156715 @default.
- W1826156715 hasPrimaryLocation W18261567151 @default.
- W1826156715 hasRelatedWork W123232229 @default.
- W1826156715 hasRelatedWork W1855927527 @default.
- W1826156715 hasRelatedWork W1933696546 @default.
- W1826156715 hasRelatedWork W1981466053 @default.
- W1826156715 hasRelatedWork W2070068388 @default.
- W1826156715 hasRelatedWork W2076018800 @default.
- W1826156715 hasRelatedWork W2129395888 @default.
- W1826156715 hasRelatedWork W2244075056 @default.
- W1826156715 hasRelatedWork W2949105534 @default.
- W1826156715 hasRelatedWork W3145431186 @default.
- W1826156715 isParatext "false" @default.
- W1826156715 isRetracted "false" @default.
- W1826156715 magId "1826156715" @default.
- W1826156715 workType "book-chapter" @default.