From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

A logic of efficient and optimal designs.. J. Log. Comput., 29 (6): 947-968 (2019)Information and Knowledge, A Constructive Type-theoretical Approach. Logic, Epistemology, and the Unity of Science Springer, (2008)Majority merging by adaptive counting., и . Synthese, 165 (2): 203-223 (2008)Data Quality Dimensions for Fair AI., и . AEQUITAS@ECAI, том 3808 из CEUR Workshop Proceedings, CEUR-WS.org, (2024)Type-Theoretical Dynamics.. The Realism-Antirealism Debate in the Age of Alternative Logics, том 23 из Logic, Epistemology, and the Unity of Science, Springer, (2012)An epistemic logic for becoming informed.. Synthese, 167 (2): 363-389 (2009)Assessing the Quality of Online Reviews Using Formal Argumentation Theory., , , и . ICWE, том 12706 из Lecture Notes in Computer Science, стр. 71-87. Springer, (2021)A Multi-Agent Depth Bounded Boolean Logic., и . SEFM, том 12524 из Lecture Notes in Computer Science, стр. 176-191. Springer, (2020)Probabilistic Typed Natural Deduction for Trustworthy Computations., и . TRUST@AAMAS, том 3022 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Netreason: Reasoning about social networks., , и . J. Log. Comput., 32 (6): 1015-1016 (2022)