Matches in SemOpenAlex for { <https://semopenalex.org/work/W82242187> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W82242187 endingPage "289" @default.
- W82242187 startingPage "284" @default.
- W82242187 abstract "We present our research on defining a correct semantics for forward chaining production systems (PS) programs A correct semantics ensures that the execution of the program will not produce incorrect answers and execution will terminate; it also ensures that the answers are consistent. We define a class of stratified PS programs, and propose an operational semantics for these programs. We define an operator Tps, which computes the operational fixpoint for the productions of the stratified PS program; the fixpoint captures the meaning of the PS program. The theory that can be derived from the productions of the PS program may be inconsistent with the constraints that are also derived from the PS program. We can then view the constraints as modifying the theory so that the modified theory PS is consistent with the constraints. However, the same answers are obtained in the operational semantics of the stratified PS program or from the modified theory PS." @default.
- W82242187 created "2016-06-24" @default.
- W82242187 creator A5054150982 @default.
- W82242187 date "1990-07-29" @default.
- W82242187 modified "2023-09-25" @default.
- W82242187 title "Maintaining consistency in a stratified production system program" @default.
- W82242187 cites W190622319 @default.
- W82242187 cites W2016289761 @default.
- W82242187 cites W2043489637 @default.
- W82242187 cites W2050582407 @default.
- W82242187 cites W2057472517 @default.
- W82242187 cites W2065555531 @default.
- W82242187 cites W2111353076 @default.
- W82242187 cites W2116502002 @default.
- W82242187 cites W2144115857 @default.
- W82242187 cites W2156266415 @default.
- W82242187 cites W2166159331 @default.
- W82242187 cites W23343499 @default.
- W82242187 cites W31561947 @default.
- W82242187 hasPublicationYear "1990" @default.
- W82242187 type Work @default.
- W82242187 sameAs 82242187 @default.
- W82242187 citedByCount "2" @default.
- W82242187 crossrefType "proceedings-article" @default.
- W82242187 hasAuthorship W82242187A5054150982 @default.
- W82242187 hasConcept C104317684 @default.
- W82242187 hasConcept C139719470 @default.
- W82242187 hasConcept C142614401 @default.
- W82242187 hasConcept C154945302 @default.
- W82242187 hasConcept C156325763 @default.
- W82242187 hasConcept C15744967 @default.
- W82242187 hasConcept C158448853 @default.
- W82242187 hasConcept C162324750 @default.
- W82242187 hasConcept C17020691 @default.
- W82242187 hasConcept C184337299 @default.
- W82242187 hasConcept C185592680 @default.
- W82242187 hasConcept C199360897 @default.
- W82242187 hasConcept C2776436953 @default.
- W82242187 hasConcept C2777212361 @default.
- W82242187 hasConcept C2778348673 @default.
- W82242187 hasConcept C41008148 @default.
- W82242187 hasConcept C49020025 @default.
- W82242187 hasConcept C542102704 @default.
- W82242187 hasConcept C55493867 @default.
- W82242187 hasConcept C58328972 @default.
- W82242187 hasConcept C80444323 @default.
- W82242187 hasConcept C86339819 @default.
- W82242187 hasConceptScore W82242187C104317684 @default.
- W82242187 hasConceptScore W82242187C139719470 @default.
- W82242187 hasConceptScore W82242187C142614401 @default.
- W82242187 hasConceptScore W82242187C154945302 @default.
- W82242187 hasConceptScore W82242187C156325763 @default.
- W82242187 hasConceptScore W82242187C15744967 @default.
- W82242187 hasConceptScore W82242187C158448853 @default.
- W82242187 hasConceptScore W82242187C162324750 @default.
- W82242187 hasConceptScore W82242187C17020691 @default.
- W82242187 hasConceptScore W82242187C184337299 @default.
- W82242187 hasConceptScore W82242187C185592680 @default.
- W82242187 hasConceptScore W82242187C199360897 @default.
- W82242187 hasConceptScore W82242187C2776436953 @default.
- W82242187 hasConceptScore W82242187C2777212361 @default.
- W82242187 hasConceptScore W82242187C2778348673 @default.
- W82242187 hasConceptScore W82242187C41008148 @default.
- W82242187 hasConceptScore W82242187C49020025 @default.
- W82242187 hasConceptScore W82242187C542102704 @default.
- W82242187 hasConceptScore W82242187C55493867 @default.
- W82242187 hasConceptScore W82242187C58328972 @default.
- W82242187 hasConceptScore W82242187C80444323 @default.
- W82242187 hasConceptScore W82242187C86339819 @default.
- W82242187 hasLocation W822421871 @default.
- W82242187 hasOpenAccess W82242187 @default.
- W82242187 hasPrimaryLocation W822421871 @default.
- W82242187 hasRelatedWork W141761068 @default.
- W82242187 hasRelatedWork W1492626646 @default.
- W82242187 hasRelatedWork W1534321109 @default.
- W82242187 hasRelatedWork W1555521339 @default.
- W82242187 hasRelatedWork W1561130787 @default.
- W82242187 hasRelatedWork W1562372713 @default.
- W82242187 hasRelatedWork W1608803044 @default.
- W82242187 hasRelatedWork W184346136 @default.
- W82242187 hasRelatedWork W1990653192 @default.
- W82242187 hasRelatedWork W2030429182 @default.
- W82242187 hasRelatedWork W2036191870 @default.
- W82242187 hasRelatedWork W2038502077 @default.
- W82242187 hasRelatedWork W2056947248 @default.
- W82242187 hasRelatedWork W2106180000 @default.
- W82242187 hasRelatedWork W2175275752 @default.
- W82242187 hasRelatedWork W2179005734 @default.
- W82242187 hasRelatedWork W2222205073 @default.
- W82242187 hasRelatedWork W2612489938 @default.
- W82242187 hasRelatedWork W29534294 @default.
- W82242187 hasRelatedWork W2744857873 @default.
- W82242187 isParatext "false" @default.
- W82242187 isRetracted "false" @default.
- W82242187 magId "82242187" @default.
- W82242187 workType "article" @default.