List of Publications

2004

• R. Haenni. Ordered Valuation Algebras: a Generic Framework for Approximating Inference. International Journal of Approximate Reasoning. 37 (1), 1-41, 2004.
  
  
• R. Haenni. Resource-Bounded Local Computation. Pages 9-11 of: ECAI 2004, 16th European Conference on Artificial Intelligence, Workshop 22 on "Local Computation for Logics and Uncertainty", Valencia, Spain, 2004.
  
  
• R. Haenni, S. Hartmann. A General Model for Partially Reliable Information Sources. Pages 153-160 of: FUSION 2004, 7th International Conference on Information Fusion, Stockholm, Sweden, 2004.
  
  
• R. Haenni. Towards a Unifying Theory of Logical and Probabilistic Reasoning. Tech. Report. Center for Junior Research Fellows, University of Konstanz. 2004.
  
  

2003

• R. Haenni. Detecting Conflict-Free Assumption-Based Knowledge Bases. Pages 203-209 of: B. Bouchon-Meunier, L. Foulloy, R. Yager (eds.), Intelligent Systems for Information Processing: From Representation to Applications. North-Holland. 2003.
  
  
• R. Haenni. Anytime Argumentative and Abductive Reasoning. Soft Computing Journal, 8 (2), 142-149, 2003.
  
  
• R. Haenni. Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography. Pages 243-254 of: ECSQARU'03, 7th European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, Aalborg, Denmark, 2003.
  
  
• R. Haenni, N. Lehmann. ABEL: an Interactive Tool for Probabilistic Argumentative Reasoning. Pages 588-593 of: ECSQARU'03, 7th European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, Aalborg, Denmark, 2003.
  
  
• R. Haenni, N. Lehmann. Probabilistic Argumentation Systems: a New Perspective on Dempster-Shafer Theory. International Journal of Intelligent Systems (Special Issue: the Dempster-Shafer Theory of Evidence). 18 (1), 93-106. 2003.
  
  
• R. Haenni, N. Lehmann. Implementing Belief Function Computations. International Journal of Intelligent Systems (Special Issue: the Dempster-Shafer Theory of Evidence). 18 (1), 31-49. 2003.
  
  
• R. Haenni. Ignoring Ignorance Is Ignorant. Tech. Report. Center for Junior Research Fellows, University of Konstanz. 2003.
  
  

2002

• R. Haenni. Argumentative Reasoning with ABEL. Pages 505-508 of: JELIA 2002, 8th European Conference on Logics in Artificial Intelligence. Consenza, Italy. 2002.
  
  
• R. Haenni. Are Alternatives to Dempster's Rule Alternatives? Comments on "About the belief function combination and the conflict management problem". International Journal of Information Fusion. 3 (3), 237-241. 2002.
  
  
• R. Haenni, N. Lehmann. Resource-Bounded and Anytime Approximation of Belief Function Computations. International Journal of Approximate Reasoning. 32 (1-2), 103-154. 2002.
  
  
• R. Haenni. A Query-Driven Anytime Algorithm For Argumentative and Abductive Reasoning. Pages 114-127 of: Soft-Ware 2002, 1st International Conference on Computing in an Imperfect World, Belfast, Ireland. LNCS 2311, Springer-Verlag. 2002.
  
  
• R. Haenni. Detecting Conflict-Free Argumentative or Abductive Knowledge Bases. Pages 77--82 of: IPMU 2002, 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. Annecy, France. 2002.
  
  
• R. Haenni, J. Kohlas, N. Lehmann. Computing Probabilities of Events in Bayesian Networks. Pages 303-312 of: B. Bouchon-Meunier, J. Gutiérrez, L. Magdalena, R. Yager (eds.), Technologies for Constructing Intelligent Systems 2: Tools. Physica-Verlag. 2002.
  
  
• J. Kohlas, D. Berzati, R. Haenni. Probabilistic Argumentation Systems and Abduction. Annals of Mathematics and Artificial Intelligence, 34 (1-3), 177-195. 2002.
  
  

2001

• R. Haenni. Cost-bounded Argumentation. International Journal of Approximate Reasoning, 26 (2), 101-127. 2001.
  
  
• R. Haenni, B. Anrig, J. Kohlas, N. Lehmann. A Survey on Probabilistic Argumentation. Pages 19-25 of: ECSQARU'01, 6th European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, Workshop: Adventures in Argumentation, Toulouse, France, 2001.
  
  
• R. Haenni. A Query-Driven Anytime Algorithm For Assumption-Based Reasoning. Tech. Report 01-26. Department of Informatics, University of Fribourg. 2001.
  
  
• R. Haenni, N. Lehmann. Probabilistic Argumentation Systems: a New Perspective on Dempster-Shafer Theory. Tech. Report 01-30. Department of Informatics, University of Fribourg. 2001.
  
  
• R. Haenni, N. Lehmann. Implementing Belief Function Computations. Tech. Report 01-29. Department of Informatics, University of Fribourg. 2001.
  
  
• R. Haenni. Eliminating Variables in General Constraint Logic. Tech. Report 01-28. Department of Informatics, University of Fribourg. 2001.
  
  

2000

• R. Haenni, J. Kohlas, N. Lehmann. Probabilistic Argumentation Systems. Pages 221-288 of: Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning. J. Kohlas, S. Moral (eds). Kluwer, Dordrecht. 2000.
  
  
• R. Haenni, N. Lehmann. Building Argumentation Systems on Set Constraint Logic. Pages 393-406 of: B. Bouchon-Meunier and R. R. Yager and L. A. Zadeh (eds.), Information, Uncertainty and Fusion. Kluwer Academic Publishers. 2000.
  
  
• R. Haenni, N. Lehmann. Belief Function Propagation based on Shenoy's Fusion Algorithm. Pages 1928-1931 of: IPMU'00, 8th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Madrid, Spain. 2000.
  
  
• R. Haenni and N. Lehmann. Belief Function Propagation based on Shenoy's Fusion Algorithm. Tech. Report 00-3. Institute of Informatics, University of Fribourg. 2000.
  
  
• R. Haenni, J. Kohlas, N. Lehmann. Computing Probabilities of Events in Bayesian Networks. Pages 1307-1312 of: IPMU'00, 8th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Madrid, Spain. 2000.
  
  
• D. Berzati, R. Haenni, J. Kohlas. Probabilistic Argumentation Systems and Abduction. Tech. Report 00-2. Institute of Informatics, University of Fribourg. 2000.
  
  
• D. Berzati, R. Haenni, J. Kohlas. Probabilistic Argumentation Systems and Abduction. C. Baral and M. Truszczynski (eds.), NMR 2000, 8th International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado. 2000.
  
  

1999

• R. Haenni and N. Lehmann. Efficient Hypertree Construction. Tech. Report 99-2. Institute of Informatics, University of Fribourg. 1999.
  
  
• R. Haenni, J. Kohlas, N. Lehmann. Probabilistic Argumentation Systems. Tech. Report 99-9. Institute of Informatics, University of Fribourg. 1999.
  
  
• N. Lehmann, R. Haenni. An Alternative to Outward Propagation for Dempster-Shafer Belief Functions. Pages 256-267 of: A. Hunter and S. Parsons (eds.), ECSQARU'99, 5th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, London.. LNAI 1638, Springer-Verlag. 1999.
  
  
• J. Kohlas, R. Haenni, S. Moral. Propositional Information Systems. Journal of Logic and Computation, 9 (5), 651-681. 1999.
  
  
• B. Anrig, R. Bissig, R. Haenni, J. Kohlas, N. Lehmann. Probabilistic Argumentation Systems: Introduction to Assumption-Based Modeling with ABEL. Tech. Report 99-1. Institute of Informatics, University of Fribourg. 1999.
  
  

1998

• R. Haenni, N. Lehmann. Assumption-Based Reasoning with Finite Set Constraints. Pages 1289-1295 of: IPMU'98, 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France. 1998.
  
  
• R. Haenni, N. Lehmann. Reasoning with Finite Set Constraints. Pages 1-6 of: ECAI'98, Workshop W17: Many-valued logic for AI application. 1998.
  
  
• R. Haenni. Modeling Uncertainty with Propositional Assumption-Based Systems. Pages 446-470 of: S. Parson and A. Hunter (eds.), Applications of Uncertainty Formalisms. Springer-Verlag. 1998.
  
  
• R. Haenni. Generating Diagnoses from Conflict Sets. Pages 120-124 of: Diane J. Cook (eds.), 11th International FLAIRS Conference, Sanibel Island, Florida,. AAAI Press. 1998.
  
  
• J. Picard, R. Haenni. Modeling Information Retrieval with Probabilistic Argumentation Systems. 20th BCS-IRSG Annual Colloquium.1998.
  
  
• J. Kohlas, B. Anrig, R. Haenni, P.A. Monney. Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning. Artificial Intelligence, 104, 71-106. 1998.
  
  

1997

• R. Haenni. Assumption-based Reasoning with Algebraic Clauses. Pages 958-961 of: H. J. Zimmermann (eds.), EUFIT'97, 5th European Congress on Intelligent Techniques and Soft Computing. Verlag Mainz. 1997.
  
  
• B. Anrig, R. Haenni, N. Lehmann. ABEL - A New Language for Assumption-Based Evidential Reasoning under Uncertainty. Tech. Report 97-01. Institute of Informatics, University of Fribourg. 1997.
  
  
• B. Anrig, R. Haenni, J. Kohlas, N. Lehmann. Assumption-based Modeling using ABEL. D. Gabbay, R. Kruse, A. Nonnengart, H.J. Ohlbach (eds.), ECSQARU-FAPR'97, 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning. LNAI 1244, Springer-Verlag. 1997.
  
  

1996

• B. Anrig, N. Lehmann, R. Haenni. Reasoning with Finite Set Constraints. Tech. Report 97-11. Institute of Informatics, University of Fribourg. 1997.
  
  
• R. Haenni. Propositional Argumentation Systems and Symbolic Evidence Theory. Ph.D. Thesis. Institut für Informatik, Universität Freiburg. 1996.
  
  
• J. Kohlas, R. Haenni. Assumption-Based Reasoning and Probabilistic Argumentation Systems. Tech. Report 96-07. Institute of Informatics, University of Fribourg. 1996.
  
  
• B. Anrig, R. Haenni, J. Kohlas, P.A. Monney. Probabilistic Analysis of Model-Based Diagnosis. Pages 123-128 of: IPMU'96, 6th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Granada, Spain.1996.
  
  

1995

• R. Haenni, P.A. Monney, J. Kohlas. Assumption-Based Reasoning and Model-Based Diagnostics. Tech. Report Institute of Informatics, University of Fribourg. 1995.
  
  
• R. Haenni. A Valuation-Based Architecture for Assumption-Based Reasoning. Pages 255-258 of: G. Coletti and D. Dubois and R. Scozzafava (eds.), Mathematical Models for Handling Partial Knowledge in Artificial Intelligence. Plenum Press. 1995.
  
  
• J. Kohlas, P.A. Monney, R. Haenni, N. Lehmann. Model-Based Diagnostics Using Hints. Pages 259-266 of: Ch. Fridevaux and J. Kohlas (eds.), ECSQARU'95, 3rd European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Fribourg, Switzerland. LNAI 946, Springer-Verlag. 1995.