Publications

Export 4 results:
Filters: Author is Nerode, Anil  [Clear All Filters]
2016
Kokkinis, I., Ognjanović, Z., Studer, T.: Probabilistic Justification Logic. In: Artemov, S. and Nerode, A. Symposium on Logical Foundations in Computer Science 2016. Springer (2016).
2013
Kuznets, R., Studer, T.: Update as Evidence: Belief Expansion. In: Artemov, S. and Nerode, A. Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013, Proceedings. pp. 266-279. Springer (2013).
2009
Buss, S.R., Kuznets, R.: The NP-completeness of reflected fragments of justification logics. In: Artemov, S. and Nerode, A. Proceedings of Symposium on Logical Foundations of Computer Science (LFCS'09). pp. 122-136 (2009).
2007
Steiner, D., Studer, T.: Total public announcements. In: Artemov, S. and Nerode, A. Proceedings of Logical Foundations of Computer Science. pp. 498-511. Springer (2007).