Autor der Publikation

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic.

. AAAI, Seite 454-459. AAAI Press, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Secrecy in Multiagent Systems., und . CSFW, Seite 32-. IEEE Computer Society, (2002)Defining Explanation in Probabilistic Systems., und . UAI, Seite 62-71. Morgan Kaufmann, (1997)A Qualitative Markov Assumption and Its Implications for Belief Change., und . UAI, Seite 263-273. Morgan Kaufmann, (1996)Forming Beliefs about a Changing World., , , und . AAAI, Seite 222-229. AAAI Press / The MIT Press, (1994)Reasoning about Knowledge of Unawareness., und . KR, Seite 6-13. AAAI Press, (2006)A Game-Theoretic Analysis of Updating Sets of Probabilities., und . UAI, Seite 240-247. AUAI Press, (2008)A Logic for Reasoning about Evidence., und . UAI, Seite 297-304. Morgan Kaufmann, (2003)What is an inference rule?, , und . Jerusalem Conference on Information Technology, Seite 391-401. IEEE Computer Society, (1990)Worst-Case Background Knowledge for Privacy-Preserving Data Publishing., , , , und . ICDE, Seite 126-135. IEEE Computer Society, (2007)Intervention and Conditioning in Causal Bayesian Networks., und . CoRR, (2024)