Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096971710> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2096971710 abstract "This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can be integrated with the situation calculus. Our aim is to overcome some limitations of the earlier works and to realize the automated reasoning about continuous change." @default.
- W2096971710 created "2016-06-24" @default.
- W2096971710 creator A5042908851 @default.
- W2096971710 date "2005-09-09" @default.
- W2096971710 modified "2023-09-26" @default.
- W2096971710 title "Reasoning about continuous change: a formal method based on process description" @default.
- W2096971710 cites W1584985376 @default.
- W2096971710 cites W180778080 @default.
- W2096971710 cites W18602944 @default.
- W2096971710 cites W1993512664 @default.
- W2096971710 cites W2076024411 @default.
- W2096971710 cites W2094916185 @default.
- W2096971710 cites W2096566299 @default.
- W2096971710 cites W2138162238 @default.
- W2096971710 cites W2147350717 @default.
- W2096971710 cites W71290468 @default.
- W2096971710 doi "https://doi.org/10.1109/amt.2005.1505421" @default.
- W2096971710 hasPublicationYear "2005" @default.
- W2096971710 type Work @default.
- W2096971710 sameAs 2096971710 @default.
- W2096971710 citedByCount "0" @default.
- W2096971710 crossrefType "proceedings-article" @default.
- W2096971710 hasAuthorship W2096971710A5042908851 @default.
- W2096971710 hasConcept C111498074 @default.
- W2096971710 hasConcept C115903868 @default.
- W2096971710 hasConcept C116253237 @default.
- W2096971710 hasConcept C146499914 @default.
- W2096971710 hasConcept C154945302 @default.
- W2096971710 hasConcept C156325763 @default.
- W2096971710 hasConcept C161771561 @default.
- W2096971710 hasConcept C184337299 @default.
- W2096971710 hasConcept C199360897 @default.
- W2096971710 hasConcept C41008148 @default.
- W2096971710 hasConcept C75606506 @default.
- W2096971710 hasConcept C80444323 @default.
- W2096971710 hasConcept C98045186 @default.
- W2096971710 hasConceptScore W2096971710C111498074 @default.
- W2096971710 hasConceptScore W2096971710C115903868 @default.
- W2096971710 hasConceptScore W2096971710C116253237 @default.
- W2096971710 hasConceptScore W2096971710C146499914 @default.
- W2096971710 hasConceptScore W2096971710C154945302 @default.
- W2096971710 hasConceptScore W2096971710C156325763 @default.
- W2096971710 hasConceptScore W2096971710C161771561 @default.
- W2096971710 hasConceptScore W2096971710C184337299 @default.
- W2096971710 hasConceptScore W2096971710C199360897 @default.
- W2096971710 hasConceptScore W2096971710C41008148 @default.
- W2096971710 hasConceptScore W2096971710C75606506 @default.
- W2096971710 hasConceptScore W2096971710C80444323 @default.
- W2096971710 hasConceptScore W2096971710C98045186 @default.
- W2096971710 hasLocation W20969717101 @default.
- W2096971710 hasOpenAccess W2096971710 @default.
- W2096971710 hasPrimaryLocation W20969717101 @default.
- W2096971710 hasRelatedWork W115614293 @default.
- W2096971710 hasRelatedWork W1515187593 @default.
- W2096971710 hasRelatedWork W1542090010 @default.
- W2096971710 hasRelatedWork W1549521321 @default.
- W2096971710 hasRelatedWork W1563695504 @default.
- W2096971710 hasRelatedWork W1604059784 @default.
- W2096971710 hasRelatedWork W2001390679 @default.
- W2096971710 hasRelatedWork W2047218077 @default.
- W2096971710 hasRelatedWork W2121998514 @default.
- W2096971710 hasRelatedWork W2156553731 @default.
- W2096971710 hasRelatedWork W2281097564 @default.
- W2096971710 hasRelatedWork W2324847113 @default.
- W2096971710 hasRelatedWork W2376674003 @default.
- W2096971710 hasRelatedWork W2396100351 @default.
- W2096971710 hasRelatedWork W24264607 @default.
- W2096971710 hasRelatedWork W2751426875 @default.
- W2096971710 hasRelatedWork W2762699636 @default.
- W2096971710 hasRelatedWork W3134644061 @default.
- W2096971710 hasRelatedWork W3142498860 @default.
- W2096971710 hasRelatedWork W2616593073 @default.
- W2096971710 isParatext "false" @default.
- W2096971710 isRetracted "false" @default.
- W2096971710 magId "2096971710" @default.
- W2096971710 workType "article" @default.