2009 |
36 | EE | 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 | EE | Rolf Haenni:
Probabilistic argumentation.
J. Applied Logic 7(2): 155-176 (2009) |
2008 |
34 | EE | 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 | EE | Michael Wachter,
Rolf Haenni:
Multi-state Directed Acyclic Graphs.
Canadian Conference on AI 2007: 464-475 |
32 | EE | Michael Wachter,
Rolf Haenni:
Logical Compilation of Bayesian Networks with Discrete Variables.
ECSQARU 2007: 536-547 |
31 | EE | Reto Kohlas,
Jacek Jonczy,
Rolf Haenni:
A New Model for Public-Key Authentication.
KiVS 2007: 213-224 |
30 | EE | Michael Wachter,
Rolf Haenni,
Marc Pouly:
Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras.
MICAI 2007: 236-247 |
29 | EE | 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 | EE | Reto Kohlas,
Jacek Jonczy,
Rolf Haenni:
Towards a precise semantics for authenticity and trust.
PST 2006: 18 |
26 | EE | Jacek Jonczy,
Rolf Haenni:
Implementing Credential Networks.
iTrust 2006: 164-178 |
25 | EE | 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 | EE | 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 | EE | Jacek Jonczy,
Rolf Haenni:
Credential Networks: a General Model for Distributed Trust and Authenticity Management.
PST 2005 |
21 | EE | Rolf Haenni:
Using probabilistic argumentation for key validation in public-key cryptography.
Int. J. Approx. Reasoning 38(3): 355-376 (2005) |
2004 |
20 | EE | Rolf Haenni:
Ordered valuation algebras: a generic framework for approximating inference.
Int. J. Approx. Reasoning 37(1): 1-41 (2004) |
2003 |
19 | EE | Rolf Haenni:
Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography.
ECSQARU 2003: 243-254 |
18 | EE | Rolf Haenni,
Norbert Lehmann:
ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning.
ECSQARU 2003: 588-593 |
17 | EE | Rolf Haenni,
Norbert Lehmann:
Implementing belief function computations.
Int. J. Intell. Syst. 18(1): 31-49 (2003) |
16 | EE | 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 | EE | Rolf Haenni:
Anytime argumentative and abductive reasoning.
Soft Comput. 8(2): 142-149 (2003) |
2002 |
14 | EE | Rolf Haenni:
Argumentative Reasoning with ABEL.
JELIA 2002: 505-508 |
13 | EE | 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 | EE | 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 | EE | 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 | EE | Rolf Haenni:
Cost-bounded argumentation.
Int. J. Approx. Reasoning 26(2): 101-127 (2001) |
1999 |
8 | EE | Norbert Lehmann,
Rolf Haenni:
An Alternative to Outward Propagation for Dempster-Shafer Belief Functions.
ESCQARU 1999: 256-267 |
7 | EE | Jürg Kohlas,
Rolf Haenni,
Serafín Moral:
Propositional Information Systems.
J. Log. Comput. 9(5): 651-681 (1999) |
1998 |
6 | EE | Rolf Haenni:
Modelling uncertainty with propositional assumption-based systems.
Applications of Uncertainty Formalisms 1998: 446-470 |
5 | EE | 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 | EE | 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 |