Matches in SemOpenAlex for { <https://semopenalex.org/work/W2350372925> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2350372925 abstract "Temporal and spatial reasoning are two important parts of artificial intelligence,and have gained much attention from researchers in recent years.This paper uses multi-dimensional logics as frameworks for knowledge representation and,in particular,for representing spatio-temporal information.It constructs two-dimensional logics intended for describing metric relationships that change over time.The family logic,named PTL-MS,PTL-MS1,PTL-MS2 are the Cartesian product of the well-known temporal logic PTL and the propositional metric logic MS[M].It provides the intended languages with syntactic and semantics,and investigates the expressive power of them.It can be used in spatio-temporal constraint satisfaction problem,spatio-temporal knowledge base and mobile object database(MOD)." @default.
- W2350372925 created "2016-06-24" @default.
- W2350372925 creator A5074127666 @default.
- W2350372925 date "2007-01-01" @default.
- W2350372925 modified "2023-09-25" @default.
- W2350372925 title "Logic of Metric Space and Time" @default.
- W2350372925 hasPublicationYear "2007" @default.
- W2350372925 type Work @default.
- W2350372925 sameAs 2350372925 @default.
- W2350372925 citedByCount "0" @default.
- W2350372925 crossrefType "journal-article" @default.
- W2350372925 hasAuthorship W2350372925A5074127666 @default.
- W2350372925 hasConcept C102993220 @default.
- W2350372925 hasConcept C118615104 @default.
- W2350372925 hasConcept C121332964 @default.
- W2350372925 hasConcept C130187892 @default.
- W2350372925 hasConcept C154945302 @default.
- W2350372925 hasConcept C162324750 @default.
- W2350372925 hasConcept C176217482 @default.
- W2350372925 hasConcept C17744445 @default.
- W2350372925 hasConcept C195818886 @default.
- W2350372925 hasConcept C199360897 @default.
- W2350372925 hasConcept C199539241 @default.
- W2350372925 hasConcept C21547014 @default.
- W2350372925 hasConcept C25016198 @default.
- W2350372925 hasConcept C2776359362 @default.
- W2350372925 hasConcept C33923547 @default.
- W2350372925 hasConcept C41008148 @default.
- W2350372925 hasConcept C4777664 @default.
- W2350372925 hasConcept C62520636 @default.
- W2350372925 hasConcept C65236422 @default.
- W2350372925 hasConcept C69562738 @default.
- W2350372925 hasConcept C80444323 @default.
- W2350372925 hasConcept C94625758 @default.
- W2350372925 hasConceptScore W2350372925C102993220 @default.
- W2350372925 hasConceptScore W2350372925C118615104 @default.
- W2350372925 hasConceptScore W2350372925C121332964 @default.
- W2350372925 hasConceptScore W2350372925C130187892 @default.
- W2350372925 hasConceptScore W2350372925C154945302 @default.
- W2350372925 hasConceptScore W2350372925C162324750 @default.
- W2350372925 hasConceptScore W2350372925C176217482 @default.
- W2350372925 hasConceptScore W2350372925C17744445 @default.
- W2350372925 hasConceptScore W2350372925C195818886 @default.
- W2350372925 hasConceptScore W2350372925C199360897 @default.
- W2350372925 hasConceptScore W2350372925C199539241 @default.
- W2350372925 hasConceptScore W2350372925C21547014 @default.
- W2350372925 hasConceptScore W2350372925C25016198 @default.
- W2350372925 hasConceptScore W2350372925C2776359362 @default.
- W2350372925 hasConceptScore W2350372925C33923547 @default.
- W2350372925 hasConceptScore W2350372925C41008148 @default.
- W2350372925 hasConceptScore W2350372925C4777664 @default.
- W2350372925 hasConceptScore W2350372925C62520636 @default.
- W2350372925 hasConceptScore W2350372925C65236422 @default.
- W2350372925 hasConceptScore W2350372925C69562738 @default.
- W2350372925 hasConceptScore W2350372925C80444323 @default.
- W2350372925 hasConceptScore W2350372925C94625758 @default.
- W2350372925 hasLocation W23503729251 @default.
- W2350372925 hasOpenAccess W2350372925 @default.
- W2350372925 hasPrimaryLocation W23503729251 @default.
- W2350372925 hasRelatedWork W1516597018 @default.
- W2350372925 hasRelatedWork W1539708367 @default.
- W2350372925 hasRelatedWork W1579017347 @default.
- W2350372925 hasRelatedWork W1654443828 @default.
- W2350372925 hasRelatedWork W1964306497 @default.
- W2350372925 hasRelatedWork W1983953295 @default.
- W2350372925 hasRelatedWork W1993905760 @default.
- W2350372925 hasRelatedWork W2017661088 @default.
- W2350372925 hasRelatedWork W2026629052 @default.
- W2350372925 hasRelatedWork W2076887578 @default.
- W2350372925 hasRelatedWork W2098770011 @default.
- W2350372925 hasRelatedWork W2138325014 @default.
- W2350372925 hasRelatedWork W2138436353 @default.
- W2350372925 hasRelatedWork W2157732181 @default.
- W2350372925 hasRelatedWork W2359574802 @default.
- W2350372925 hasRelatedWork W2541469929 @default.
- W2350372925 hasRelatedWork W2574264966 @default.
- W2350372925 hasRelatedWork W2918178787 @default.
- W2350372925 hasRelatedWork W55334476 @default.
- W2350372925 hasRelatedWork W2118856131 @default.
- W2350372925 isParatext "false" @default.
- W2350372925 isRetracted "false" @default.
- W2350372925 magId "2350372925" @default.
- W2350372925 workType "article" @default.