FRINK Linked Data Fragments server

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

• W45187631 abstract "Logics for time intervals provide a natural framework for representing and reasoning about timing properties in various areas of artificial intelligence and computer science. Unfortunately, most time interval logics proposed in the literature are (highly) undecidable. Decidable fragments of these logics have been obtained by imposing severe restrictions on their expressive power. In this paper, we focus our attention on the propositional fragment of Neighborhood Logic (PNL for short). We show that PNL is expressive enough to capture meaningful timing properties and that it is decidable. Decidability is proved by developing an original tableau decision method for PNL. We conclude the paper by pointing out interesting relationships between PNL and compass logics for spatial reasoning." @default.
• W45187631 created "2016-06-24" @default.
• W45187631 creator A5003911860 @default.
• W45187631 creator A5015702335 @default.
• W45187631 date "2002-01-01" @default.
• W45187631 modified "2023-09-27" @default.
• W45187631 title "A Decidable Logic for Time Intervals: Propositional Neighborhood Logic" @default.
• W45187631 cites W1541152994 @default.
• W45187631 cites W1978654873 @default.
• W45187631 cites W1986177331 @default.
• W45187631 cites W1992212585 @default.
• W45187631 cites W2011132281 @default.
• W45187631 cites W2092486735 @default.
• W45187631 cites W2103976539 @default.
• W45187631 cites W2123970780 @default.
• W45187631 cites W2141330622 @default.
• W45187631 cites W2165874398 @default.
• W45187631 cites W2167467151 @default.
• W45187631 cites W3296631 @default.
• W45187631 cites W2473961373 @default.
• W45187631 hasPublicationYear "2002" @default.
• W45187631 type Work @default.
• W45187631 sameAs 45187631 @default.
• W45187631 citedByCount "2" @default.
• W45187631 countsByYear W451876312015 @default.
• W45187631 crossrefType "journal-article" @default.
• W45187631 hasAuthorship W45187631A5003911860 @default.
• W45187631 hasAuthorship W45187631A5015702335 @default.
• W45187631 hasConcept C102993220 @default.
• W45187631 hasConcept C110251889 @default.
• W45187631 hasConcept C11413529 @default.
• W45187631 hasConcept C120665830 @default.
• W45187631 hasConcept C121332964 @default.
• W45187631 hasConcept C153269930 @default.
• W45187631 hasConcept C154945302 @default.
• W45187631 hasConcept C162670838 @default.
• W45187631 hasConcept C165801399 @default.
• W45187631 hasConcept C172385210 @default.
• W45187631 hasConcept C192034797 @default.
• W45187631 hasConcept C192209626 @default.
• W45187631 hasConcept C195818886 @default.
• W45187631 hasConcept C199360897 @default.
• W45187631 hasConcept C203659156 @default.
• W45187631 hasConcept C25016198 @default.
• W45187631 hasConcept C2776235265 @default.
• W45187631 hasConcept C2777796570 @default.
• W45187631 hasConcept C3845977 @default.
• W45187631 hasConcept C41008148 @default.
• W45187631 hasConcept C42011625 @default.
• W45187631 hasConcept C5263885 @default.
• W45187631 hasConcept C58166 @default.
• W45187631 hasConcept C62520636 @default.
• W45187631 hasConcept C69562738 @default.
• W45187631 hasConcept C80444323 @default.
• W45187631 hasConcept C86602344 @default.
• W45187631 hasConceptScore W45187631C102993220 @default.
• W45187631 hasConceptScore W45187631C110251889 @default.
• W45187631 hasConceptScore W45187631C11413529 @default.
• W45187631 hasConceptScore W45187631C120665830 @default.
• W45187631 hasConceptScore W45187631C121332964 @default.
• W45187631 hasConceptScore W45187631C153269930 @default.
• W45187631 hasConceptScore W45187631C154945302 @default.
• W45187631 hasConceptScore W45187631C162670838 @default.
• W45187631 hasConceptScore W45187631C165801399 @default.
• W45187631 hasConceptScore W45187631C172385210 @default.
• W45187631 hasConceptScore W45187631C192034797 @default.
• W45187631 hasConceptScore W45187631C192209626 @default.
• W45187631 hasConceptScore W45187631C195818886 @default.
• W45187631 hasConceptScore W45187631C199360897 @default.
• W45187631 hasConceptScore W45187631C203659156 @default.
• W45187631 hasConceptScore W45187631C25016198 @default.
• W45187631 hasConceptScore W45187631C2776235265 @default.
• W45187631 hasConceptScore W45187631C2777796570 @default.
• W45187631 hasConceptScore W45187631C3845977 @default.
• W45187631 hasConceptScore W45187631C41008148 @default.
• W45187631 hasConceptScore W45187631C42011625 @default.
• W45187631 hasConceptScore W45187631C5263885 @default.
• W45187631 hasConceptScore W45187631C58166 @default.
• W45187631 hasConceptScore W45187631C62520636 @default.
• W45187631 hasConceptScore W45187631C69562738 @default.
• W45187631 hasConceptScore W45187631C80444323 @default.
• W45187631 hasConceptScore W45187631C86602344 @default.
• W45187631 hasLocation W451876311 @default.
• W45187631 hasOpenAccess W45187631 @default.
• W45187631 hasPrimaryLocation W451876311 @default.
• W45187631 hasRelatedWork W1482158979 @default.
• W45187631 hasRelatedWork W1489282475 @default.
• W45187631 hasRelatedWork W1512728698 @default.
• W45187631 hasRelatedWork W1570172018 @default.
• W45187631 hasRelatedWork W1581615816 @default.
• W45187631 hasRelatedWork W1805258570 @default.
• W45187631 hasRelatedWork W1984502727 @default.
• W45187631 hasRelatedWork W1991802248 @default.
• W45187631 hasRelatedWork W2000567285 @default.
• W45187631 hasRelatedWork W2065380071 @default.
• W45187631 hasRelatedWork W2105983409 @default.
• W45187631 hasRelatedWork W2120015120 @default.
• W45187631 hasRelatedWork W2148033627 @default.
• W45187631 hasRelatedWork W2205265967 @default.
• W45187631 hasRelatedWork W2253676323 @default.

• next