{"id":"https://openalex.org/W2911540882","doi":"https://doi.org/10.4149/cai_2018_6_1411","title":"Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction","display_name":"Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2911540882","doi":"https://doi.org/10.4149/cai_2018_6_1411","mag":"2911540882"},"language":"en","primary_location":{"id":"doi:10.4149/cai_2018_6_1411","is_oa":true,"landing_page_url":"https://doi.org/10.4149/cai_2018_6_1411","pdf_url":null,"source":{"id":"https://openalex.org/S4210200093","display_name":"Computing and Informatics","issn_l":"1335-9150","issn":["1335-9150","2585-8807"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computing and Informatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4149/cai_2018_6_1411","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049843700","display_name":"Darine Ameyed","orcid":"https://orcid.org/0000-0003-2531-7736"},"institutions":[{"id":"https://openalex.org/I159129438","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al","ror":"https://ror.org/002rjbv21","country_code":"CA","type":"education","lineage":["https://openalex.org/I159129438","https://openalex.org/I49663120"]},{"id":"https://openalex.org/I9736820","display_name":"\u00c9cole de Technologie Sup\u00e9rieure","ror":"https://ror.org/0020snb74","country_code":"CA","type":"education","lineage":["https://openalex.org/I49663120","https://openalex.org/I9736820"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Darine Ameyed","raw_affiliation_strings":["Synchromedia Laboratory, Quebec University, \u00c9cole de Technologie Sup\u00e9rieure, Montr\u00e9al"],"affiliations":[{"raw_affiliation_string":"Synchromedia Laboratory, Quebec University, \u00c9cole de Technologie Sup\u00e9rieure, Montr\u00e9al","institution_ids":["https://openalex.org/I9736820","https://openalex.org/I159129438"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021783493","display_name":"Moeiz Miraoui","orcid":"https://orcid.org/0000-0003-2220-8673"},"institutions":[{"id":"https://openalex.org/I35845393","display_name":"University of Gafsa","ror":"https://ror.org/01kzjzn40","country_code":"TN","type":"education","lineage":["https://openalex.org/I35845393"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Moeiz Miraoui","raw_affiliation_strings":["Higher Institute of Applied Science and Technology of Gafsa, University of Gafsa"],"affiliations":[{"raw_affiliation_string":"Higher Institute of Applied Science and Technology of Gafsa, University of Gafsa","institution_ids":["https://openalex.org/I35845393"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012608509","display_name":"Atef Zaguia","orcid":"https://orcid.org/0000-0001-9519-3391"},"institutions":[{"id":"https://openalex.org/I179331831","display_name":"Taif University","ror":"https://ror.org/014g1a453","country_code":"SA","type":"education","lineage":["https://openalex.org/I179331831"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Atef Zaguia","raw_affiliation_strings":["College of Computers and Information Technology, Taif University, Hawiyah, Taif"],"affiliations":[{"raw_affiliation_string":"College of Computers and Information Technology, Taif University, Hawiyah, Taif","institution_ids":["https://openalex.org/I179331831"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056579450","display_name":"Fehmi Jaafar","orcid":"https://orcid.org/0000-0002-1797-3840"},"institutions":[{"id":"https://openalex.org/I131564278","display_name":"Concordia University of Edmonton","ror":"https://ror.org/04013rx15","country_code":"CA","type":"education","lineage":["https://openalex.org/I131564278"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Fehmi Jaafar","raw_affiliation_strings":["Faculty of Management of Concordia University of Edmonton"],"affiliations":[{"raw_affiliation_string":"Faculty of Management of Concordia University of Edmonton","institution_ids":["https://openalex.org/I131564278"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058606862","display_name":"Chakib Tadj","orcid":"https://orcid.org/0000-0002-3322-4882"},"institutions":[{"id":"https://openalex.org/I159129438","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al","ror":"https://ror.org/002rjbv21","country_code":"CA","type":"education","lineage":["https://openalex.org/I159129438","https://openalex.org/I49663120"]},{"id":"https://openalex.org/I9736820","display_name":"\u00c9cole de Technologie Sup\u00e9rieure","ror":"https://ror.org/0020snb74","country_code":"CA","type":"education","lineage":["https://openalex.org/I49663120","https://openalex.org/I9736820"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Chakib Tadj","raw_affiliation_strings":["MMS Laboratory, Quebec University, \u00c9cole de Technologie Sup\u00e9rieure, Montr\u00e9al"],"affiliations":[{"raw_affiliation_string":"MMS Laboratory, Quebec University, \u00c9cole de Technologie Sup\u00e9rieure, Montr\u00e9al","institution_ids":["https://openalex.org/I9736820","https://openalex.org/I159129438"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5049843700"],"corresponding_institution_ids":["https://openalex.org/I159129438","https://openalex.org/I9736820"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.17270682,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"37","issue":"6","first_page":"1411","last_page":"1442"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9890999794006348,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.8206198215484619},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.8122237920761108},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7688369154930115},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7205138206481934},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6822043657302856},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6610667705535889},{"id":"https://openalex.org/keywords/probabilistic-argumentation","display_name":"Probabilistic argumentation","score":0.5557674765586853},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.48577073216438293},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.469682514667511},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4677906930446625},{"id":"https://openalex.org/keywords/probabilistic-relevance-model","display_name":"Probabilistic relevance model","score":0.4538794755935669},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.43643954396247864},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.43028995394706726},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3938669264316559},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.2056017816066742}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8206198215484619},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.8122237920761108},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7688369154930115},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7205138206481934},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6822043657302856},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6610667705535889},{"id":"https://openalex.org/C128828806","wikidata":"https://www.wikidata.org/wiki/Q7246848","display_name":"Probabilistic argumentation","level":3,"score":0.5557674765586853},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.48577073216438293},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.469682514667511},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4677906930446625},{"id":"https://openalex.org/C143017306","wikidata":"https://www.wikidata.org/wiki/Q3318133","display_name":"Probabilistic relevance model","level":4,"score":0.4538794755935669},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43643954396247864},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.43028995394706726},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3938669264316559},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.2056017816066742},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4149/cai_2018_6_1411","is_oa":true,"landing_page_url":"https://doi.org/10.4149/cai_2018_6_1411","pdf_url":null,"source":{"id":"https://openalex.org/S4210200093","display_name":"Computing and Informatics","issn_l":"1335-9150","issn":["1335-9150","2585-8807"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computing and Informatics","raw_type":"journal-article"},{"id":"pmh:oai:espace2.etsmtl.ca:18349","is_oa":false,"landing_page_url":"http://espace2.etsmtl.ca/id/eprint/18349/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402392","display_name":"Espace \u00c9TS (ETS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1341030882","host_organization_name":"Educational Testing Service","host_organization_lineage":["https://openalex.org/I1341030882"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article publi\u00e9 dans une revue, r\u00e9vis\u00e9 par les pairs"}],"best_oa_location":{"id":"doi:10.4149/cai_2018_6_1411","is_oa":true,"landing_page_url":"https://doi.org/10.4149/cai_2018_6_1411","pdf_url":null,"source":{"id":"https://openalex.org/S4210200093","display_name":"Computing and Informatics","issn_l":"1335-9150","issn":["1335-9150","2585-8807"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computing and Informatics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W189948524","https://openalex.org/W1487370201","https://openalex.org/W1547090979","https://openalex.org/W1556729131","https://openalex.org/W1667137045","https://openalex.org/W1776176641","https://openalex.org/W1991057318","https://openalex.org/W2014084036","https://openalex.org/W2051096380","https://openalex.org/W2074308664","https://openalex.org/W2095602520","https://openalex.org/W2097271450","https://openalex.org/W2101348982","https://openalex.org/W2107852955","https://openalex.org/W2110323376","https://openalex.org/W2116636079","https://openalex.org/W2118999969","https://openalex.org/W2125410340","https://openalex.org/W2151980919","https://openalex.org/W2153151166","https://openalex.org/W2164463086","https://openalex.org/W2345690959","https://openalex.org/W2399532660","https://openalex.org/W2404150556","https://openalex.org/W2502093604","https://openalex.org/W2502490444","https://openalex.org/W2526926862","https://openalex.org/W2803993242"],"related_works":["https://openalex.org/W4238495367","https://openalex.org/W2749065928","https://openalex.org/W2225666389","https://openalex.org/W3005864166","https://openalex.org/W1981889059","https://openalex.org/W3214184572","https://openalex.org/W1499367685","https://openalex.org/W2371210594","https://openalex.org/W3149394920","https://openalex.org/W2532582634"],"abstract_inverted_index":{"Context":[0],"prediction":[1,23,46,136],"is":[2,60,93],"a":[3,8,25,40,48,68,99,103,106,113,117],"promoting":[4],"research":[5],"topic":[6],"with":[7,15,78,105],"lot":[9],"of":[10,19,32,84,116,132],"challenges":[11],"and":[12,52,67,81],"opportunities.":[13],"Indeed,":[14],"the":[16,30,79,85,89,133],"constant":[17],"evolution":[18],"context-aware":[20],"systems,":[21],"context":[22,45,119],"remains":[24],"complex":[26],"task":[27],"due":[28],"to":[29,43,62,76,129],"lack":[31],"formal":[33,114],"approach.":[34],"In":[35],"this":[36],"paper,":[37],"we":[38],"propose":[39],"new":[41,110],"approach":[42,111],"enhance":[44],"using":[47],"probabilistic":[49,56,90,100],"temporal":[50,57,72],"logic":[51,58,73],"model":[53,91,126],"checking.":[54],"The":[55],"PCTL":[59],"used":[61,94],"provide":[63],"an":[64],"efficient":[65],"expressivity":[66,115],"reasoning":[69],"based":[70],"on":[71,122],"in":[74],"order":[75],"fit":[77],"dynamic":[80],"non-deterministic":[82],"nature":[83],"system's":[86],"environment.":[87],"Whereas,":[88],"checking":[92],"for":[95],"automatically":[96],"verifying":[97],"that":[98],"system":[101],"satisfies":[102],"property":[104],"given":[107],"likelihood.":[108],"Our":[109],"allows":[112],"multidimensional":[118],"prediction.":[120],"Tested":[121],"real":[123],"data":[124],"our":[125],"was":[127],"able":[128],"achieve":[130],"78%":[131],"future":[134],"activities":[135],"accuracy.":[137]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}