{"id":"https://openalex.org/W2045914854","doi":"https://doi.org/10.1145/1877714.1877720","title":"Annotated probabilistic temporal logic","display_name":"Annotated probabilistic temporal logic","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2045914854","doi":"https://doi.org/10.1145/1877714.1877720","mag":"2045914854"},"language":"en","primary_location":{"id":"doi:10.1145/1877714.1877720","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1877714.1877720","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081115472","display_name":"Paulo Shakarian","orcid":"https://orcid.org/0000-0002-3159-4660"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Paulo Shakarian","raw_affiliation_strings":["University of Maryland"],"affiliations":[{"raw_affiliation_string":"University of Maryland","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110241655","display_name":"Austin Parker","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Austin Parker","raw_affiliation_strings":["University of Maryland"],"affiliations":[{"raw_affiliation_string":"University of Maryland","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079109547","display_name":"Gerardo I. Simari","orcid":"https://orcid.org/0000-0003-3185-4992"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gerardo Simari","raw_affiliation_strings":["University of Maryland"],"affiliations":[{"raw_affiliation_string":"University of Maryland","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035373723","display_name":"Venkatramana V. S. Subrahmanian","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Venkatramana V. S. Subrahmanian","raw_affiliation_strings":["University of Maryland"],"affiliations":[{"raw_affiliation_string":"University of Maryland","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5081115472"],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":null,"apc_paid":null,"fwci":3.1385,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.91602498,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"12","issue":"2","first_page":"1","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.6659876108169556},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6223151683807373},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.6002655029296875},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4967975914478302},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49061480164527893},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.4787111282348633},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4496399462223053},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.44381463527679443},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.4280601441860199},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3864036500453949},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31637465953826904},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24655389785766602},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.1986868679523468},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.09298914670944214}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6659876108169556},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6223151683807373},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.6002655029296875},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4967975914478302},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49061480164527893},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.4787111282348633},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4496399462223053},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.44381463527679443},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4280601441860199},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3864036500453949},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31637465953826904},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24655389785766602},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.1986868679523468},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.09298914670944214}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1877714.1877720","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1877714.1877720","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1878634852","display_name":null,"funder_award_id":"FA95500610405","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6613534130","display_name":null,"funder_award_id":"W911NF0910206","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G94556578","display_name":null,"funder_award_id":"N000140910685","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W31561947","https://openalex.org/W32083423","https://openalex.org/W64922474","https://openalex.org/W152120648","https://openalex.org/W193000491","https://openalex.org/W1500200176","https://openalex.org/W1503002024","https://openalex.org/W1511105469","https://openalex.org/W1538915033","https://openalex.org/W1541434994","https://openalex.org/W1577536563","https://openalex.org/W1593803408","https://openalex.org/W1605586974","https://openalex.org/W1664954204","https://openalex.org/W1801524325","https://openalex.org/W1853800150","https://openalex.org/W1906763968","https://openalex.org/W1911093312","https://openalex.org/W1964821516","https://openalex.org/W1966626765","https://openalex.org/W1974680648","https://openalex.org/W1976268573","https://openalex.org/W1987229782","https://openalex.org/W1996820391","https://openalex.org/W1998637316","https://openalex.org/W2000347860","https://openalex.org/W2005998857","https://openalex.org/W2030926579","https://openalex.org/W2041509965","https://openalex.org/W2043506905","https://openalex.org/W2059890614","https://openalex.org/W2062285040","https://openalex.org/W2064134784","https://openalex.org/W2067887313","https://openalex.org/W2069979244","https://openalex.org/W2076680677","https://openalex.org/W2078843353","https://openalex.org/W2083652965","https://openalex.org/W2098737431","https://openalex.org/W2120853830","https://openalex.org/W2122410182","https://openalex.org/W2126342987","https://openalex.org/W2131344174","https://openalex.org/W2135657750","https://openalex.org/W2149612380","https://openalex.org/W2165161585","https://openalex.org/W2165874398","https://openalex.org/W2166656159","https://openalex.org/W2169164747","https://openalex.org/W2169250070","https://openalex.org/W2172114884","https://openalex.org/W2182670256","https://openalex.org/W2334782222","https://openalex.org/W2611147814","https://openalex.org/W2623293810","https://openalex.org/W2914728526","https://openalex.org/W3015761148","https://openalex.org/W3022840914","https://openalex.org/W4206162359","https://openalex.org/W6684762820","https://openalex.org/W6703110798"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2031188261","https://openalex.org/W4232446061","https://openalex.org/W4285022830","https://openalex.org/W2020883449","https://openalex.org/W3035590440","https://openalex.org/W3205267199","https://openalex.org/W4386081380"],"abstract_inverted_index":{"The":[0,155],"semantics":[1,62,112],"of":[2,5,41,52,54,69,80,93,105,132,173],"most":[3],"logics":[4],"time":[6,33,53],"and":[7,87,108,115,138,147,153,168],"probability":[8,13],"is":[9,21],"given":[10],"via":[11],"a":[12,19,22,46,73,94,111,129,184],"distribution":[14],"over":[15],"threads":[16],",":[17],"where":[18],"thread":[20],"structure":[23],"specifying":[24],"what":[25],"will":[26,47],"be":[27],"true":[28],"at":[29],"different":[30,61,103],"points":[31],"in":[32,118,140],"(in":[34],"the":[35,39,67,78,90,98,171],"future).":[36],"When":[37],"assessing":[38,66],"probabilities":[40],"statements":[42],"such":[43,124],"as":[44],"\u201cEvent":[45],"occur":[48],"within":[49,72],"5":[50],"units":[51],"event":[55],"b":[56],",\u201d":[57],"there":[58],"are":[59,189],"many":[60],"possible,":[63],"even":[64],"when":[65],"truth":[68],"this":[70],"statement":[71],"single":[74],"thread.":[75],"We":[76,127,182],"introduce":[77,89],"syntax":[79],"annotated":[81],"probabilistic":[82],"temporal":[83],"(APT)":[84],"logic":[85,120,142,193],"programs":[86,121,176],"axiomatically":[88],"key":[91],"notion":[92],"frequency":[95,125],"function":[96],"(for":[97],"first":[99],"time)":[100],"to":[101,150,166,177],"capture":[102],"types":[104],"intrathread":[106,114],"reasoning,":[107],"then":[109,163],"provide":[110],"for":[113,135],"interthread":[116],"reasoning":[117],"APT":[119,141,192],"parameterized":[122],"by":[123],"functions.":[126],"develop":[128],"comprehensive":[130],"set":[131],"complexity":[133],"results":[134],"consistency":[136,152],"checking":[137],"entailment":[139],"programs,":[143],"together":[144],"with":[145],"sound":[146],"complete":[148],"algorithms":[149,157],"check":[151],"entailment.":[154],"basic":[156],"use":[158],"linear":[159,175],"programming,":[160],"but":[161],"we":[162,188],"show":[164],"how":[165],"substantially":[167],"correctly":[169],"reduce":[170],"sizes":[172],"these":[174],"yield":[178],"better":[179],"computational":[180],"properties.":[181],"describe":[183],"real":[185],"world":[186],"application":[187],"developing":[190],"using":[191],"programs.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}