Matches in SemOpenAlex for { <https://semopenalex.org/work/W117408085> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W117408085 endingPage "1290" @default.
- W117408085 startingPage "1285" @default.
- W117408085 abstract "We Imbed Into a first order logic a representation language that combines a temporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chronology of events: sufficient information for an encoding of a classical temporal logic. By quantifying over time structures, we encode a modal logic of temporal knowledge. In addition, we show how to achieve the effect of nonmonotonic inference, by simulating preferential entailment within a first order framework." @default.
- W117408085 created "2016-06-24" @default.
- W117408085 creator A5011642507 @default.
- W117408085 creator A5064805255 @default.
- W117408085 date "1989-08-20" @default.
- W117408085 modified "2023-09-23" @default.
- W117408085 title "The logic of time structures: temporal and nonmonotonic features" @default.
- W117408085 cites W118671747 @default.
- W117408085 cites W1977561459 @default.
- W117408085 cites W2005678616 @default.
- W117408085 cites W2049819684 @default.
- W117408085 cites W2104351678 @default.
- W117408085 cites W2122540544 @default.
- W117408085 cites W2138162238 @default.
- W117408085 cites W2150191218 @default.
- W117408085 cites W2899987233 @default.
- W117408085 cites W95860231 @default.
- W117408085 hasPublicationYear "1989" @default.
- W117408085 type Work @default.
- W117408085 sameAs 117408085 @default.
- W117408085 citedByCount "1" @default.
- W117408085 crossrefType "proceedings-article" @default.
- W117408085 hasAuthorship W117408085A5011642507 @default.
- W117408085 hasAuthorship W117408085A5064805255 @default.
- W117408085 hasConcept C102993220 @default.
- W117408085 hasConcept C104317684 @default.
- W117408085 hasConcept C11648818 @default.
- W117408085 hasConcept C125411270 @default.
- W117408085 hasConcept C154945302 @default.
- W117408085 hasConcept C162670838 @default.
- W117408085 hasConcept C17744445 @default.
- W117408085 hasConcept C185592680 @default.
- W117408085 hasConcept C199539241 @default.
- W117408085 hasConcept C203659156 @default.
- W117408085 hasConcept C25016198 @default.
- W117408085 hasConcept C2776214188 @default.
- W117408085 hasConcept C2776359362 @default.
- W117408085 hasConcept C41008148 @default.
- W117408085 hasConcept C4777664 @default.
- W117408085 hasConcept C55493867 @default.
- W117408085 hasConcept C66746571 @default.
- W117408085 hasConcept C80444323 @default.
- W117408085 hasConcept C94625758 @default.
- W117408085 hasConceptScore W117408085C102993220 @default.
- W117408085 hasConceptScore W117408085C104317684 @default.
- W117408085 hasConceptScore W117408085C11648818 @default.
- W117408085 hasConceptScore W117408085C125411270 @default.
- W117408085 hasConceptScore W117408085C154945302 @default.
- W117408085 hasConceptScore W117408085C162670838 @default.
- W117408085 hasConceptScore W117408085C17744445 @default.
- W117408085 hasConceptScore W117408085C185592680 @default.
- W117408085 hasConceptScore W117408085C199539241 @default.
- W117408085 hasConceptScore W117408085C203659156 @default.
- W117408085 hasConceptScore W117408085C25016198 @default.
- W117408085 hasConceptScore W117408085C2776214188 @default.
- W117408085 hasConceptScore W117408085C2776359362 @default.
- W117408085 hasConceptScore W117408085C41008148 @default.
- W117408085 hasConceptScore W117408085C4777664 @default.
- W117408085 hasConceptScore W117408085C55493867 @default.
- W117408085 hasConceptScore W117408085C66746571 @default.
- W117408085 hasConceptScore W117408085C80444323 @default.
- W117408085 hasConceptScore W117408085C94625758 @default.
- W117408085 hasLocation W1174080851 @default.
- W117408085 hasOpenAccess W117408085 @default.
- W117408085 hasPrimaryLocation W1174080851 @default.
- W117408085 hasRelatedWork W1489551720 @default.
- W117408085 hasRelatedWork W1539708367 @default.
- W117408085 hasRelatedWork W156124221 @default.
- W117408085 hasRelatedWork W1573805454 @default.
- W117408085 hasRelatedWork W1654443828 @default.
- W117408085 hasRelatedWork W167305266 @default.
- W117408085 hasRelatedWork W168328309 @default.
- W117408085 hasRelatedWork W1863407693 @default.
- W117408085 hasRelatedWork W1983953295 @default.
- W117408085 hasRelatedWork W2017661088 @default.
- W117408085 hasRelatedWork W204539619 @default.
- W117408085 hasRelatedWork W204762166 @default.
- W117408085 hasRelatedWork W2058303288 @default.
- W117408085 hasRelatedWork W2066612386 @default.
- W117408085 hasRelatedWork W2099349227 @default.
- W117408085 hasRelatedWork W2134259239 @default.
- W117408085 hasRelatedWork W2359574802 @default.
- W117408085 hasRelatedWork W2360817548 @default.
- W117408085 hasRelatedWork W2475867549 @default.
- W117408085 hasRelatedWork W2792189678 @default.
- W117408085 isParatext "false" @default.
- W117408085 isRetracted "false" @default.
- W117408085 magId "117408085" @default.
- W117408085 workType "article" @default.