Publications
Export 13 results:
Filters: First Letter Of Title is D [Clear All Filters]
, “Decidability for Justification Logics Revisited”, in Selected papers of Ninth International Tbilisi Symposium on Language, Logic and Computation, In Press.
, “Decidability for Justification Logics Revisited”, in Logic, Language, and Computation, 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers, vol. 7758, Springer, 2013, pp. 166–181.
, “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.
, “Deciding Data Privacy for ALC Knowledge Bases”. Universität Bern, 2009.
, “Deep Sequent Systems for Modal Logic”, Archive for Mathematical Logic, vol. 48, pp. 551–577, 2009.
, “A deep inference system for the modal logic $\mathsf S5$”, Studia Logica, vol. 85, p. 199{–}214, 2007.
, “Deduction chains for common knowledge”, Journal of Applied Logic, vol. 4, p. 331{–}357, 2006.
, “Deep inference and its normal form of derivations”, in Proceedings of Computability in Europe, 2006, vol. 3988, p. 65{–}74.
, “Deep sequent systems for modal logic”, in Proceedings of Advances in Modal Logic, 2006, vol. 6, p. 107{–}119.
, “Description Logic Query Answering with Relational Databases”. Universität Bern, 2006.
, “Dependent Choice in Explicit Mathematics”. Universität Bern, 1999.
, “A deductive approach to logic programming”, in Proof and Computation, 1995, vol. 139, p. 231{–}270.
, “The defining power of stratified and hierarchical logic programs”, Journal of Logic Programming, vol. 15, p. 55{–}77, 1993.