Matches in SemOpenAlex for { <https://semopenalex.org/work/W2399406087> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2399406087 endingPage "458" @default.
- W2399406087 startingPage "439" @default.
- W2399406087 abstract "We provide a simple, sound, complete and terminating tableau decision procedure for the temporal logic of until and since over the real numbers model of time. This logic is an important basis for reasoning about concurrency, metric constraints and planning. Despite its usefulness and long history, there are no existing implementable reasoning techniques for it. The tableau uses a mosaic-based technique to translate the satisfiability problem into a question about the way that intervals of a real-flowed model relate to each other. It builds on top of recently developed reasoning tools for general linear time by applying some interesting but computationally simple checks." @default.
- W2399406087 created "2016-06-24" @default.
- W2399406087 creator A5036930915 @default.
- W2399406087 date "2014-01-01" @default.
- W2399406087 modified "2023-09-25" @default.
- W2399406087 title "A tableau for temporal logic over the reals" @default.
- W2399406087 cites W1554643586 @default.
- W2399406087 cites W1580868918 @default.
- W2399406087 cites W1980256915 @default.
- W2399406087 cites W1990865424 @default.
- W2399406087 cites W2031528374 @default.
- W2399406087 cites W2046306944 @default.
- W2399406087 cites W2067441543 @default.
- W2399406087 cites W2074899782 @default.
- W2399406087 cites W2087159666 @default.
- W2399406087 cites W2098171268 @default.
- W2399406087 cites W2171225173 @default.
- W2399406087 hasPublicationYear "2014" @default.
- W2399406087 type Work @default.
- W2399406087 sameAs 2399406087 @default.
- W2399406087 citedByCount "2" @default.
- W2399406087 countsByYear W23994060872015 @default.
- W2399406087 countsByYear W23994060872016 @default.
- W2399406087 crossrefType "proceedings-article" @default.
- W2399406087 hasAuthorship W2399406087A5036930915 @default.
- W2399406087 hasConcept C102993220 @default.
- W2399406087 hasConcept C111472728 @default.
- W2399406087 hasConcept C11413529 @default.
- W2399406087 hasConcept C138885662 @default.
- W2399406087 hasConcept C162324750 @default.
- W2399406087 hasConcept C168773769 @default.
- W2399406087 hasConcept C176217482 @default.
- W2399406087 hasConcept C193702766 @default.
- W2399406087 hasConcept C199360897 @default.
- W2399406087 hasConcept C21547014 @default.
- W2399406087 hasConcept C25016198 @default.
- W2399406087 hasConcept C2780586882 @default.
- W2399406087 hasConcept C41008148 @default.
- W2399406087 hasConcept C4777664 @default.
- W2399406087 hasConcept C6943359 @default.
- W2399406087 hasConcept C80444323 @default.
- W2399406087 hasConceptScore W2399406087C102993220 @default.
- W2399406087 hasConceptScore W2399406087C111472728 @default.
- W2399406087 hasConceptScore W2399406087C11413529 @default.
- W2399406087 hasConceptScore W2399406087C138885662 @default.
- W2399406087 hasConceptScore W2399406087C162324750 @default.
- W2399406087 hasConceptScore W2399406087C168773769 @default.
- W2399406087 hasConceptScore W2399406087C176217482 @default.
- W2399406087 hasConceptScore W2399406087C193702766 @default.
- W2399406087 hasConceptScore W2399406087C199360897 @default.
- W2399406087 hasConceptScore W2399406087C21547014 @default.
- W2399406087 hasConceptScore W2399406087C25016198 @default.
- W2399406087 hasConceptScore W2399406087C2780586882 @default.
- W2399406087 hasConceptScore W2399406087C41008148 @default.
- W2399406087 hasConceptScore W2399406087C4777664 @default.
- W2399406087 hasConceptScore W2399406087C6943359 @default.
- W2399406087 hasConceptScore W2399406087C80444323 @default.
- W2399406087 hasLocation W23994060871 @default.
- W2399406087 hasOpenAccess W2399406087 @default.
- W2399406087 hasPrimaryLocation W23994060871 @default.
- W2399406087 hasRelatedWork W149597766 @default.
- W2399406087 hasRelatedWork W1553543780 @default.
- W2399406087 hasRelatedWork W1578069889 @default.
- W2399406087 hasRelatedWork W1585042987 @default.
- W2399406087 hasRelatedWork W1647469660 @default.
- W2399406087 hasRelatedWork W1827200617 @default.
- W2399406087 hasRelatedWork W2000863621 @default.
- W2399406087 hasRelatedWork W2092795970 @default.
- W2399406087 hasRelatedWork W2123127832 @default.
- W2399406087 hasRelatedWork W2142064575 @default.
- W2399406087 hasRelatedWork W2286903566 @default.
- W2399406087 hasRelatedWork W2336757246 @default.
- W2399406087 hasRelatedWork W2395389457 @default.
- W2399406087 hasRelatedWork W2539164067 @default.
- W2399406087 hasRelatedWork W2809249895 @default.
- W2399406087 hasRelatedWork W2890523975 @default.
- W2399406087 hasRelatedWork W2951719376 @default.
- W2399406087 hasRelatedWork W2952265214 @default.
- W2399406087 hasRelatedWork W2963355213 @default.
- W2399406087 hasRelatedWork W3103003047 @default.
- W2399406087 isParatext "false" @default.
- W2399406087 isRetracted "false" @default.
- W2399406087 magId "2399406087" @default.
- W2399406087 workType "article" @default.