 | 2012 |
| 42 |  | Raouia Ayachi,
Nahla Ben Amor,
Salem Benferhat,
Rolf Haenni:
Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference
CoRR abs/1203.3465: (2012) |
| 2011 |
| 41 |  | Oliver Spycher,
Reto E. Koenig,
Rolf Haenni,
Michael Schläpfer:
A New Approach towards Coercion-Resistant Remote E-Voting in Linear Time.
Financial Cryptography 2011: 182-189 |
| 2010 |
| 40 |  | Reto E. Koenig,
Eric Dubuis,
Rolf Haenni:
Why Public Registration Boards are Required in E-Voting Systems Based on Threshold Blind Signature Protocols.
Electronic Voting 2010: 255-266 |
| 39 |  | Oliver Spycher,
Rolf Haenni,
Eric Dubuis:
Coercion-Resistant Hybrid Voting Systems.
Electronic Voting 2010: 269-282 |
| 38 |  | Oliver Spycher,
Rolf Haenni:
A Novel Protocol to Allow Revocation of Votes in a Hybrid Voting System.
ISSA 2010 |
| 37 |  | Raouia Ayachi,
Nahla Ben Amor,
Salem Benferhat,
Rolf Haenni:
Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference.
UAI 2010: 40-47 |
| 2009 |
| 36 |  | Fabio Gagliardi Cozman,
Rolf Haenni,
Jan-Willem Romeijn,
Federica Russo,
Gregory R. Wheeler,
Jon Williamson:
Combining Probability and Logic.
J. Applied Logic 7(2): 131-135 (2009) |
| 35 |  | Rolf Haenni:
Probabilistic argumentation.
J. Applied Logic 7(2): 155-176 (2009) |
| 2008 |
| 34 |  | Rolf Haenni,
Jan-Willem Romeijn,
Gregory R. Wheeler,
Jon Williamson:
Possible Semantics for a Common Framework of Probabilistic Logics.
Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 268-279 |
| 2007 |
| 33 |  | Michael Wachter,
Rolf Haenni:
Multi-state Directed Acyclic Graphs.
Canadian Conference on AI 2007: 464-475 |
| 32 |  | Michael Wachter,
Rolf Haenni:
Logical Compilation of Bayesian Networks with Discrete Variables.
ECSQARU 2007: 536-547 |
| 31 |  | Reto Kohlas,
Jacek Jonczy,
Rolf Haenni:
A New Model for Public-Key Authentication.
KiVS 2007: 213-224 |
| 30 |  | Michael Wachter,
Rolf Haenni,
Marc Pouly:
Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras.
MICAI 2007: 236-247 |
| 29 |  | Marc Pouly,
Rolf Haenni,
Michael Wachter:
Compiling Solution Configurations in Semiring Valuation Systems.
MICAI 2007: 248-259 |
| 2006 |
| 28 |  | Michael Wachter,
Rolf Haenni:
Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions.
KR 2006: 277-285 |
| 27 |  | Reto Kohlas,
Jacek Jonczy,
Rolf Haenni:
Towards a precise semantics for authenticity and trust.
PST 2006: 18 |
| 26 |  | Jacek Jonczy,
Rolf Haenni:
Implementing Credential Networks.
iTrust 2006: 164-178 |
| 25 |  | Rolf Haenni,
Stephan Hartmann:
Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory.
Information Fusion 7(4): 361-379 (2006) |
| 2005 |
| 24 |  | Rolf Haenni:
Unifying Logical and Probabilistic Reasoning.
ECSQARU 2005: 788-799 |
| 23 |  | Rolf Haenni:
Towards a Unifying Theory of Logical and Probabilistic Reasoning.
ISIPTA 2005: 193-202 |
| 22 |  | Jacek Jonczy,
Rolf Haenni:
Credential Networks: a General Model for Distributed Trust and Authenticity Management.
PST 2005 |
| 21 |  | Rolf Haenni:
Using probabilistic argumentation for key validation in public-key cryptography.
Int. J. Approx. Reasoning 38(3): 355-376 (2005) |
| 2004 |
| 20 |  | Rolf Haenni:
Ordered valuation algebras: a generic framework for approximating inference.
Int. J. Approx. Reasoning 37(1): 1-41 (2004) |
| 2003 |
| 19 |  | Rolf Haenni:
Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography.
ECSQARU 2003: 243-254 |
| 18 |  | Rolf Haenni,
Norbert Lehmann:
ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning.
ECSQARU 2003: 588-593 |
| 17 |  | Rolf Haenni,
Norbert Lehmann:
Implementing belief function computations.
Int. J. Intell. Syst. 18(1): 31-49 (2003) |
| 16 |  | Rolf Haenni,
Norbert Lehmann:
Probabilistic argumentation systems: a new perspective on the dempster-shafer theory.
Int. J. Intell. Syst. 18(1): 93-106 (2003) |
| 15 |  | Rolf Haenni:
Anytime argumentative and abductive reasoning.
Soft Comput. 8(2): 142-149 (2003) |
| 2002 |
| 14 |  | Rolf Haenni:
Argumentative Reasoning with ABEL.
JELIA 2002: 505-508 |
| 13 |  | Rolf Haenni:
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning.
Soft-Ware 2002: 114-127 |
| 12 |  | Jürg Kohlas,
Dritan Berzati,
Rolf Haenni:
Probabilistic Argumentation Systems and Abduction.
Ann. Math. Artif. Intell. 34(1-3): 177-195 (2002) |
| 11 |  | Rolf Haenni:
Are alternatives to Dempster's rule of combination real alternatives?: Comments on "About the belief function combination and the conflict management problem" - Lefevre et al.
Information Fusion 3(3): 237-239 (2002) |
| 10 |  | Rolf Haenni,
Norbert Lehmann:
Resource bounded and anytime approximation of belief function computations.
Int. J. Approx. Reasoning 31(1-2): 103-154 (2002) |
| 2001 |
| 9 |  | Rolf Haenni:
Cost-bounded argumentation.
Int. J. Approx. Reasoning 26(2): 101-127 (2001) |
| 1999 |
| 8 |  | Norbert Lehmann,
Rolf Haenni:
An Alternative to Outward Propagation for Dempster-Shafer Belief Functions.
ESCQARU 1999: 256-267 |
| 7 |  | Jürg Kohlas,
Rolf Haenni,
Serafín Moral:
Propositional Information Systems.
J. Log. Comput. 9(5): 651-681 (1999) |
| 1998 |
| 6 |  | Rolf Haenni:
Modelling uncertainty with propositional assumption-based systems.
Applications of Uncertainty Formalisms 1998: 446-470 |
| 5 |  | Justin Picard,
Rolf Haenni:
Modeling Information Retrieval with Probabilistic Argumentation Systems.
BCS-IRSG Annual Colloquium on IR Research 1998 |
| 4 |  | Rolf Haenni:
Generating Diagnoses from Conflict Sets.
FLAIRS Conference 1998: 420-424 |
| 3 |  | Jürg Kohlas,
Bernhard Anrig,
Rolf Haenni,
Paul-André Monney:
Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning.
Artif. Intell. 104(1-2): 71-106 (1998) |
| 1997 |
| 2 |  | Bernhard Anrig,
Rolf Haenni,
Jürg Kohlas,
Norbert Lehmann:
Assumption-Based Modeling Using ABEL.
ECSQARU-FAPR 1997: 171-182 |
| 1995 |
| 1 |  | Jürg Kohlas,
Paul-André Monney,
Rolf Haenni,
Norbert Lehmann:
Model-Based Diagnostics Using Hints.
ECSQARU 1995: 259-266 |