Matches in SemOpenAlex for { <https://semopenalex.org/work/W71290468> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W71290468 endingPage "1962" @default.
- W71290468 startingPage "1956" @default.
- W71290468 abstract "A formal theory of actions and change in dynamic systems is presented. Our formalism is based on the paradigm that state transitions in a system naturally occur while time passes by; one or more agents have the possibility to direct the development of the system by executing actions. Our theory covers concurrency of actions and events and includes a natural way to express delayed effects and nondeterminism. A uniform semantics for specifications of dynamic systems is developed, which enables us to express solutions to problems like temporal projection, planning and postdiction in terms of logical entailment." @default.
- W71290468 created "2016-06-24" @default.
- W71290468 creator A5057895161 @default.
- W71290468 date "1995-08-20" @default.
- W71290468 modified "2023-10-02" @default.
- W71290468 title "The logic of dynamic systems" @default.
- W71290468 cites W102173758 @default.
- W71290468 cites W115583350 @default.
- W71290468 cites W138109770 @default.
- W71290468 cites W1569543037 @default.
- W71290468 cites W1574999714 @default.
- W71290468 cites W160326153 @default.
- W71290468 cites W1981232533 @default.
- W71290468 cites W1993512664 @default.
- W71290468 cites W2036900631 @default.
- W71290468 cites W2040784953 @default.
- W71290468 cites W2138162238 @default.
- W71290468 cites W2167489787 @default.
- W71290468 cites W2911354805 @default.
- W71290468 cites W29668929 @default.
- W71290468 cites W1574092257 @default.
- W71290468 hasPublicationYear "1995" @default.
- W71290468 type Work @default.
- W71290468 sameAs 71290468 @default.
- W71290468 citedByCount "13" @default.
- W71290468 crossrefType "proceedings-article" @default.
- W71290468 hasAuthorship W71290468A5057895161 @default.
- W71290468 hasConcept C11648818 @default.
- W71290468 hasConcept C121332964 @default.
- W71290468 hasConcept C134752490 @default.
- W71290468 hasConcept C142362112 @default.
- W71290468 hasConcept C153349607 @default.
- W71290468 hasConcept C154945302 @default.
- W71290468 hasConcept C162670838 @default.
- W71290468 hasConcept C165801399 @default.
- W71290468 hasConcept C172385210 @default.
- W71290468 hasConcept C184337299 @default.
- W71290468 hasConcept C193702766 @default.
- W71290468 hasConcept C199360897 @default.
- W71290468 hasConcept C22497172 @default.
- W71290468 hasConcept C25016198 @default.
- W71290468 hasConcept C2777796570 @default.
- W71290468 hasConcept C2779167558 @default.
- W71290468 hasConcept C41008148 @default.
- W71290468 hasConcept C558565934 @default.
- W71290468 hasConcept C62520636 @default.
- W71290468 hasConcept C73301696 @default.
- W71290468 hasConcept C80444323 @default.
- W71290468 hasConceptScore W71290468C11648818 @default.
- W71290468 hasConceptScore W71290468C121332964 @default.
- W71290468 hasConceptScore W71290468C134752490 @default.
- W71290468 hasConceptScore W71290468C142362112 @default.
- W71290468 hasConceptScore W71290468C153349607 @default.
- W71290468 hasConceptScore W71290468C154945302 @default.
- W71290468 hasConceptScore W71290468C162670838 @default.
- W71290468 hasConceptScore W71290468C165801399 @default.
- W71290468 hasConceptScore W71290468C172385210 @default.
- W71290468 hasConceptScore W71290468C184337299 @default.
- W71290468 hasConceptScore W71290468C193702766 @default.
- W71290468 hasConceptScore W71290468C199360897 @default.
- W71290468 hasConceptScore W71290468C22497172 @default.
- W71290468 hasConceptScore W71290468C25016198 @default.
- W71290468 hasConceptScore W71290468C2777796570 @default.
- W71290468 hasConceptScore W71290468C2779167558 @default.
- W71290468 hasConceptScore W71290468C41008148 @default.
- W71290468 hasConceptScore W71290468C558565934 @default.
- W71290468 hasConceptScore W71290468C62520636 @default.
- W71290468 hasConceptScore W71290468C73301696 @default.
- W71290468 hasConceptScore W71290468C80444323 @default.
- W71290468 hasLocation W712904681 @default.
- W71290468 hasOpenAccess W71290468 @default.
- W71290468 hasPrimaryLocation W712904681 @default.
- W71290468 hasRelatedWork W102173758 @default.
- W71290468 hasRelatedWork W1490796108 @default.
- W71290468 hasRelatedWork W1504874107 @default.
- W71290468 hasRelatedWork W1541229946 @default.
- W71290468 hasRelatedWork W1548625203 @default.
- W71290468 hasRelatedWork W1583968582 @default.
- W71290468 hasRelatedWork W1787838883 @default.
- W71290468 hasRelatedWork W180778080 @default.
- W71290468 hasRelatedWork W18602944 @default.
- W71290468 hasRelatedWork W1993512664 @default.
- W71290468 hasRelatedWork W2007116259 @default.
- W71290468 hasRelatedWork W2138162238 @default.
- W71290468 hasRelatedWork W2481194739 @default.
- W71290468 hasRelatedWork W2497114444 @default.
- W71290468 hasRelatedWork W2561831591 @default.
- W71290468 hasRelatedWork W2810340194 @default.
- W71290468 hasRelatedWork W2901900876 @default.
- W71290468 hasRelatedWork W2993635893 @default.
- W71290468 hasRelatedWork W3120853780 @default.
- W71290468 hasRelatedWork W81942528 @default.
- W71290468 isParatext "false" @default.
- W71290468 isRetracted "false" @default.
- W71290468 magId "71290468" @default.
- W71290468 workType "article" @default.