Publications
Export 5 results:
Filters: First Letter Of Last Name is N [Clear All Filters]
, “Update as Evidence: Belief Expansion”, in Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013, Proceedings, vol. 7734, Springer, 2013, pp. 266–279.
, “Data Privacy for ALC Knowledge Bases”, in Proceedings of {L}ogical {F}oundations of {C}omputer {S}cience {LFCS}'09, 2009, vol. 5407, pp. 409–421.
, “The NP-completeness of reflected fragments of justification logics”, in Proceedings of {S}ymposium on {L}ogical {F}oundations of {C}omputer {S}cience ({LFCS}'09), 2009, vol. 5407, pp. 122-136.
, “Total public announcements”, in Proceedings of Logical Foundations of Computer Science, 2007, vol. 4514, p. 498{–}511.
, “Relational representation of $\mathcal{ALN}$ knowledge bases”, in Proceedings of Multi '05, 2005, p. 271{–}278.