Publications

 

Books

Books (as editor)

In journals

In conference proceedings and edited volumes

  • Coalgebraic proof translations for non-wellfounded proofs, joint paper with Borja Sierra Miranda and Lukas Zenger, submitted.
  • Justification Logic, joint work with Sergei Artemov and Melvin Fitting, in E. N. Zalta and U. Nodelman, editors, The Stanford Encyclopedia of Philosophy (Fall 2024 Edition), 2011.
  • Synergistic Knowledge, joint paper with Christian Cachin and David Lehnherr, in Proceedings of Stabilization, Safety, and Security of Distributed Systems, to appear 2023.
  • Modal and Justification Logics for Multi-agent Systems, joint paper with Christian Cachin and David Lehnherr, in Herzig, A., Luo, J., Pardo, P., editors, Logic and Argumentation - CLAR 2023, volume 14159 of LNAI, pages 3-8. Springer, 2023.
  • Providing personalized Explanations: a Conversational Approach, joint paper with Jieting Luo and Mehdi Dastani, in Herzig, A., Luo, J., Pardo, P., editors, Logic and Argumentation - CLAR 2023, volume 14159 of LNAI, pages 121-137. Springer, 2023.
  • Conditional Obligations in Justification Logic, joint paper with F. Faroldi and A. Rohani, in Proceedings of Logic, Language, Information, and Computation - WoLLIC 2023, to appear 2023.
  • What Do You Care About: Inferring Values from Emotions (extended abstract), joint paper with Jieting Luo, Mehdi Dastani, and Beishui Liao, in A. Ricci, W. Yeoh, N. Agmon, B. An, editors, Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems, pages 2289-2291. IFAMAS, 2023.
  • Development of an AI-based bioacoustic wolf monitoring system, joint paper with Olivier Stähli and Thomas Ost, in Proceedings of FLAIRS-35, 2022.
  • A Logic of Interactive Proofs, joint paper with David Lehnherr and Zoran Ognjanovic, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'22, volume 13137 of LNCS, pages 143-155. Springer, 2022.
  • Incomplete Information and Justifications, joint paper with Dragan Doder, Zoran Ognjanovic and Nenad Savic, in A. Özgün, Y. Zinova, editors, Logic, Language and Computation TbiLLC 2019, volume 13206 of LNCS, pages 258-278. Springer, 2022.
  • Exploring Subset Models for Justification Logic, joint paper with Eveline Lehmann, in M. Fitting, editor, Selected Topics from Contemporary Logics, College Publications, pages 605-634. 2021.
  • Explicit Non-normal Modal Logic, joint paper with Atefeh Rohani, in A. Silva, R. Wassermann, R. de Queiroz, editors, Logic, Language, Information, and Computation - WoLLIC 2021, volume 13038 of LNCS, pages 64-81. Springer, 2021.
  • No-Go Theorems for Data Privacy, in Proceedings of the 7th International Cryptology and Information Security Conference 2020, pages 74-84, 2020.
  • Impossible and Conflicting Obligations in Justification Logic, joint paper with Federico Faroldi, Meghdad Ghari and Eveline Lehmann, in A. Marra, F. Liu, P. Portner, F. Van De Putte, editors, Proceedings of DEON 2020, 2020.
  • Semirings of Evidence (superseded by the journal version), joint paper with Michael Baur, in M. Dastani, H. Dong, L. van der Torre, editors, Proceedings of Logic and Argumentation CLAR 2020, volume 12061 of LNAI, pages 42-57. Springer, 2020. Note that here we link to a corrected version, the published version contains a mistake.
  • Belief Expansion in Subset Models, joint paper with Eveline Lehmann, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'20, volume 11972 of LNCS, pages 85-97. Springer, 2020.
  • Justification Logics with Probability Operators, joint paper with Ioannis Kokkinis and Nenad Savic, in Z. Ognjanovic, editor, Probabilistic Extensions of Various Logical Systems, pages 215-234. Springer, 2020.
  • Probabilistic Consensus of the Blockchain Protocol, joint paper with Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, and Dragan Doder, in G. Kern-Isberner, Z. Ognjanovic, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2019, volume 11726 of LNAI, pages 469-480. Springer, 2019.
  • Bayesian Confirmation and Justifications, joint paper with Hamzeh Mohammadi in G. Kern-Isberner, Z. Ognjanovic, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2019, volume 11726 of LNAI, pages 408-418. Springer, 2019.
  • Subset models for justification logic, joint paper with Eveline Lehmann in R. Iemhoff, M. Moortgat, R. de Queiroz, editors, Logic, Language, Information, and Computation - WoLLIC 2019, volume 11541 of LNCS, pages 433-449. Springer 2019. The published version contains a mistake; corrected version available on arXiv.
  • Public Announcements for Epistemic Models and Hypertheories, joint paper with Nenad Savić, in Md. A. Khan, A. Manuel, editors, Logic and its Applications ICLA 2019, volume 11600 of LNCS, pages 64-75. Springer, 2019
  • The Logic of Temporal Domination, in RIVF 2019 Conference Proceedings, pages 187-190. IEEE, 2019
  • The Internalized Disjunction Property for Intuitionistic Justification Logic, joint paper with Michel Marti, in G. Bezhanishvili, G. D’Agostino, G. Metcalfe, and T. Studer, editors, Advances in Modal Logic, Volume 12, pages 511-529. College Publications, 2018
  • A Logic of Blockchain Updates (superseded by the journal version), joint paper with Kai Brünnler and Dandolo Flumini, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'18, volume 10703 of LNCS, pages 107-119. Springer, 2018
  • The Proof Theory of Common knowledge, joint paper with Michel Marti, in H. van Ditmarsch and G. Sandu, editors, Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, Outstanding Contributions to Logic, volume 12, pages 433-455. Springer, 2018
  • Justification logic with approximate conditional probabilities, joint paper with Zoran Ognjanović and Nenad Savić, in A. Baltag, J. Seligman, T. Yamada, editors, Logic, Rationality and Interaction, volume 10455 of LNCS, pages 681-686. Springer, 2017
  • Temporal Justification Logic, joint paper with Samuel Bucheli and Meghdad Ghari, in S. Ghosh and R. Ramanujam, editors, Proceedings of Methods for Modalities M4M-9, volume 243 of EPTCS, pages 59-74, 2017
  • Cyclic Proofs for Linear Temporal Logic, joint paper with Ioannis Kokkinis, in D. Probst, P. Schuster, editors, Concepts of Proof in Mathematics, Philosophy, and Computer Science, volume 6 of Ontos Mathematical Logic, pages 171-192. De Gruyter, 2016
  • Probabilistic Justification Logic, joint paper with Ioannis Kokkinis and Zoran Ognjanović, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'16, volume 9537 of LNCS, pages 174-186. Springer, 2016
  • Decidability for Justification Logics Revisited, joint paper with Samuel Bucheli and Roman Kuznets, in G. Bezhanishvili, S. Löbner, V. Marra, F. Richter, editors, Logic, Language and Computation TbiLLC 2011, volume 7758 of LNCS, pages 166-181. Springer, 2013
  • Update As Evidence: Belief Expansion, joint paper with Roman Kuznets, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'13, volume 7734 of LNCS, pages 266-279. Springer, 2013
  • Justifications, Ontology, and Conservativity, joint paper with Roman Kuznets, in T. Bolander, T. Braüner, S. Ghilardi, L. Moss, editors, Advances in Modal Logic, volume 9, pages 437-458. College Publications, 2012
  • Justified Terminological Reasoning, in E. Clarke, I. Virbitskaite, A. Voronkov, editors, Proceedings of Perspectives of System Informatics PSI'11, volume 7162 of LNCS, pages 349-361. Springer, 2012
  • Cut-elimination for the mu-calculus with one variable, joint paper with Grigori Mints, in Fixed Points in Computer Science 2012, volume 77 of EPTCS, pages 47–54. Open Publishing Association, 2012
  • An application of justification logic to protocol verification, in Proceedings of Computational Intelligence and Security CIS 2011, pages 779-783. IEEE, 2011
  • Partial Realization in Dynamic Justi cation Logic, joint paper with Samuel Bucheli and Roman Kuznets, in L. Beklemishev and R. de Queiroz, editors, Logic, Language, Information and Computation WOLLIC 2011, volume 6642 of LNCS, pages 35-51. Springer 2011
  • Justified Belief Change, joint paper with Samuel Bucheli, Roman Kuznets, Bryan Renne, and Joshua Sack, in X. Arrazola, M. Ponte, editors, Proceedings of Logic and Philosophy of Knowledge, Communication and Action, pages 135-155. Basque Country Press, 2010
  • Two ways to common knowledge, joint paper with Samuel Bucheli and Roman Kuznets, in T. Bolander, T. Braüner, editors, Proceedings of Methods for Modalities M4M6, volume 262 of ENTCS, pages 83-98. Elsevier, 2010
  • Privacy Preserving Modules for Ontologies, in A. Pnueli, I. Virbitskaite, A. Voronkov, editors, Proceedings of Perspectives of System Informatics PSI'09, volume 5947 of LNCS, pages 380-387. Springer, 2010
  • Data Privacy for ALC Knowledge Bases, joint paper with Phiniki Stouppa, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'09, volume 5407 of LNCS, pages 409-421. Springer, 2009
  • Syntactic cut-elimination for common knowledge (superseded by the journal version), joint paper with Kai Brünnler, in C. Areces and S. Demri, editors, Proceedings of Methods for Modalities M4M5, volume 231 of ENTCS, pages 227-240. Elsevier 2009
  • Improving semantic query answering, joint paper with Norbert Kottmann, in R. Wagner, N. Revell, G. Pernul, editors, Proceedings of Database and Expert Systems Applications DEXA '07, volume 4653 of LNCS, pages 671-679. Springer, 2007
  • Total Public Announcements, joint paper with David Steiner, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'07, volume 4514 of LNCS, pages 498-511. Springer, 2007
  • A Formal Model of Data Privacy, joint paper with Phiniki Stouppa, in I. Virbitskaite, A. Voronkov, editors, Proceedings of Perspectives of System Informatics PSI'06, volume 4378 of LNCS, pages 401-411. Springer, 2007
  • Cut-free Axiomatizations for Stratified Modal Fixed Point Logic, joint paper with Gerhard Jäger and Mathis Kretz, in H. Schlingloff, editor, Proceedings of Methods for Modalities 4, pages 125-143. 2005
  • Probabilistic ABox Reasoning: Preliminary Results, joint paper with Michael Dürig, in I. Horrocks, U. Sattler, F. Wolter, editors, Proceedings of Description Logics DL'05, pages 104-111. 2005
  • Provable Data Privacy, joint paper with Kilian Stoffel, in K. Viborg Andersen, J. Debenham, R. Wagner, editors, Proceedings of Database and Expert Systems Applications DEXA '05, volume 3588 of LNCS, pages 324-332. Springer, 2005.
  • Constructive Foundations for Featherweight Java, in R. Kahle, P. Schroeder-Heister, R. Stärk, editors, Proof Theory in Computer Science, volume 2183 of LNCS, pages 202-238. Springer, 2001
  • A theory of explicit mathematics equivalent to ID1, joint paper with Reinhard Kahle, in P. Clote, H. Schwichtenberg, editors, Computer Science Logic CSL 2000, volume 1862 of LNCS, pages 356-370. Springer, 2000

Theses

Others

. . . .