Matches in SemOpenAlex for { <https://semopenalex.org/work/W133022004> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W133022004 endingPage "1975" @default.
- W133022004 startingPage "1970" @default.
- W133022004 abstract "We present a simple circumscriptive method for formalizing actions with indirect effects (ramifications), and show that, in several examples, all second-order quantifiers can be eliminated from these formalizations using existing techniques for computing circumscriptions. One of the two symbolic computation methods employed here is a generalization of predicate completion and the other is based on the SCAN algorithm. The simplicity of our new approach to representing actions is due to the use of the formalism of nested abnormality theories." @default.
- W133022004 created "2016-06-24" @default.
- W133022004 creator A5002061240 @default.
- W133022004 creator A5076917986 @default.
- W133022004 date "1995-08-20" @default.
- W133022004 modified "2023-09-23" @default.
- W133022004 title "A simple formalization of actions using circumscription" @default.
- W133022004 cites W1557893839 @default.
- W133022004 cites W1558518027 @default.
- W133022004 cites W175258934 @default.
- W133022004 cites W1766332311 @default.
- W133022004 cites W1989492347 @default.
- W133022004 cites W1993512664 @default.
- W133022004 cites W1998363560 @default.
- W133022004 cites W2005473008 @default.
- W133022004 cites W2036900631 @default.
- W133022004 cites W2087532070 @default.
- W133022004 cites W2945259913 @default.
- W133022004 cites W5918392 @default.
- W133022004 cites W92428305 @default.
- W133022004 hasPublicationYear "1995" @default.
- W133022004 type Work @default.
- W133022004 sameAs 133022004 @default.
- W133022004 citedByCount "16" @default.
- W133022004 countsByYear W1330220042015 @default.
- W133022004 crossrefType "proceedings-article" @default.
- W133022004 hasAuthorship W133022004A5002061240 @default.
- W133022004 hasAuthorship W133022004A5076917986 @default.
- W133022004 hasConcept C111472728 @default.
- W133022004 hasConcept C11413529 @default.
- W133022004 hasConcept C134306372 @default.
- W133022004 hasConcept C138885662 @default.
- W133022004 hasConcept C140146324 @default.
- W133022004 hasConcept C142362112 @default.
- W133022004 hasConcept C153349607 @default.
- W133022004 hasConcept C154945302 @default.
- W133022004 hasConcept C177148314 @default.
- W133022004 hasConcept C199360897 @default.
- W133022004 hasConcept C2776372474 @default.
- W133022004 hasConcept C2780586882 @default.
- W133022004 hasConcept C33923547 @default.
- W133022004 hasConcept C41008148 @default.
- W133022004 hasConcept C45374587 @default.
- W133022004 hasConcept C558565934 @default.
- W133022004 hasConcept C62360110 @default.
- W133022004 hasConcept C73301696 @default.
- W133022004 hasConcept C80444323 @default.
- W133022004 hasConceptScore W133022004C111472728 @default.
- W133022004 hasConceptScore W133022004C11413529 @default.
- W133022004 hasConceptScore W133022004C134306372 @default.
- W133022004 hasConceptScore W133022004C138885662 @default.
- W133022004 hasConceptScore W133022004C140146324 @default.
- W133022004 hasConceptScore W133022004C142362112 @default.
- W133022004 hasConceptScore W133022004C153349607 @default.
- W133022004 hasConceptScore W133022004C154945302 @default.
- W133022004 hasConceptScore W133022004C177148314 @default.
- W133022004 hasConceptScore W133022004C199360897 @default.
- W133022004 hasConceptScore W133022004C2776372474 @default.
- W133022004 hasConceptScore W133022004C2780586882 @default.
- W133022004 hasConceptScore W133022004C33923547 @default.
- W133022004 hasConceptScore W133022004C41008148 @default.
- W133022004 hasConceptScore W133022004C45374587 @default.
- W133022004 hasConceptScore W133022004C558565934 @default.
- W133022004 hasConceptScore W133022004C62360110 @default.
- W133022004 hasConceptScore W133022004C73301696 @default.
- W133022004 hasConceptScore W133022004C80444323 @default.
- W133022004 hasLocation W1330220041 @default.
- W133022004 hasOpenAccess W133022004 @default.
- W133022004 hasPrimaryLocation W1330220041 @default.
- W133022004 hasRelatedWork W107281026 @default.
- W133022004 hasRelatedWork W1505436358 @default.
- W133022004 hasRelatedWork W1583058930 @default.
- W133022004 hasRelatedWork W1599735882 @default.
- W133022004 hasRelatedWork W162353158 @default.
- W133022004 hasRelatedWork W1826200008 @default.
- W133022004 hasRelatedWork W1975935536 @default.
- W133022004 hasRelatedWork W1989492347 @default.
- W133022004 hasRelatedWork W1993512664 @default.
- W133022004 hasRelatedWork W1998363560 @default.
- W133022004 hasRelatedWork W2036900631 @default.
- W133022004 hasRelatedWork W2087532070 @default.
- W133022004 hasRelatedWork W2094734546 @default.
- W133022004 hasRelatedWork W2108309071 @default.
- W133022004 hasRelatedWork W2138162238 @default.
- W133022004 hasRelatedWork W2155322595 @default.
- W133022004 hasRelatedWork W2899987233 @default.
- W133022004 hasRelatedWork W2913309218 @default.
- W133022004 hasRelatedWork W2945259913 @default.
- W133022004 hasRelatedWork W81942528 @default.
- W133022004 isParatext "false" @default.
- W133022004 isRetracted "false" @default.
- W133022004 magId "133022004" @default.
- W133022004 workType "article" @default.