Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580288801> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1580288801 abstract "For modeling structured processes with different levels of atomic actions, classical linear or branching time Kripke structures with first-order states are insufficient: They do not provide any means for modeling independent parallel threads of activity which have to be joined at some point, action refinement, or procedure concepts. In all three cases, it is important to distinguish facts resp. knowledge derived in the current thread of activity from facts which are not concerned in this activity. This problem is also closely related to the frame problem." @default.
- W1580288801 created "2016-06-24" @default.
- W1580288801 creator A5042798174 @default.
- W1580288801 date "1997-01-01" @default.
- W1580288801 modified "2023-09-28" @default.
- W1580288801 title "Process modeling with different qualities of knowledge" @default.
- W1580288801 cites W1490966766 @default.
- W1580288801 cites W1532118845 @default.
- W1580288801 cites W1580617510 @default.
- W1580288801 cites W1842205666 @default.
- W1580288801 cites W1978469611 @default.
- W1580288801 cites W1995080554 @default.
- W1580288801 cites W2061743024 @default.
- W1580288801 cites W2138162238 @default.
- W1580288801 cites W2146485104 @default.
- W1580288801 cites W2293815615 @default.
- W1580288801 cites W2296646831 @default.
- W1580288801 doi "https://doi.org/10.1007/bfb0035640" @default.
- W1580288801 hasPublicationYear "1997" @default.
- W1580288801 type Work @default.
- W1580288801 sameAs 1580288801 @default.
- W1580288801 citedByCount "0" @default.
- W1580288801 crossrefType "book-chapter" @default.
- W1580288801 hasAuthorship W1580288801A5042798174 @default.
- W1580288801 hasConcept C110251889 @default.
- W1580288801 hasConcept C11413529 @default.
- W1580288801 hasConcept C138101251 @default.
- W1580288801 hasConcept C154945302 @default.
- W1580288801 hasConcept C161913894 @default.
- W1580288801 hasConcept C199360897 @default.
- W1580288801 hasConcept C41008148 @default.
- W1580288801 hasConcept C5065155 @default.
- W1580288801 hasConcept C80444323 @default.
- W1580288801 hasConceptScore W1580288801C110251889 @default.
- W1580288801 hasConceptScore W1580288801C11413529 @default.
- W1580288801 hasConceptScore W1580288801C138101251 @default.
- W1580288801 hasConceptScore W1580288801C154945302 @default.
- W1580288801 hasConceptScore W1580288801C161913894 @default.
- W1580288801 hasConceptScore W1580288801C199360897 @default.
- W1580288801 hasConceptScore W1580288801C41008148 @default.
- W1580288801 hasConceptScore W1580288801C5065155 @default.
- W1580288801 hasConceptScore W1580288801C80444323 @default.
- W1580288801 hasLocation W15802888011 @default.
- W1580288801 hasOpenAccess W1580288801 @default.
- W1580288801 hasPrimaryLocation W15802888011 @default.
- W1580288801 hasRelatedWork W1506427308 @default.
- W1580288801 hasRelatedWork W1507636821 @default.
- W1580288801 hasRelatedWork W1522243061 @default.
- W1580288801 hasRelatedWork W1534224569 @default.
- W1580288801 hasRelatedWork W1591425412 @default.
- W1580288801 hasRelatedWork W173950190 @default.
- W1580288801 hasRelatedWork W1768600348 @default.
- W1580288801 hasRelatedWork W1777597049 @default.
- W1580288801 hasRelatedWork W1779658503 @default.
- W1580288801 hasRelatedWork W1868339153 @default.
- W1580288801 hasRelatedWork W2012899205 @default.
- W1580288801 hasRelatedWork W2016688639 @default.
- W1580288801 hasRelatedWork W2031185224 @default.
- W1580288801 hasRelatedWork W2265087217 @default.
- W1580288801 hasRelatedWork W2640541807 @default.
- W1580288801 hasRelatedWork W264694543 @default.
- W1580288801 hasRelatedWork W2955107593 @default.
- W1580288801 hasRelatedWork W3087273953 @default.
- W1580288801 hasRelatedWork W2571879094 @default.
- W1580288801 hasRelatedWork W2964544903 @default.
- W1580288801 isParatext "false" @default.
- W1580288801 isRetracted "false" @default.
- W1580288801 magId "1580288801" @default.
- W1580288801 workType "book-chapter" @default.