Matches in SemOpenAlex for { <https://semopenalex.org/work/W92428305> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W92428305 endingPage "354" @default.
- W92428305 startingPage "349" @default.
- W92428305 abstract "Research on nonmonotonic temporal reasoning in general, and the Yale Shooting Problem in particular, has suffered from the absence of a criterion against which to evaluate solutions. Indeed, researchers in the area disagree not only on the solutions but also on the problems. We propose a formal yet intuitive criterion by which to evaluate theories of actions, define a monotonic class of theories that satisfy this criterion, and then provide their provably-correct nonmonotonic counterpart." @default.
- W92428305 created "2016-06-24" @default.
- W92428305 creator A5028913764 @default.
- W92428305 creator A5089419141 @default.
- W92428305 date "1991-07-14" @default.
- W92428305 modified "2023-09-24" @default.
- W92428305 title "Provably correct theories of action" @default.
- W92428305 cites W117964382 @default.
- W92428305 cites W122836976 @default.
- W92428305 cites W148651351 @default.
- W92428305 cites W1551179673 @default.
- W92428305 cites W175258934 @default.
- W92428305 cites W1766332311 @default.
- W92428305 cites W192783671 @default.
- W92428305 cites W1986896321 @default.
- W92428305 cites W1990764990 @default.
- W92428305 cites W1998363560 @default.
- W92428305 cites W2005606512 @default.
- W92428305 cites W2016443760 @default.
- W92428305 cites W2036900631 @default.
- W92428305 cites W2104254677 @default.
- W92428305 cites W2105486835 @default.
- W92428305 cites W2132950849 @default.
- W92428305 cites W2138162238 @default.
- W92428305 hasPublicationYear "1991" @default.
- W92428305 type Work @default.
- W92428305 sameAs 92428305 @default.
- W92428305 citedByCount "8" @default.
- W92428305 crossrefType "proceedings-article" @default.
- W92428305 hasAuthorship W92428305A5028913764 @default.
- W92428305 hasAuthorship W92428305A5089419141 @default.
- W92428305 hasConcept C121332964 @default.
- W92428305 hasConcept C134306372 @default.
- W92428305 hasConcept C144237770 @default.
- W92428305 hasConcept C154945302 @default.
- W92428305 hasConcept C2777212361 @default.
- W92428305 hasConcept C2780791683 @default.
- W92428305 hasConcept C33923547 @default.
- W92428305 hasConcept C41008148 @default.
- W92428305 hasConcept C62520636 @default.
- W92428305 hasConcept C72169020 @default.
- W92428305 hasConcept C80444323 @default.
- W92428305 hasConceptScore W92428305C121332964 @default.
- W92428305 hasConceptScore W92428305C134306372 @default.
- W92428305 hasConceptScore W92428305C144237770 @default.
- W92428305 hasConceptScore W92428305C154945302 @default.
- W92428305 hasConceptScore W92428305C2777212361 @default.
- W92428305 hasConceptScore W92428305C2780791683 @default.
- W92428305 hasConceptScore W92428305C33923547 @default.
- W92428305 hasConceptScore W92428305C41008148 @default.
- W92428305 hasConceptScore W92428305C62520636 @default.
- W92428305 hasConceptScore W92428305C72169020 @default.
- W92428305 hasConceptScore W92428305C80444323 @default.
- W92428305 hasLocation W924283051 @default.
- W92428305 hasOpenAccess W92428305 @default.
- W92428305 hasPrimaryLocation W924283051 @default.
- W92428305 hasRelatedWork W1503579586 @default.
- W92428305 hasRelatedWork W15206906 @default.
- W92428305 hasRelatedWork W1548625203 @default.
- W92428305 hasRelatedWork W1599735882 @default.
- W92428305 hasRelatedWork W1628819734 @default.
- W92428305 hasRelatedWork W198933960 @default.
- W92428305 hasRelatedWork W1989492347 @default.
- W92428305 hasRelatedWork W1993512664 @default.
- W92428305 hasRelatedWork W1994609200 @default.
- W92428305 hasRelatedWork W1998363560 @default.
- W92428305 hasRelatedWork W2005473008 @default.
- W92428305 hasRelatedWork W2036900631 @default.
- W92428305 hasRelatedWork W2101648797 @default.
- W92428305 hasRelatedWork W2138162238 @default.
- W92428305 hasRelatedWork W2185339734 @default.
- W92428305 hasRelatedWork W2899987233 @default.
- W92428305 hasRelatedWork W2901062838 @default.
- W92428305 hasRelatedWork W2945259913 @default.
- W92428305 hasRelatedWork W3733054 @default.
- W92428305 hasRelatedWork W81942528 @default.
- W92428305 isParatext "false" @default.
- W92428305 isRetracted "false" @default.
- W92428305 magId "92428305" @default.
- W92428305 workType "article" @default.