{"id":"https://openalex.org/W2949259295","doi":"https://doi.org/10.1145/3341725","title":"Probabilistic Epistemic Updates on Algebras","display_name":"Probabilistic Epistemic Updates on Algebras","publication_year":2019,"publication_date":"2019-08-21","ids":{"openalex":"https://openalex.org/W2949259295","doi":"https://doi.org/10.1145/3341725","mag":"2949259295"},"language":"en","primary_location":{"id":"doi:10.1145/3341725","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3341725","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":"preprint","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.vu.nl/ws/files/105375837/Probabilistic_Epistemic_Updates_on_Algebras.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037378549","display_name":"Willem Conradie","orcid":"https://orcid.org/0000-0001-9906-4132"},"institutions":[{"id":"https://openalex.org/I192619145","display_name":"University of the Witwatersrand","ror":"https://ror.org/03rp50x72","country_code":"ZA","type":"education","lineage":["https://openalex.org/I192619145"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"Willem Conradie","raw_affiliation_strings":["School of Mathematics, University of the Witwatersrand, South Johannesburg, South Africa","School of Mathematics, University of the Witwatersrand, South Johannesburg, South Africa#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Mathematics, University of the Witwatersrand, South Johannesburg, South Africa","institution_ids":["https://openalex.org/I192619145"]},{"raw_affiliation_string":"School of Mathematics, University of the Witwatersrand, South Johannesburg, South Africa#TAB#","institution_ids":["https://openalex.org/I192619145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048130519","display_name":"Sabine Frittella","orcid":"https://orcid.org/0000-0003-4736-8614"},"institutions":[{"id":"https://openalex.org/I12449238","display_name":"Universit\u00e9 d'Orl\u00e9ans","ror":"https://ror.org/014zrew76","country_code":"FR","type":"education","lineage":["https://openalex.org/I12449238"]},{"id":"https://openalex.org/I4210129154","display_name":"Centre Val de Loire","ror":"https://ror.org/03ntmtb29","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210088668","https://openalex.org/I4210129154"]},{"id":"https://openalex.org/I4210143826","display_name":"Institut National des Sciences Appliqu\u00e9es Centre Val de Loire","ror":"https://ror.org/03y0qc033","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210143826"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sabine Frittella","raw_affiliation_strings":["INSA Centre Val de Loire, Univ. Orl\u00e9ans, LIFO EA 4022, Bourges, France","INSA Centre Val de Loire, Univ. Orl\u00e9ans, LIFO, EA 4022, Bourges, France#TAB#"],"affiliations":[{"raw_affiliation_string":"INSA Centre Val de Loire, Univ. Orl\u00e9ans, LIFO EA 4022, Bourges, France","institution_ids":["https://openalex.org/I4210129154","https://openalex.org/I4210143826","https://openalex.org/I12449238"]},{"raw_affiliation_string":"INSA Centre Val de Loire, Univ. Orl\u00e9ans, LIFO, EA 4022, Bourges, France#TAB#","institution_ids":["https://openalex.org/I4210129154","https://openalex.org/I4210143826","https://openalex.org/I12449238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047149000","display_name":"Alessandra Palmigiano","orcid":"https://orcid.org/0000-0001-9656-7527"},"institutions":[{"id":"https://openalex.org/I24027795","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17","country_code":"ZA","type":"education","lineage":["https://openalex.org/I24027795"]},{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL","ZA"],"is_corresponding":false,"raw_author_name":"Alessandra Palmigiano","raw_affiliation_strings":["Faculty of Technology, Policy and Management, Delft University of Technology, the Netherlands and Department of Pure and Applied Mathematics, University of Johannesburg, South Africa","Faculty of Technology, Policy and Management, Delft University of Technology, the Netherlands and Department of Pure and Applied Mathematics, University of Johannesburg, South Africa#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Technology, Policy and Management, Delft University of Technology, the Netherlands and Department of Pure and Applied Mathematics, University of Johannesburg, South Africa","institution_ids":["https://openalex.org/I24027795","https://openalex.org/I98358874"]},{"raw_affiliation_string":"Faculty of Technology, Policy and Management, Delft University of Technology, the Netherlands and Department of Pure and Applied Mathematics, University of Johannesburg, South Africa#TAB#","institution_ids":["https://openalex.org/I24027795","https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030472587","display_name":"Apostolos Tzimoulis","orcid":"https://orcid.org/0000-0002-6228-4198"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Apostolos Tzimoulis","raw_affiliation_strings":["School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018810337","display_name":"Nachoem M. Wijnberg","orcid":"https://orcid.org/0000-0001-8070-8719"},"institutions":[{"id":"https://openalex.org/I24027795","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17","country_code":"ZA","type":"education","lineage":["https://openalex.org/I24027795"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL","ZA"],"is_corresponding":false,"raw_author_name":"Nachoem Wijnberg","raw_affiliation_strings":["Amsterdam Business School, University of Amsterdam, the Netherlands, College of Business and Economics, University of Johannesburg, Johannesburg, South Africa","Amsterdam Business School, University of Amsterdam, the Netherlands, College of Business and Economics, University of Johannesburg, Johannesburg, South Africa#TAB#"],"affiliations":[{"raw_affiliation_string":"Amsterdam Business School, University of Amsterdam, the Netherlands, College of Business and Economics, University of Johannesburg, Johannesburg, South Africa","institution_ids":["https://openalex.org/I24027795","https://openalex.org/I887064364"]},{"raw_affiliation_string":"Amsterdam Business School, University of Amsterdam, the Netherlands, College of Business and Economics, University of Johannesburg, Johannesburg, South Africa#TAB#","institution_ids":["https://openalex.org/I24027795","https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5037378549"],"corresponding_institution_ids":["https://openalex.org/I192619145"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05353052,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"4","first_page":"1","last_page":"75"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9979000091552734,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9944000244140625,"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/soundness","display_name":"Soundness","score":0.8114619255065918},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7226847410202026},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6470890045166016},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.5976989269256592},{"id":"https://openalex.org/keywords/duality","display_name":"Duality (order theory)","score":0.4616618752479553},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4597404897212982},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4596947729587555},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.45961353182792664},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.42803236842155457},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4106501340866089},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.38341468572616577},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3741234540939331},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3660898804664612},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2581580877304077},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22532722353935242},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.14153555035591125},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11828073859214783},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09544563293457031}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8114619255065918},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7226847410202026},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6470890045166016},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5976989269256592},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.4616618752479553},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4597404897212982},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4596947729587555},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.45961353182792664},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.42803236842155457},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4106501340866089},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.38341468572616577},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3741234540939331},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3660898804664612},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2581580877304077},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22532722353935242},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.14153555035591125},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11828073859214783},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09544563293457031},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1145/3341725","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3341725","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"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/703b0b6f-ce79-4e17-8b7c-6f692c361796","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/probabilistic-epistemic-updates-on-algebras(703b0b6f-ce79-4e17-8b7c-6f692c361796).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Conradie, W, Frittella, S, Palmigiano, A, Tzimoulis, A & Wijnberg, N 2019, 'Probabilistic epistemic updates on algebras', ACM Transactions on Computational Logic, vol. 20, no. 4, 24. https://doi.org/10.1145/3341725","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.vu.nl:publications/ceae47ca-6fe0-444b-af83-14e3cb13f7d3","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/ceae47ca-6fe0-444b-af83-14e3cb13f7d3","pdf_url":"https://research.vu.nl/ws/files/105375837/Probabilistic_Epistemic_Updates_on_Algebras.pdf","source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Conradie , W , Frittella , S , Palmigiano , A , Tzimoulis , A & Wijnberg , N 2019 , ' Probabilistic epistemic updates on algebras ' , ACM Transactions on Computational Logic , vol. 20 , no. 4 , 24 , pp. 1-75 . https://doi.org/10.1145/3341725","raw_type":"article"},{"id":"pmh:oai:HAL:hal-02973836v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02973836","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Computational Logic, 2019, 20 (4), pp.1-75. ⟨10.1145/3341725⟩","raw_type":"Journal articles"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/539973de-be05-4625-a845-71f42205041c","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/539973de-be05-4625-a845-71f42205041c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Conradie , W , Frittella , S , Palmigiano , A & Tzimoulis , A 2015 , Probabilistic epistemic updates on algebras . in W-F Wang , W van der Hoek & W H Holliday (eds) , Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 9394 , Springer Verlag , pp. 64-76 , 5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 , Taipei , Taiwan, Province of China , 28/10/15 . https://doi.org/10.1007/978-3-662-48561-3_6","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:research.vu.nl:publications/539973de-be05-4625-a845-71f42205041c","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=84951133546&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Conradie , W , Frittella , S , Palmigiano , A & Tzimoulis , A 2015 , Probabilistic epistemic updates on algebras . in W-F Wang , W van der Hoek & W H Holliday (eds) , Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 9394 , Springer Verlag , pp. 64-76 , 5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 , Taipei , Taiwan, Province of China , 28/10/15 . https://doi.org/10.1007/978-3-662-48561-3_6","raw_type":"contributionToPeriodical"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/703b0b6f-ce79-4e17-8b7c-6f692c361796","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/probabilistic-epistemic-updates-on-algebras(703b0b6f-ce79-4e17-8b7c-6f692c361796).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Computational Logic, 20(4):24. Association for Computing Machinery (ACM)","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.1612.05267","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1612.05267","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"mag:2949259295","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:publications/ceae47ca-6fe0-444b-af83-14e3cb13f7d3","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/ceae47ca-6fe0-444b-af83-14e3cb13f7d3","pdf_url":"https://research.vu.nl/ws/files/105375837/Probabilistic_Epistemic_Updates_on_Algebras.pdf","source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Conradie , W , Frittella , S , Palmigiano , A , Tzimoulis , A & Wijnberg , N 2019 , ' Probabilistic epistemic updates on algebras ' , ACM Transactions on Computational Logic , vol. 20 , no. 4 , 24 , pp. 1-75 . https://doi.org/10.1145/3341725","raw_type":"article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2314801974","display_name":null,"funder_award_id":"Aspasia","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4484896634","display_name":null,"funder_award_id":"016.138.314","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4623480208","display_name":null,"funder_award_id":"NWO Vidi","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G516945669","display_name":null,"funder_award_id":"015.008.054","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2949259295.pdf","grobid_xml":"https://content.openalex.org/works/W2949259295.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W639782591","https://openalex.org/W1518725080","https://openalex.org/W1586446371","https://openalex.org/W1970051856","https://openalex.org/W2038051410","https://openalex.org/W2058964903","https://openalex.org/W2062285040","https://openalex.org/W2067483357","https://openalex.org/W2086636341","https://openalex.org/W2102609718","https://openalex.org/W2119558232","https://openalex.org/W2120445324","https://openalex.org/W2130561095","https://openalex.org/W2143236485","https://openalex.org/W2154946137","https://openalex.org/W2169250070","https://openalex.org/W2207948284","https://openalex.org/W2233542714","https://openalex.org/W2281452765","https://openalex.org/W2294953717","https://openalex.org/W2311235514","https://openalex.org/W2493694570","https://openalex.org/W2498531142","https://openalex.org/W2521200141","https://openalex.org/W2522376247","https://openalex.org/W2531541396","https://openalex.org/W2969806710","https://openalex.org/W2979689738","https://openalex.org/W3105817132","https://openalex.org/W4235131552","https://openalex.org/W6699982650","https://openalex.org/W6701148982"],"related_works":["https://openalex.org/W1597181838","https://openalex.org/W1530002803","https://openalex.org/W3010170827","https://openalex.org/W3107370947","https://openalex.org/W2165337084","https://openalex.org/W2135557157","https://openalex.org/W2034188142","https://openalex.org/W2799266534","https://openalex.org/W2117546271","https://openalex.org/W2050077054","https://openalex.org/W1595481004","https://openalex.org/W1585658672","https://openalex.org/W2000243767","https://openalex.org/W2007638593","https://openalex.org/W1796743921","https://openalex.org/W2350057","https://openalex.org/W801429566","https://openalex.org/W2905269011","https://openalex.org/W3124244266","https://openalex.org/W192158847"],"abstract_inverted_index":{"The":[0],"present":[1],"article":[2],"contributes":[3],"to":[4,61],"the":[5,8,15,32,43,48,52,57,67,86,89],"development":[6],"of":[7,11,17,36,66,69,88,92],"mathematical":[9],"theory":[10],"epistemic":[12],"updates":[13],"using":[14],"tools":[16],"duality":[18],"theory.":[19],"Here,":[20],"we":[21],"focus":[22],"on":[23,74,78],"Probabilistic":[24],"Dynamic":[25],"Epistemic":[26],"Logic":[27],"(PDEL).":[28],"We":[29],"dually":[30],"characterize":[31],"product":[33],"update":[34],"construction":[35,41],"PDEL-models":[37],"as":[38],"a":[39],"certain":[40],"transforming":[42],"complex":[44,53],"algebras":[45],"associated":[46,55],"with":[47,56],"given":[49],"model":[50],"into":[51],"algebra":[54],"updated":[58],"model.":[59],"Thanks":[60],"this":[62],"construction,":[63],"an":[64],"interpretation":[65],"language":[68],"PDEL":[70],"can":[71],"be":[72],"defined":[73],"algebraic":[75],"models":[76],"based":[77],"Heyting":[79],"algebras.":[80],"This":[81],"justifies":[82],"our":[83],"proposal":[84],"for":[85],"axiomatization":[87],"intuitionistic":[90],"counterpart":[91],"PDEL.":[93]},"counts_by_year":[],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}