{"id":"https://openalex.org/W2011593799","doi":"https://doi.org/10.1007/s10472-012-9307-9","title":"A propositional probabilistic logic with discrete linear time for reasoning about evidence","display_name":"A propositional probabilistic logic with discrete linear time for reasoning about evidence","publication_year":2012,"publication_date":"2012-08-23","ids":{"openalex":"https://openalex.org/W2011593799","doi":"https://doi.org/10.1007/s10472-012-9307-9","mag":"2011593799"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-012-9307-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-012-9307-9","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","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/A5084703327","display_name":"Zoran Ognjanovi\u0107","orcid":"https://orcid.org/0000-0003-2508-6480"},"institutions":[{"id":"https://openalex.org/I1338511612","display_name":"Serbian Academy of Sciences and Arts","ror":"https://ror.org/05m1y4204","country_code":"RS","type":"government","lineage":["https://openalex.org/I1338511612"]}],"countries":["RS"],"is_corresponding":true,"raw_author_name":"Zoran Ognjanovi\u0107","raw_affiliation_strings":["Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia","Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000, Belgrade, Serbia","Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia 11000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia","institution_ids":["https://openalex.org/I1338511612"]},{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000, Belgrade, Serbia","institution_ids":["https://openalex.org/I1338511612"]},{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia 11000","institution_ids":["https://openalex.org/I1338511612"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077823854","display_name":"Zoran Markovi\u0107","orcid":"https://orcid.org/0000-0001-5964-049X"},"institutions":[{"id":"https://openalex.org/I1338511612","display_name":"Serbian Academy of Sciences and Arts","ror":"https://ror.org/05m1y4204","country_code":"RS","type":"government","lineage":["https://openalex.org/I1338511612"]}],"countries":["RS"],"is_corresponding":true,"raw_author_name":"Zoran Markovi\u0107","raw_affiliation_strings":["Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia","Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000, Belgrade, Serbia","Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia 11000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia","institution_ids":["https://openalex.org/I1338511612"]},{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000, Belgrade, Serbia","institution_ids":["https://openalex.org/I1338511612"]},{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia 11000","institution_ids":["https://openalex.org/I1338511612"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057630815","display_name":"Miodrag Ra\u0161kovi\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I1338511612","display_name":"Serbian Academy of Sciences and Arts","ror":"https://ror.org/05m1y4204","country_code":"RS","type":"government","lineage":["https://openalex.org/I1338511612"]}],"countries":["RS"],"is_corresponding":true,"raw_author_name":"Miodrag Ra\u0161kovi\u0107","raw_affiliation_strings":["Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia","Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000, Belgrade, Serbia","Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia 11000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia","institution_ids":["https://openalex.org/I1338511612"]},{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000, Belgrade, Serbia","institution_ids":["https://openalex.org/I1338511612"]},{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia 11000","institution_ids":["https://openalex.org/I1338511612"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010720497","display_name":"Dragan Doder","orcid":"https://orcid.org/0000-0002-9510-7518"},"institutions":[{"id":"https://openalex.org/I4068193","display_name":"University of Belgrade","ror":"https://ror.org/02qsmb048","country_code":"RS","type":"education","lineage":["https://openalex.org/I4068193"]}],"countries":["RS"],"is_corresponding":true,"raw_author_name":"Dragan Doder","raw_affiliation_strings":["University of Belgrade, Faculty of Mechanical Engineering, Belgrade, Serbia","University of Belgrade, Faculty of Mechanical Engineering, Kraljice Marije 16, 11120, Belgrade, Serbia","University of Belgrade, Faculty of Mechanical Engineering, Belgrade, Serbia 11120"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Belgrade, Faculty of Mechanical Engineering, Belgrade, Serbia","institution_ids":["https://openalex.org/I4068193"]},{"raw_affiliation_string":"University of Belgrade, Faculty of Mechanical Engineering, Kraljice Marije 16, 11120, Belgrade, Serbia","institution_ids":["https://openalex.org/I4068193"]},{"raw_affiliation_string":"University of Belgrade, Faculty of Mechanical Engineering, Belgrade, Serbia 11120","institution_ids":["https://openalex.org/I4068193"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003303052","display_name":"Aleksandar Perovi\u0107","orcid":"https://orcid.org/0000-0002-8326-8007"},"institutions":[{"id":"https://openalex.org/I4068193","display_name":"University of Belgrade","ror":"https://ror.org/02qsmb048","country_code":"RS","type":"education","lineage":["https://openalex.org/I4068193"]}],"countries":["RS"],"is_corresponding":true,"raw_author_name":"Aleksandar Perovi\u0107","raw_affiliation_strings":["University of Belgrade, Faculty of Transportation and Traffic Engineering, Belgrade, Serbia","University of Belgrade, Faculty of Transportation and Traffic Engineering, Vojvode Stepe 305, 11000, Belgrade, Serbia","University of Belgrade, Faculty of Transportation and Traffic Engineering, Belgrade, Serbia 11000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Belgrade, Faculty of Transportation and Traffic Engineering, Belgrade, Serbia","institution_ids":["https://openalex.org/I4068193"]},{"raw_affiliation_string":"University of Belgrade, Faculty of Transportation and Traffic Engineering, Vojvode Stepe 305, 11000, Belgrade, Serbia","institution_ids":["https://openalex.org/I4068193"]},{"raw_affiliation_string":"University of Belgrade, Faculty of Transportation and Traffic Engineering, Belgrade, Serbia 11000","institution_ids":["https://openalex.org/I4068193"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5003303052","https://openalex.org/A5010720497","https://openalex.org/A5057630815","https://openalex.org/A5077823854","https://openalex.org/A5084703327"],"corresponding_institution_ids":["https://openalex.org/I1338511612","https://openalex.org/I4068193"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.3292,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.83369065,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.998199999332428,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.989799976348877,"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/decidability","display_name":"Decidability","score":0.8407118916511536},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7203482389450073},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5149710774421692},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.48319780826568604},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46092531085014343},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4566463828086853},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.4546802341938019},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.42358654737472534},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.41895249485969543},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4153140187263489},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35999542474746704},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3407600224018097},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3275933265686035},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.32157236337661743},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.23851609230041504},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.10694971680641174}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8407118916511536},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7203482389450073},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5149710774421692},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.48319780826568604},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46092531085014343},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4566463828086853},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.4546802341938019},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.42358654737472534},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.41895249485969543},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4153140187263489},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35999542474746704},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3407600224018097},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3275933265686035},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.32157236337661743},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.23851609230041504},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.10694971680641174}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10472-012-9307-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-012-9307-9","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.4099999964237213}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334771","display_name":"Science and Engineering Research Board","ror":"https://ror.org/03ffdsr55"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W34477560","https://openalex.org/W50233445","https://openalex.org/W63715920","https://openalex.org/W77745017","https://openalex.org/W251225716","https://openalex.org/W651415095","https://openalex.org/W942715473","https://openalex.org/W1485840650","https://openalex.org/W1488267121","https://openalex.org/W1503002024","https://openalex.org/W1526328753","https://openalex.org/W1566551935","https://openalex.org/W1567452806","https://openalex.org/W1571059814","https://openalex.org/W1772032670","https://openalex.org/W1872012219","https://openalex.org/W1982302236","https://openalex.org/W1988669396","https://openalex.org/W2004306067","https://openalex.org/W2008960163","https://openalex.org/W2014322692","https://openalex.org/W2024016985","https://openalex.org/W2053576212","https://openalex.org/W2055987169","https://openalex.org/W2072887965","https://openalex.org/W2076572334","https://openalex.org/W2088994048","https://openalex.org/W2090424995","https://openalex.org/W2098171268","https://openalex.org/W2112547704","https://openalex.org/W2132750992","https://openalex.org/W2153737593","https://openalex.org/W2157319504","https://openalex.org/W2164296059","https://openalex.org/W2169250070","https://openalex.org/W2176705267","https://openalex.org/W2319388297","https://openalex.org/W2396555304","https://openalex.org/W2797148637","https://openalex.org/W2903720301","https://openalex.org/W2914728526","https://openalex.org/W3023128934","https://openalex.org/W4205973993","https://openalex.org/W4231637760","https://openalex.org/W4253268390","https://openalex.org/W4285719527","https://openalex.org/W4301347335","https://openalex.org/W4388294888"],"related_works":["https://openalex.org/W4251854500","https://openalex.org/W1986625420","https://openalex.org/W4232875954","https://openalex.org/W3200682096","https://openalex.org/W2335620825","https://openalex.org/W2243447688","https://openalex.org/W2056547264","https://openalex.org/W100309281","https://openalex.org/W2383907964","https://openalex.org/W2402893585"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}