FRINK Linked Data Fragments server

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

• W181851266 endingPage "453" @default.
• W181851266 startingPage "448" @default.
• W181851266 abstract "The context paradigm emerges from different areas of Artificial Intelligence. However, while significative formalizations have been proposed, contexts are either mapped on independent micro-theories or considered as different concurrent viewpoints with mappings between contexts to export/import knowledge. These logical formalisms focus on the semantic level and do not take into account dynamic low-level information such as those available from sensors. This information is a key element of contexts in pervasive computing environments. In this paper, we introduce a formal framework where the knowledge representation of context bridges the gap between semantic high-level and low-level knowledge. The logical reasoning based on intuitionistic type theory and the Curry-Howard isomorphism is able to incorporate expert knowledge as well as technical resources such as task properties. Based on our context model, we also present the foundations of a Context-Aware architecture (Softweaver) for building of context-aware services." @default.
• W181851266 created "2016-06-24" @default.
• W181851266 creator A5004353463 @default.
• W181851266 creator A5049593125 @default.
• W181851266 date "2007-01-01" @default.
• W181851266 modified "2023-09-25" @default.
• W181851266 title "Using Contexts to Prove and Share Situations." @default.
• W181851266 cites W1479846534 @default.
• W181851266 cites W1491810961 @default.
• W181851266 cites W1496245333 @default.
• W181851266 cites W1524953991 @default.
• W181851266 cites W1555476679 @default.
• W181851266 cites W1561988463 @default.
• W181851266 cites W1574222638 @default.
• W181851266 cites W1574381461 @default.
• W181851266 cites W1580325692 @default.
• W181851266 cites W159715351 @default.
• W181851266 cites W1820513038 @default.
• W181851266 cites W1882088395 @default.
• W181851266 cites W1889064639 @default.
• W181851266 cites W1995955735 @default.
• W181851266 cites W2080957047 @default.
• W181851266 cites W2106718208 @default.
• W181851266 cites W2124957697 @default.
• W181851266 cites W2135924382 @default.
• W181851266 cites W2152267651 @default.
• W181851266 cites W2168341937 @default.
• W181851266 cites W2240818974 @default.
• W181851266 cites W2527692831 @default.
• W181851266 cites W2912536603 @default.
• W181851266 cites W2785649064 @default.
• W181851266 hasPublicationYear "2007" @default.
• W181851266 type Work @default.
• W181851266 sameAs 181851266 @default.
• W181851266 citedByCount "2" @default.
• W181851266 crossrefType "proceedings-article" @default.
• W181851266 hasAuthorship W181851266A5004353463 @default.
• W181851266 hasAuthorship W181851266A5049593125 @default.
• W181851266 hasConcept C142362112 @default.
• W181851266 hasConcept C151730666 @default.
• W181851266 hasConcept C153349607 @default.
• W181851266 hasConcept C154945302 @default.
• W181851266 hasConcept C161301231 @default.
• W181851266 hasConcept C162324750 @default.
• W181851266 hasConcept C171018156 @default.
• W181851266 hasConcept C17744445 @default.
• W181851266 hasConcept C183322885 @default.
• W181851266 hasConcept C187736073 @default.
• W181851266 hasConcept C199539241 @default.
• W181851266 hasConcept C204321447 @default.
• W181851266 hasConcept C2522767166 @default.
• W181851266 hasConcept C2524010 @default.
• W181851266 hasConcept C2776035091 @default.
• W181851266 hasConcept C2776359362 @default.
• W181851266 hasConcept C2779343474 @default.
• W181851266 hasConcept C2780451532 @default.
• W181851266 hasConcept C2781238097 @default.
• W181851266 hasConcept C33923547 @default.
• W181851266 hasConcept C41008148 @default.
• W181851266 hasConcept C56739046 @default.
• W181851266 hasConcept C80444323 @default.
• W181851266 hasConcept C86803240 @default.
• W181851266 hasConcept C94625758 @default.
• W181851266 hasConceptScore W181851266C142362112 @default.
• W181851266 hasConceptScore W181851266C151730666 @default.
• W181851266 hasConceptScore W181851266C153349607 @default.
• W181851266 hasConceptScore W181851266C154945302 @default.
• W181851266 hasConceptScore W181851266C161301231 @default.
• W181851266 hasConceptScore W181851266C162324750 @default.
• W181851266 hasConceptScore W181851266C171018156 @default.
• W181851266 hasConceptScore W181851266C17744445 @default.
• W181851266 hasConceptScore W181851266C183322885 @default.
• W181851266 hasConceptScore W181851266C187736073 @default.
• W181851266 hasConceptScore W181851266C199539241 @default.
• W181851266 hasConceptScore W181851266C204321447 @default.
• W181851266 hasConceptScore W181851266C2522767166 @default.
• W181851266 hasConceptScore W181851266C2524010 @default.
• W181851266 hasConceptScore W181851266C2776035091 @default.
• W181851266 hasConceptScore W181851266C2776359362 @default.
• W181851266 hasConceptScore W181851266C2779343474 @default.
• W181851266 hasConceptScore W181851266C2780451532 @default.
• W181851266 hasConceptScore W181851266C2781238097 @default.
• W181851266 hasConceptScore W181851266C33923547 @default.
• W181851266 hasConceptScore W181851266C41008148 @default.
• W181851266 hasConceptScore W181851266C56739046 @default.
• W181851266 hasConceptScore W181851266C80444323 @default.
• W181851266 hasConceptScore W181851266C86803240 @default.
• W181851266 hasConceptScore W181851266C94625758 @default.
• W181851266 hasLocation W1818512661 @default.
• W181851266 hasOpenAccess W181851266 @default.
• W181851266 hasPrimaryLocation W1818512661 @default.
• W181851266 hasRelatedWork W123104270 @default.
• W181851266 hasRelatedWork W1562511997 @default.
• W181851266 hasRelatedWork W1571842175 @default.
• W181851266 hasRelatedWork W1607204066 @default.
• W181851266 hasRelatedWork W1750537857 @default.
• W181851266 hasRelatedWork W177074109 @default.
• W181851266 hasRelatedWork W2167039215 @default.

• next