Matches in SemOpenAlex for { <https://semopenalex.org/work/W2971711919> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2971711919 abstract "In this paper, we develop a probabilistic logic for reasoning about preconditions, postconditions and execution of actions in time. The language of our logic allows statements like “precondition of the action A will hold in the next moment” and uncertain information like “probability that the precondition of A will hold in the next moment is at least one half.” We axiomatize this logic, provide corresponding semantics built on branching-time temporal models, and prove that the axiomatization is sound and strongly complete." @default.
- W2971711919 created "2019-09-12" @default.
- W2971711919 creator A5010720497 @default.
- W2971711919 creator A5062165904 @default.
- W2971711919 date "2019-01-01" @default.
- W2971711919 modified "2023-09-30" @default.
- W2971711919 title "Probabilistic Logic for Reasoning About Actions in Time" @default.
- W2971711919 cites W1584985376 @default.
- W2971711919 cites W1595230848 @default.
- W2971711919 cites W1772032670 @default.
- W2971711919 cites W1979567199 @default.
- W2971711919 cites W1999325584 @default.
- W2971711919 cites W2057718117 @default.
- W2971711919 cites W2153737593 @default.
- W2971711919 cites W2169250070 @default.
- W2971711919 cites W2914728526 @default.
- W2971711919 cites W3106321783 @default.
- W2971711919 cites W4234037986 @default.
- W2971711919 cites W4252785764 @default.
- W2971711919 cites W77745017 @default.
- W2971711919 doi "https://doi.org/10.1007/978-3-030-29765-7_32" @default.
- W2971711919 hasPublicationYear "2019" @default.
- W2971711919 type Work @default.
- W2971711919 sameAs 2971711919 @default.
- W2971711919 citedByCount "0" @default.
- W2971711919 crossrefType "book-chapter" @default.
- W2971711919 hasAuthorship W2971711919A5010720497 @default.
- W2971711919 hasAuthorship W2971711919A5062165904 @default.
- W2971711919 hasConcept C102993220 @default.
- W2971711919 hasConcept C121332964 @default.
- W2971711919 hasConcept C154945302 @default.
- W2971711919 hasConcept C156325763 @default.
- W2971711919 hasConcept C179254644 @default.
- W2971711919 hasConcept C184337299 @default.
- W2971711919 hasConcept C18998212 @default.
- W2971711919 hasConcept C192465680 @default.
- W2971711919 hasConcept C199360897 @default.
- W2971711919 hasConcept C203659156 @default.
- W2971711919 hasConcept C25016198 @default.
- W2971711919 hasConcept C2780791683 @default.
- W2971711919 hasConcept C30128091 @default.
- W2971711919 hasConcept C3845977 @default.
- W2971711919 hasConcept C41008148 @default.
- W2971711919 hasConcept C4777664 @default.
- W2971711919 hasConcept C49937458 @default.
- W2971711919 hasConcept C62520636 @default.
- W2971711919 hasConcept C74650414 @default.
- W2971711919 hasConcept C80444323 @default.
- W2971711919 hasConceptScore W2971711919C102993220 @default.
- W2971711919 hasConceptScore W2971711919C121332964 @default.
- W2971711919 hasConceptScore W2971711919C154945302 @default.
- W2971711919 hasConceptScore W2971711919C156325763 @default.
- W2971711919 hasConceptScore W2971711919C179254644 @default.
- W2971711919 hasConceptScore W2971711919C184337299 @default.
- W2971711919 hasConceptScore W2971711919C18998212 @default.
- W2971711919 hasConceptScore W2971711919C192465680 @default.
- W2971711919 hasConceptScore W2971711919C199360897 @default.
- W2971711919 hasConceptScore W2971711919C203659156 @default.
- W2971711919 hasConceptScore W2971711919C25016198 @default.
- W2971711919 hasConceptScore W2971711919C2780791683 @default.
- W2971711919 hasConceptScore W2971711919C30128091 @default.
- W2971711919 hasConceptScore W2971711919C3845977 @default.
- W2971711919 hasConceptScore W2971711919C41008148 @default.
- W2971711919 hasConceptScore W2971711919C4777664 @default.
- W2971711919 hasConceptScore W2971711919C49937458 @default.
- W2971711919 hasConceptScore W2971711919C62520636 @default.
- W2971711919 hasConceptScore W2971711919C74650414 @default.
- W2971711919 hasConceptScore W2971711919C80444323 @default.
- W2971711919 hasLocation W29717119191 @default.
- W2971711919 hasOpenAccess W2971711919 @default.
- W2971711919 hasPrimaryLocation W29717119191 @default.
- W2971711919 hasRelatedWork W1481572781 @default.
- W2971711919 hasRelatedWork W1497274966 @default.
- W2971711919 hasRelatedWork W15000401 @default.
- W2971711919 hasRelatedWork W1555256314 @default.
- W2971711919 hasRelatedWork W1556693126 @default.
- W2971711919 hasRelatedWork W1605220589 @default.
- W2971711919 hasRelatedWork W1774982687 @default.
- W2971711919 hasRelatedWork W190661814 @default.
- W2971711919 hasRelatedWork W1959214290 @default.
- W2971711919 hasRelatedWork W2034572172 @default.
- W2971711919 hasRelatedWork W2063720336 @default.
- W2971711919 hasRelatedWork W2101489710 @default.
- W2971711919 hasRelatedWork W2119558232 @default.
- W2971711919 hasRelatedWork W2150283681 @default.
- W2971711919 hasRelatedWork W2740120804 @default.
- W2971711919 hasRelatedWork W2884214427 @default.
- W2971711919 hasRelatedWork W2951160875 @default.
- W2971711919 hasRelatedWork W3005452357 @default.
- W2971711919 hasRelatedWork W3163210208 @default.
- W2971711919 hasRelatedWork W60507602 @default.
- W2971711919 isParatext "false" @default.
- W2971711919 isRetracted "false" @default.
- W2971711919 magId "2971711919" @default.
- W2971711919 workType "book-chapter" @default.