Publications
Export 9 results:
Filters: First Letter Of Last Name is D [Clear All Filters]
, “About the Strength of Operational Regularity”, in Logic, Construction, Computation, 2012, pp. 305–324.
, “Weak theories of truth and explicit mathematics”, in Logic, Construction, Computation, 2012, pp. 157–184.
, “A Note on the Use of Sum in the Logic of Proofs”, in Proceedings of the 7th {P}anhellenic {L}ogic {S}ymposium, Patras University, Greece, 2009, pp. 99–103.
, “Syntactic cut-elimination for common knowledge”, in Proceedings of {M}ethods for {M}odalities {M}4{M}5, 2009, vol. 231, pp. 227–240.
, “Merging rule-based belief databases”, in Proceedings of Artificial Intelligence and Applications, 2007, p. 585{–}589.
, “$\mathcal{PALC}$: Extending $\mathcal{ALC}$ ABoxes with Probabilities”. Universität Bern, 2005.
, “Probabilistic ABox reasoning: preliminary results”, in Proceedings of Description Logics '05, 2005, vol. 147, p. 104{–}111.
, “Provable data privacy”, in Proceedings of 16th International Conference on Database and Expert Systems Applications, 2005, vol. 3588, p. 324{–}332.
, “LWB - a logics workbench, extended abstract”, in Proceedings of KI-95 Activities: Workshop, Posters, Demos, 1995, p. 73{–}74.