# Publications

Export 9 results:
Filters: First Letter Of Last Name is D  [Clear All Filters]
2012
, 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.
2009
R. Kuznets, 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.
2007
R. Wehbe, Merging rule-based belief databases, in Proceedings of Artificial Intelligence and Applications, 2007, p. 585{–}589.
2005
M. Dürig, $\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.
1995
, LWB - a logics workbench, extended abstract, in Proceedings of KI-95 Activities: Workshop, Posters, Demos, 1995, p. 73{–}74.