Artemov, Sergei

Lehnherr, David; Ognjanović, Zoran; Studer, Thomas (2022). A Logic of Interactive Proofs. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science. LFCS 2022. Lecture Notes in Computer Science: Vol. 13137 (pp. 143-155). Springer 10.1007/978-3-030-93100-1_10

Lehmann, Eveline; Studer, Thomas (January 2020). Belief Expansion in Subset Models. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science LFCS 2020. Lecture Notes in Computer Science: Vol. 11972 (pp. 85-97). Springer 10.1007/978-3-030-36755-8_6

Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas (2016). Probabilistic Justification Logic. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Lecture Notes in Computer Science: Vol. 9537 (pp. 174-186). Cham: Springer 10.1007/978-3-319-27683-0_13

Iemhoff, Rosalie; Metcalfe, George (2009). Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 230-245). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_16

Stouppa, Phiniki; Studer, Thomas (2009). Data Privacy for ALC Knowledge Bases. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 409-421). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_28

Buss, Samuel R.; Kuznets, Roman (2009). The NP-Completeness of Reflected Fragments of Justification Logics. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 122-136). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_9

Artemov, Sergei; Kuznets, Roman (2009). Logical omniscience as a computational complexity problem. In: Heifetz, Aviad (ed.) TARK '09. Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 14-23). New York: Association for Computing Machinery ACM 10.1145/1562814.1562821

Steiner, David (2006). A system for consistency preserving belief change. In: Artemov, Sergei; Parikh, Rohit (eds.) Proceedings of Rationality and Knowledge. 18th European Summer School of Logic, Language and Information (pp. 133-144). Nancy: Association for Logic, Language and Information