Matches in SemOpenAlex for { <https://semopenalex.org/work/W2553079388> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2553079388 endingPage "23" @default.
- W2553079388 startingPage "5" @default.
- W2553079388 abstract "Most of the solutions proposed to the Yale shooting problem have either introduced new nonmonotonic reasoning methods (generally involving temporal priorities) or completely reformulated the domain axioms to represent causality explicitly. This paper presents a new solution based on the idea that since the abnormality predicate takes a situational argument, it is important for the meanings of the situations to be held constant across the various models being compared. This is accomplished by a simple change in circumscription policy: when lb is circumscribed, Result (rather than Holds) is allowed to vary. In addition, we need an axiom ensuring that every consistent situation is included in the domain of discourse. Ordinary circumscription will then produce the intuitively Correct answer. Beyond its conceptual simplicity, the solution proposed here has additional advantages over the previous approaches. Unlike the approach that uses temporal priorities, it can support reasoning backward in time as well as fon'ard. And unlike the causal approach, it can handle ramifications in a natural manner" @default.
- W2553079388 created "2016-11-30" @default.
- W2553079388 creator A5005611871 @default.
- W2553079388 creator A5025681351 @default.
- W2553079388 creator A5046073654 @default.
- W2553079388 date "1992-01-01" @default.
- W2553079388 modified "2023-09-24" @default.
- W2553079388 title "Nonmonotonic reasoning in the framework of situation calculus" @default.
- W2553079388 hasPublicationYear "1992" @default.
- W2553079388 type Work @default.
- W2553079388 sameAs 2553079388 @default.
- W2553079388 citedByCount "0" @default.
- W2553079388 crossrefType "journal-article" @default.
- W2553079388 hasAuthorship W2553079388A5005611871 @default.
- W2553079388 hasAuthorship W2553079388A5025681351 @default.
- W2553079388 hasAuthorship W2553079388A5046073654 @default.
- W2553079388 hasConcept C111472728 @default.
- W2553079388 hasConcept C134306372 @default.
- W2553079388 hasConcept C138885662 @default.
- W2553079388 hasConcept C140146324 @default.
- W2553079388 hasConcept C144237770 @default.
- W2553079388 hasConcept C154945302 @default.
- W2553079388 hasConcept C159032336 @default.
- W2553079388 hasConcept C167729594 @default.
- W2553079388 hasConcept C185592680 @default.
- W2553079388 hasConcept C199343813 @default.
- W2553079388 hasConcept C199360897 @default.
- W2553079388 hasConcept C2524010 @default.
- W2553079388 hasConcept C2776372474 @default.
- W2553079388 hasConcept C2777686260 @default.
- W2553079388 hasConcept C2780586882 @default.
- W2553079388 hasConcept C33923547 @default.
- W2553079388 hasConcept C36503486 @default.
- W2553079388 hasConcept C41008148 @default.
- W2553079388 hasConcept C55493867 @default.
- W2553079388 hasConcept C62360110 @default.
- W2553079388 hasConcept C71924100 @default.
- W2553079388 hasConcept C98184364 @default.
- W2553079388 hasConceptScore W2553079388C111472728 @default.
- W2553079388 hasConceptScore W2553079388C134306372 @default.
- W2553079388 hasConceptScore W2553079388C138885662 @default.
- W2553079388 hasConceptScore W2553079388C140146324 @default.
- W2553079388 hasConceptScore W2553079388C144237770 @default.
- W2553079388 hasConceptScore W2553079388C154945302 @default.
- W2553079388 hasConceptScore W2553079388C159032336 @default.
- W2553079388 hasConceptScore W2553079388C167729594 @default.
- W2553079388 hasConceptScore W2553079388C185592680 @default.
- W2553079388 hasConceptScore W2553079388C199343813 @default.
- W2553079388 hasConceptScore W2553079388C199360897 @default.
- W2553079388 hasConceptScore W2553079388C2524010 @default.
- W2553079388 hasConceptScore W2553079388C2776372474 @default.
- W2553079388 hasConceptScore W2553079388C2777686260 @default.
- W2553079388 hasConceptScore W2553079388C2780586882 @default.
- W2553079388 hasConceptScore W2553079388C33923547 @default.
- W2553079388 hasConceptScore W2553079388C36503486 @default.
- W2553079388 hasConceptScore W2553079388C41008148 @default.
- W2553079388 hasConceptScore W2553079388C55493867 @default.
- W2553079388 hasConceptScore W2553079388C62360110 @default.
- W2553079388 hasConceptScore W2553079388C71924100 @default.
- W2553079388 hasConceptScore W2553079388C98184364 @default.
- W2553079388 hasLocation W25530793881 @default.
- W2553079388 hasOpenAccess W2553079388 @default.
- W2553079388 hasPrimaryLocation W25530793881 @default.
- W2553079388 hasRelatedWork W128375902 @default.
- W2553079388 hasRelatedWork W152625262 @default.
- W2553079388 hasRelatedWork W1603431483 @default.
- W2553079388 hasRelatedWork W17242155 @default.
- W2553079388 hasRelatedWork W1964656133 @default.
- W2553079388 hasRelatedWork W1977870872 @default.
- W2553079388 hasRelatedWork W198933960 @default.
- W2553079388 hasRelatedWork W1989492347 @default.
- W2553079388 hasRelatedWork W2032599922 @default.
- W2553079388 hasRelatedWork W2050871532 @default.
- W2553079388 hasRelatedWork W2063896636 @default.
- W2553079388 hasRelatedWork W2118348866 @default.
- W2553079388 hasRelatedWork W2175235637 @default.
- W2553079388 hasRelatedWork W2185339734 @default.
- W2553079388 hasRelatedWork W2396008217 @default.
- W2553079388 hasRelatedWork W2401714029 @default.
- W2553079388 hasRelatedWork W2413576903 @default.
- W2553079388 hasRelatedWork W2607056381 @default.
- W2553079388 hasRelatedWork W2775961810 @default.
- W2553079388 hasRelatedWork W3733054 @default.
- W2553079388 isParatext "false" @default.
- W2553079388 isRetracted "false" @default.
- W2553079388 magId "2553079388" @default.
- W2553079388 workType "article" @default.