{"title":"Formalizing Context for Domain Ontologies in Coq","authors":"R. Dapoigny, P. Barlatier","doi":"10.1007/978-1-4939-1887-4_27","DOIUrl":"https://doi.org/10.1007/978-1-4939-1887-4_27","url":null,"abstract":"","PeriodicalId":344732,"journal":{"name":"Context in Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130926296","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Context and Implicature","authors":"Luciana Benotti, P. Blackburn","doi":"10.1007/978-1-4939-1887-4_26","DOIUrl":"https://doi.org/10.1007/978-1-4939-1887-4_26","url":null,"abstract":"","PeriodicalId":344732,"journal":{"name":"Context in Computing","volume":"152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127510779","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Context and Granularity","authors":"H. Schmidtke","doi":"10.1007/978-1-4939-1887-4_28","DOIUrl":"https://doi.org/10.1007/978-1-4939-1887-4_28","url":null,"abstract":"","PeriodicalId":344732,"journal":{"name":"Context in Computing","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122849826","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Multi-context Logics - A General Introduction","authors":"Chiara Ghidini, L. Serafini","doi":"10.1007/978-1-4939-1887-4_24","DOIUrl":"https://doi.org/10.1007/978-1-4939-1887-4_24","url":null,"abstract":"","PeriodicalId":344732,"journal":{"name":"Context in Computing","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117011052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Context and Case-Based Reasoning","authors":"David B. Leake, V. Jalali","doi":"10.1007/978-1-4939-1887-4_29","DOIUrl":"https://doi.org/10.1007/978-1-4939-1887-4_29","url":null,"abstract":"","PeriodicalId":344732,"journal":{"name":"Context in Computing","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117238229","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Context and User-Centered Approaches: Icons in Cross-Cultural Context","authors":"Anneli Heimbürger, Y. Kiyoki","doi":"10.1007/978-1-4939-1887-4_20","DOIUrl":"https://doi.org/10.1007/978-1-4939-1887-4_20","url":null,"abstract":"","PeriodicalId":344732,"journal":{"name":"Context in Computing","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121650098","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Vaninha Vieira, Patrícia C. A. R. Tedesco, A. Salgado
{"title":"The CSS Design Process: On Supporting Context-Sensitive Systems Development","authors":"Vaninha Vieira, Patrícia C. A. R. Tedesco, A. Salgado","doi":"10.1007/978-1-4939-1887-4_2","DOIUrl":"https://doi.org/10.1007/978-1-4939-1887-4_2","url":null,"abstract":"","PeriodicalId":344732,"journal":{"name":"Context in Computing","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116381476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
H. Schmidtke, Haixia Yu, Pie Masomo, Andrew Kinai, Astrid Bicamumpaka Shema
{"title":"Contextual Reasoning in an Intelligent Electronic Patient Leaflet System","authors":"H. Schmidtke, Haixia Yu, Pie Masomo, Andrew Kinai, Astrid Bicamumpaka Shema","doi":"10.1007/978-1-4939-1887-4_34","DOIUrl":"https://doi.org/10.1007/978-1-4939-1887-4_34","url":null,"abstract":"","PeriodicalId":344732,"journal":{"name":"Context in Computing","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131333008","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Context-Driven Testing on the Cloud","authors":"Feras A. Batarseh","doi":"10.1007/978-1-4939-1887-4_3","DOIUrl":"https://doi.org/10.1007/978-1-4939-1887-4_3","url":null,"abstract":"","PeriodicalId":344732,"journal":{"name":"Context in Computing","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114173967","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}