FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W55334476> ?p ?o ?g. }

• W55334476 endingPage "323" @default.
• W55334476 startingPage "318" @default.
• W55334476 abstract "Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simplified formalisms and techniques, such as temporal interval algebras or model checking. In this paper we show that tractable sub-classes of propositional linear temporal logic can be developed, based on the use of XOR fragments of the logic. We not only show that such fragments can be decided, tractably, via clausal temporal resolution, but also show the benefits of combining multiple XOR fragments. For such combinations we establish completeness and complexity (of the resolution method), and also describe how such a temporal language might be used in application areas, for example the verification of multi-agent systems. This new approach to temporal reasoning provides a framework in which tractable temporal logics can be engineered by intelligently combining appropriate XOR fragments." @default.
• W55334476 created "2016-06-24" @default.
• W55334476 creator A5001487424 @default.
• W55334476 creator A5013515770 @default.
• W55334476 creator A5032067568 @default.
• W55334476 date "2007-01-06" @default.
• W55334476 modified "2023-09-26" @default.
• W55334476 title "Tractable temporal reasoning" @default.
• W55334476 cites W1501787710 @default.
• W55334476 cites W1525642073 @default.
• W55334476 cites W1810595877 @default.
• W55334476 cites W2003227046 @default.
• W55334476 cites W2026379532 @default.
• W55334476 cites W2048872933 @default.
• W55334476 cites W2111581283 @default.
• W55334476 cites W2120926795 @default.
• W55334476 cites W2131225255 @default.
• W55334476 cites W2157319504 @default.
• W55334476 cites W2162357200 @default.
• W55334476 cites W2166566648 @default.
• W55334476 cites W2913459036 @default.
• W55334476 hasPublicationYear "2007" @default.
• W55334476 type Work @default.
• W55334476 sameAs 55334476 @default.
• W55334476 citedByCount "11" @default.
• W55334476 countsByYear W553344762012 @default.
• W55334476 countsByYear W553344762013 @default.
• W55334476 countsByYear W553344762016 @default.
• W55334476 countsByYear W553344762018 @default.
• W55334476 crossrefType "proceedings-article" @default.
• W55334476 hasAuthorship W55334476A5001487424 @default.
• W55334476 hasAuthorship W55334476A5013515770 @default.
• W55334476 hasAuthorship W55334476A5032067568 @default.
• W55334476 hasConcept C11413529 @default.
• W55334476 hasConcept C11648818 @default.
• W55334476 hasConcept C124101348 @default.
• W55334476 hasConcept C134306372 @default.
• W55334476 hasConcept C138268822 @default.
• W55334476 hasConcept C154945302 @default.
• W55334476 hasConcept C162670838 @default.
• W55334476 hasConcept C171018156 @default.
• W55334476 hasConcept C17231256 @default.
• W55334476 hasConcept C198008173 @default.
• W55334476 hasConcept C199360897 @default.
• W55334476 hasConcept C25016198 @default.
• W55334476 hasConcept C2524010 @default.
• W55334476 hasConcept C2776235265 @default.
• W55334476 hasConcept C33923547 @default.
• W55334476 hasConcept C41008148 @default.
• W55334476 hasConcept C4777664 @default.
• W55334476 hasConcept C69562738 @default.
• W55334476 hasConcept C77277458 @default.
• W55334476 hasConcept C80444323 @default.
• W55334476 hasConceptScore W55334476C11413529 @default.
• W55334476 hasConceptScore W55334476C11648818 @default.
• W55334476 hasConceptScore W55334476C124101348 @default.
• W55334476 hasConceptScore W55334476C134306372 @default.
• W55334476 hasConceptScore W55334476C138268822 @default.
• W55334476 hasConceptScore W55334476C154945302 @default.
• W55334476 hasConceptScore W55334476C162670838 @default.
• W55334476 hasConceptScore W55334476C171018156 @default.
• W55334476 hasConceptScore W55334476C17231256 @default.
• W55334476 hasConceptScore W55334476C198008173 @default.
• W55334476 hasConceptScore W55334476C199360897 @default.
• W55334476 hasConceptScore W55334476C25016198 @default.
• W55334476 hasConceptScore W55334476C2524010 @default.
• W55334476 hasConceptScore W55334476C2776235265 @default.
• W55334476 hasConceptScore W55334476C33923547 @default.
• W55334476 hasConceptScore W55334476C41008148 @default.
• W55334476 hasConceptScore W55334476C4777664 @default.
• W55334476 hasConceptScore W55334476C69562738 @default.
• W55334476 hasConceptScore W55334476C77277458 @default.
• W55334476 hasConceptScore W55334476C80444323 @default.
• W55334476 hasLocation W553344761 @default.
• W55334476 hasOpenAccess W55334476 @default.
• W55334476 hasPrimaryLocation W553344761 @default.
• W55334476 hasRelatedWork W1501787710 @default.
• W55334476 hasRelatedWork W1520590293 @default.
• W55334476 hasRelatedWork W1523903952 @default.
• W55334476 hasRelatedWork W1537740740 @default.
• W55334476 hasRelatedWork W1539708367 @default.
• W55334476 hasRelatedWork W1539868891 @default.
• W55334476 hasRelatedWork W1981561399 @default.
• W55334476 hasRelatedWork W1992762998 @default.
• W55334476 hasRelatedWork W2026379532 @default.
• W55334476 hasRelatedWork W2041433942 @default.
• W55334476 hasRelatedWork W2045554431 @default.
• W55334476 hasRelatedWork W2106073504 @default.
• W55334476 hasRelatedWork W2112606422 @default.
• W55334476 hasRelatedWork W2131225255 @default.
• W55334476 hasRelatedWork W2136853317 @default.
• W55334476 hasRelatedWork W2138436353 @default.
• W55334476 hasRelatedWork W2152223820 @default.
• W55334476 hasRelatedWork W2157732181 @default.
• W55334476 hasRelatedWork W2206596198 @default.
• W55334476 hasRelatedWork W3142457772 @default.
• W55334476 isParatext "false" @default.
• W55334476 isRetracted "false" @default.

• next