Search Results - "Martiny, Karsten"

PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems by Martiny, Karsten, Möller, Ralf

“…We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their temporal evolution in…”
Get full text

Partial Decision Overrides in a Declarative Policy Framework by Martiny, Karsten, Denker, Grit

“…The ability to specify various policies with different overriding criteria allows for complex sets of sharing policies. This is particularly useful in…”
Get full text

Protecting Privacy with a Declarative Policy Framework by Martiny, Karsten, Elenius, Daniel, Denker, Grit

“…This article describes a privacy policy framework that can represent and reason about complex privacy policies. By using a Common Data Model together with a…”
Get full text

Decision Support for Sharing Data using Differential Privacy by John, Mark F. St, Denker, Grit, Laud, Peeter, Martiny, Karsten, Pankova, Alisa, Pavlovic, Dusko

“…Owners of data may wish to share some statistics with others, but they may be worried of privacy of the underlying data. An effective solution to this problem…”
Get full text

Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic by Martiny, Karsten, Möller, Ralf

“…We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their finite temporal evolution in…”
Get full text