Publications of Jürg Kohlas

Articles (author)

  1. Jürg Kohlas, Jürg Schmid, An Algebraic Theory of Information: An Introduction and Survey. Information 2014, 5 219-254. ISSDN 2078-2489. (www.mdpi.com/journal/information)

  2. Marc Pouly, Juerg Kohlas, Peter Y A Ryan, Generalized information theory for hints, International Journal of Approximate Reasoning, Available online 25 August 2012, ISSN 0888-613X, 10.1016/j.ijar.2012.08.004. (http://www.sciencedirect.com/science/article/pii/S0888613X12001454) Keywords: Information theory; Theory of Hints; Dempster-Shafer theory

  3. Jürg Kohlas, Marc Pouly, Cesar Schneuwly, Generic local computation, Journal of Computer and System Sciences, Volume 78, Issue 1, January 2012, Pages 348-369, ISSN 0022-0000, 10.1016/j.jcss.2011.05.012. (http://www.sciencedirect.com/science/article/pii/S0022000011000717) Keywords: Generic computation; Valuation algebras; Local computation; Hypertree decomposition; Join trees

  4. J. Kohlas and N. Wilson. Semiring Induced Valuation Algebras: Exact and Approximate Local Computation Algorithms. Artificial Intelligence, 172 (11) , 1360--1399 . 2008.

  5. J. Kohlas. Uncertain information: random variables in graded semilattices. Int. J. Approx. Reason., doi:10.1016/j.ijar.2006.12.005 . 2007.

  6. J. Kohlas and P.-A. Monney. An algebraic theory for statistical information based on the theory of hints. Int. J. Approx. Reason., doi:10.1016/j.ijar.2007.05.003 . 2007.

  7. J. Kohlas and R. F. Stärk. Information Algebras and Consequence Operators. Logica Universalis, 1 (1) , 139--165 . 2007.

  8. B. Anrig and J. Kohlas. Model-Based Reliability and Diagnostic: A Common Framework for Reliability and Diagnostics. Int. J. of Intell. Systems, 18 (10) , 1001--1033 . 2003.

  9. J. Kohlas. Probabilistic Argumentation Systems: A New Way to Combine Logic With Probability. Journal of Applied Logic, 1 (3-4) , 225--253 . 2003.

  10. J. Kohlas and D. Berzati and R. Haenni. Probabilistic Argumentation Systems and Abduction. Annals of Mathematics and Artificial Intelligence, Special Issue (AMAI), 34 , 177--195 . 2002.

  11. J. Kohlas and B. Anrig and R. Bissig. Reliability and Diagnostic of Modular Systems. ORiON J. OR Society South Africa, 16 (1) , 47--62 . 2001.

  12. J. Kohlas and R. Haenni and S. Moral. Propositional Information Systems. Journal of Logic and Computation, 9 (5) , 651--681 . 1999.

  13. J. Kohlas and B. Anrig and R. Haenni and P.A. Monney. Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning. Artificial Intelligence, 104 (1-2) , 71--106 . 1998.

  14. J. Kohlas. Allocation of Arguments and Evidence Theory. Theoretical Computer Science, 171 (1-2) , 221--246 . 1997.

  15. P. Besnard and J. Kohlas. Evidence Theory Based on General Consequence Relations. Int. J. of Foundations of Computer Science, 6 (2) , 119--135 . 1995.

  16. J. Kohlas and P.-A. Monney. Theory of Evidence -- a Survey of its Mathematical Foundations, Applications and Computational Analysis. ZOR -- Mathematical Methods of Operations Research, 39 , 35--68 . 1994.

  17. J. Kohlas. Support-and Plausibility Functions Induced by Filter-Valued Mappings. Int. J. of General Systems, 21 (4) , 343--363 . 1993.

  18. J. Kohlas. The Reliability of Reasoning with Unreliable Arguments. Annals of Operations Research, 32 , 67--113 . 1991.

  19. J. Kohlas and P.-A. Monney. Propagating Belief Functions Through Constraint Systems. Int. J. Approximate Reasoning, 5 (5) , 433--461 . 1991.

  20. J. Kohlas. Modeling Uncertainty with Belief Functions in Numerical Models. Europ. J. of Operational Research, 40 , 377--388 . 1989.

  21. J. Kohlas. Conditional Belief Structures. Probability in Engineering and Information Science, 2 (4) , 415--433 . 1988.

  22. J. Kohlas and T. Hürlimann. LPL: A Structured Language for Linear Programming Modeling. OR Spektrum, 10 , 55--63 . 1988.

  23. J. Kohlas and Cung Binh Duyet. A Network Reliability Analysis Support System (NETRASS). Wissenschaftliche Zeitschrift der Hochschule für Verkehrswesen Friedrich List Dresden, Sonderheft 33 , 23--32 . 1987.

  24. J. Kohlas. Numerical Computation of Mean Passage Times and Absorption Probabilities in Markov and Semi-Markov Models. Mathematical Methods of Operations Research, 30 (5) , A 197--A 207 . 1986.

  25. J. Kohlas and P. Hättenschwiler. Modellentwicklung für die Ernährungssicherung der Schweiz in Krisenzeiten. SAMS-INFORMATIONEN Bulletin des Schweizerischen Arbeitskreises Militär- und Sozialwissenschaften, 2 , 135--147 . 1986.

  26. J. Kohlas. Ersatzteilbemessung für reparierbare Geräte, Grundlegende Modelle und Verfahren. OR Spektrum, 3 , 129--143 . 1981.

  27. J. Kohlas and J. Pasquier. Optimization of spare parts for hierarchically decomposable systems. European J. of O.R, 8 , 294--300 . 1981.

  28. J. Kohlas and Ho Van-Di Han. Modelling and Simulation of Stochastic Systems by Networks of Stochastic Automata. Operations Research Verfahren, 33 , 185--196 . 1979.

  29. J. Kohlas and W. Weidert. Kostenaufteilung bei Gemeinschaftsprojekten. Die Unternehmung, 1 , 83--92 . 1979.

  30. J. Kohlas and E. B. Blümle. Planung bei Wirtschaftsverbänden. Die Unternehmung, 1 , 47--58 . 1977.

  31. J. Kohlas and E. B. Blümle. Zur Messung der Leistung von Wirtschaftsverbänden. Schmalenbachs Zeitschrift für betriebswirtschaftliche Forschung, 8 , 473--488 . 1975.

  32. J. Kohlas and E. Handschin and F. C. Schweppe and A. Fiechter. Bad Data Analysis for Power System State Estimation. IEEE Transactions on Power Apparatus and Systems, 94 , 329--337 . 1975.

  33. J. Kohlas. Sichere Grenzwertüberwachung mit Prozessrechner. Regelungstechnik und Prozess-Datenverarbeitung, 21 , 138--143 . 1973.

  34. J. Kohlas. On Bad Data Suppression in Estimation. IEEE Trans. AC, 17 , 827--828 . 1972.

  35. J. Kohlas and R. Landtwing. Planung mittels Kosten-Nutzen-Analyse. Die Unternehmung, 4 , 225--236 . 1967.

Books (author):

  1. M. Pouly and J. Kohlas. Generic Inference. A Unifying Theory for Automated Reasoning. Wiley 2011

  2. J. Kohlas and P.-A. Monney. Statistical Information. Assumption-Based Statistical Inference. Sigma Series in Stochastics , vol. 3. Heldermann. Lemgo, Germany. 2008.

  3. J. Kohlas. Information Algebras: Generic Structures for Inference. Discrete Mathematics and Theoretical Computer Science Springer-Verlag. London, Berlin, Heidelberg. 2003.

  4. J. Kohlas and P.-A. Monney. A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence. Lecture Notes in Economics and Mathematical Systems , vol. 425. Springer. 1995.

  5. J. Kohlas. Operations Research (Lehrhefte für den Fernunterricht). AKAD Verlag. 1990.

  6. J. Kohlas. Zuverlässigkeit und Verfügbarkeit. Teubner. 1987.

  7. J. Kohlas. Stochastic Methods of Operations Research. Cambridge University Press. Cambridge. 1982.

  8. J. Kohlas and H. Waldburger. Informatik für EDV-Benützer. UTB , vol. 696. Paul Haupt-Verlag. Bern, Stuttgart. 1978.

  9. J. Kohlas. Stochastische Methoden des Operations Research. Teubner Studienbücher Mathematik - Leitfäden der angewandten Mathematik und Mechanik LAMM B. G. Teubner-Verlag. Stuttgart. 1977.

  10. Bauknecht, K. and Kohlas, J. and Zehnder, C.A.. Simulationstechnik. Entwurf und Simulation von Systemen auf digitalen Rechenautomaten. Springer. 1976.

  11. J. Kohlas. Relative Werte und Monte Carlo Analyse von Kosten- oder Erlös- Strukturen auf Markoff-Ketten (Habilitationsschrift). Juris-Verlag. 1973.

  12. J. Kohlas. Monte Carlo Simulation in Operations Research. Lecture Notes in Economics and Mathematical Systems , vol. 63. Springer-Verlag. Berlin, Heidelberg, New York. 1972.

  13. J. Kohlas. Operations Research (Lehrhefte für den Fernunterricht). IMAKA. Zürich. 1970.

  14. J. Kohlas. Simulation von Luftkämpfen. Juris-Verlag. Zürich. 1967.

Books (editor):

  1. Jürg Kohlas and Bertrand Meyer and André Schiper (eds.). Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Lecture Notes in Computer Science , vol. 4028. Springer. 2006.

  2. J. Kohlas and S. Moral (eds.). Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning. Kluwer, Dordrecht. 2000.

  3. Ch. Froidevaux and J. Kohlas (eds.). Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Lecture Notes in Economics and Mathematical Systems, No. 946 Springer. European Converence ESQARU'95, Fribourg, Switzerland, July 1995. 1995.

  4. P. Kall and J. Kohlas and W. Popp and C.A. Zehnder (eds.). Quantitative Methoden in den Wirtschaftswissenschaften (Hans Paul Künzi zum 65. Geburtstag). Springer-Verlag. Berlin, Heidelberg, New York. 1989.

  5. J. Kohlas and O. Seifert and P. Stähly and H. J. Zimmermann (eds.). Proceeding in Operations Research 5, Vorträge der Jahresversammlung DGOR/SVOR 1975. Physica-Verlag. Würzburg, Wien. 1976.

In Collection (author):

  1. J. Kohlas and C. Schneuwly. Information Algebra. Giovanni Sommaruga (eds.), Formal Theories of Inofrmation. From Shannon to Semantic Information Theory and General Concepts of Information. Springer. 2009.

  2. J. Kohlas and Ch. Eichenberger. Uncertain Information. Giovanni Sommaruga (eds.), Formal Theories of Inofrmation. From Shannon to Semantic Information Theory and General Concepts of Information. Springer. 2009.

  3. J. Kohlas and M. Pouly and C. Schneuwly. Information Algebra. Benjamin Wah (eds.), Wiley Encyclopedia of Computer Science and Engineering. John Wiley & Sons. Hoboken. 2008.

  4. J. Kohlas and P.-A. Monney. Representation of Evidence by Hints. Chapter 26, Pages 665--681 of: R. Yager and L. Liu (eds.), Classic Works of the Dempster-Shafer Theory of Belief Functions. Springer. 2008.

  5. J. Kohlas. Reliability of Arguments. E. von Collani (eds.), Defining the Science of Stochastics. Heldermann. Lemgo, Germany. 2004.

  6. R. Haenni and J. Kohlas and N. Lehmann. Computing Probabilities of Events in Bayesian Networks. Pages 303--312 of: B. Bouchon-Meunier and J. Gutiérrez and L. Magdalena and R. Yager (eds.), Technologies for Constructing Intelligent Systems, Volume 2: Tools. Physica-Verlag. 2001.

  7. R. Haenni and J. Kohlas and N. Lehmann. Probabilistic Argumentation Systems. Pages 221--287 of: J. Kohlas and S. Moral (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning. Kluwer, Dordrecht. 2000.

  8. J. Kohlas and P.P. Shenoy. Computation in Valuation Algebras. Pages 5--39 of: J. Kohlas and S. Moral (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning. Kluwer, Dordrecht. 2000.

  9. J. Kohlas. Mathematical Foundations of Evidence Theory. Pages 31--64 of: G. Coletti and D. Dubois and R. Scozzafava (eds.), Mathematical Models for Handling Partial Knowledge in Artificial Intelligence. Plenum Press. 1995.

  10. J. Kohlas and H.W. Brachinger. Argumentation Systems and Evidence Theory. B. Bouchon-Meunier and R.R. Yager and L.A. Zadeh (eds.), Advances in Intelligent Computing -- IPMU'94, Paris. Springer Verlag. Berlin, Heidelberg, New York. 1995.

  11. J. Kohlas and P.-A. Monney and R. Haenni and N. Lehmann. Model-Based Diagnostics Using Hints. Pages 259--266 of: Ch. Froidevaux and J. Kohlas (eds.), Symbolic and Quantitative Approaches to Uncertainty, European Conference ECSQARU'95, Fribourg. Springer. Lecture Notes in Computer Science, no. 946. Berlin, Heidelberg, New York. 1995.

  12. J. Kohlas and H.W. Brachinger. Argumentation Systems and Evidence Theory. Pages 41--50 of: B. Bouchon-Meunier and R.R. Yager and L.A. Zadeh (eds.), Advances in Intelligent Computing -- IPMU'94, Paris. Springer. Lecture Notes in Computer Science, no. 945 B. 1994.

  13. L. Cardona and J. Kohlas and P.-A. Monney. Rule-Based Systems with Unreliable Conditions. Pages 265--274 of: B. Bouchon-Meunier and L. Valverde and R.R. Yager (eds.), IPMU'92 - Advanced Methods in Artificial Intelligence. Springer. Lecture Notes in Computer Science, no. 682. Berlin, Heidelberg, New York. 1993.

  14. J. Kohlas. Symbolic Evidence, Arguments, Supports and Valuation Networks. Pages 186--198 of: M. Clarke, R. Kruse and S. Moral (eds.), Symbolic and Quantitative Aproaches to Reasoning and Uncertainty. Springer. Berlin, Heidelberg, New York. 1993.

  15. J. Kohlas and L. Cardona and P.-A. Monney. The Reliability of Reasoning with Unreliable Rules and Propositions. Pages 125--129 of: R. Kruse and P. Siegel (eds.), Symbolic and Quantitative Approaches to Uncertainty, European Conference ECSQARU, Marseille. Springer. Lecture Notes in Computer Science, no. 548. 1992.

  16. J. Kohlas. Describing Uncertainty in Dynamical Systems by Uncertain Restrictions. Pages 210--223 of: G.B. Di Masi and A. Gombani and A.B. Kurzhansky (eds.), Modeling, Estimation and Control of Systems with Uncertainty. Birkhäuser, Boston. 1991.

  17. J. Kohlas. Grenzen für die Maschine - Grundsatzfragen der Informatik. Pages 327--341 of: Die Wirtschafts- und Sozialwissenschaften: Entwicklung und Perspektiven. Erinnerungsband der Wirtschafts- und Sozialwissenchaftlichen Fakultät, herausgegeben anlässlich der Hundertjahrfeier der Universität Freiburg i.Ue. und der Gründung der Fakultät. Universitätsverlag Freiburg Schweiz. 1990.

  18. J. Kohlas. Modellierung der Ungewissheit mit unsicheren Mengen. Pages 109--118 of: P. Kall and J. Kohlas and W. Popp and C.A. Zehnder (eds.), Quantitative Methoden in den Wirtschaftswissenschaften (Hans Paul Künzi zum 65. Geburtstag). Springer-Verlag. 1989.

  19. J. Kohlas. Artificial Intelligence: A Very Special Kind of Computer Science?. Pages 123--137 of: Stuart E. Savory (eds.), Expert Systems in the Organisation: An Introduction for Decision-Makers. Halsted Press. 1988.

  20. J. Kohlas. Künstliche Intelligenz: Eine besondere Form der Informatik?. Pages 213--235 of: Stuart E. Savory (eds.), Expertensysteme: Nutzen für Ihr Unternehmen, ein Leitfaden für Entscheidungsträger. R. Oldenbourg-Verlag. München, Wien. 1987.

  21. J. Kohlas. Grenzen der Möglichkeiten für den Computer. Utopie und Wirklichkeit. Universitätsverlag Freiburg. Freiburg. 1985.

  22. J. Kohlas and G. Egli. Ernährungssicherung in der Schweiz für Krisenzeiten. P. Stähly (eds.), Wirtschaftliche Landesvorsorge im Rahmen der Sicherheitspolitik. Paul Haupt-Verlag. Bern, Stuttgart. 1982.

  23. J. Kohlas. Ersatzteilbemessung für reparierbare Geräte. Pages 465--484 of: R. Henn and B. Schips and P. Stähly (eds.), Quantitative Wirtschafts- und Unternehmensforschung. Springer-Verlag. Berlin, Heidelberg, New York. 1980.

  24. J. Kohlas. Simulation auf dem Digitalrechner. Pages 16--29 of: B. Schneider and U. Ranft (eds.), Simulationsmethoden in der Medizin und Biologie. Springer-Verlag. Berlin, Heidelberg, New York. 1978.

In Collection (editor):

  1. R. Haenni and J. Kohlas and N. Lehmann. Probabilistic Argumentation Systems. Pages 221--287 of: J. Kohlas and S. Moral (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning. Kluwer, Dordrecht. 2000.

  2. J. Kohlas and P.P. Shenoy. Computation in Valuation Algebras. Pages 5--39 of: J. Kohlas and S. Moral (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning. Kluwer, Dordrecht. 2000.

  3. P. Marquis. Consequence Finding Algorithms. Pages 41--145 of: J. Kohlas and S. Moral (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning. Kluwer, Dordrecht. 2000.

  4. N. Wilson. Algorithms for Dempster-Shafer Theory. Pages 421--476 of: J. Kohlas and S. Moral (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems. Kluwer, Dordrecht. 2000.

  5. S. Glesner and D. Koller. Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases. Pages 217--226 of: Ch. Froidevaux and J. Kohlas (eds.), Symbolic and Quantitative Approaches to Uncertainty, European Conf. ECSQARU'95, Fribourg. Springer. Lecture Notes in Computer Science, no.~946. 1995.

  6. J. Kohlas and P.-A. Monney and R. Haenni and N. Lehmann. Model-Based Diagnostics Using Hints. Pages 259--266 of: Ch. Froidevaux and J. Kohlas (eds.), Symbolic and Quantitative Approaches to Uncertainty, European Conference ECSQARU'95, Fribourg. Springer. Lecture Notes in Computer Science, no. 946. Berlin, Heidelberg, New York. 1995.

  7. J. Kohlas. Modellierung der Ungewissheit mit unsicheren Mengen. Pages 109--118 of: P. Kall and J. Kohlas and W. Popp and C.A. Zehnder (eds.), Quantitative Methoden in den Wirtschaftswissenschaften (Hans Paul Künzi zum 65. Geburtstag). Springer-Verlag. 1989.

In Proceedings (author):

  1. B. Anrig and J. Kohlas. Probabilistic Argumentation and Decision Systems. An Application to Reliability Theory. Pages 75--82 of: B. Wolfinger and K. Heidtmann (eds.), 2. MMB-Arbeitsgespräch: Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen. . 2002.

  2. B. Anrig and J. Kohlas. Model-Based Reliability and Diagnostic: A Common Framework for Reliability and Diagnostics. Pages 129--136 of: M. Stumptner and F. Wotawa (eds.), DX'02, 13th Intl. Workshop on Principles of Diagnosis, Semmering, Austria. . 2002.

  3. D. Berzati and B. Anrig and J. Kohlas. Embedding Default Logic in Propositional Argumentation Systems. Pages 302--310 of: NMR 2002, 9th Intl. Workshop on Non-Monotonic Reasoning, Toulouse, France. . 2002.

  4. R. Haenni and B. Anrig and J. Kohlas and N. Lehmann. A Survey on Probabilistic Argumentation. Pages 19--25 of: ECSQARU'01, Toulouse. Workshop: Adventures in Argumentation. . 2001.

  5. R. Haenni and J. Kohlas and N. Lehmann. Computing Probabilities of Events in Bayesian Networks. Pages 1307--1312 of: IPMU'00, Proceedings of the 8th international conference, Madrid, Spain. . 2000.

  6. J. Kohlas and D. Berzati and R. Haenni. Probabilistic Argumentation Systems and Abduction. C. Baral and M. Truszczyński (eds.), Proc. of the 8th Int. Workshop on Non-Monotonic Reasoning, Breckenridge Colorado. . 2000.

  7. J. Kohlas and R. Haenni and D. Berzati. Probabilistic Argumentation Systems and Abduction. C. Baral and M. Truszczynski (eds.), Proccedings of the 8th International Workshop on Non-Monotonic Reasoning, Breckenridge Colorado. . 2000.

  8. B. Anrig and R. Haenni and J. Kohlas and N. Lehmann. Assumption-based Modeling using ABEL. Pages 171--182 of: D. Gabbay and R. Kruse and A. Nonnengart and H.J. Ohlbach (eds.), First International Joint Conference on Qualitative and Quantitative Practical Reasoning; ECSQARU--FAPR'97. Springer. 1997.

  9. R. Bissig and J. Kohlas and N. Lehmann. Fast-division architecture for Dempster-Shafer belief functions. Pages 198--209 of: D. Gabbay and R. Kruse and A. Nonnengart and H.J. Ohlbach (eds.), Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning; ECSQARU--FAPR'97. Springer. Berlin, Heidelberg, New York. 1997.

  10. B. Anrig and R. Haenni and J. Kohlas and P.-A. Monney. Probabilistic Analysis of Model-Based Diagnosis. Pages 123--128 of: IPMU'96, Proceedings of the sixth international conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Granada, Spain. . 1996.

  11. J. Kohlas. The Mathematical Theory of Evidence -- A Short Introduction. Pages 37--53 of: J. Dolezal and J. Fidler (eds.), System Modelling and Optimization. Chapman and Hall. London, New York, Melbourne. Proceedings of the Seventeenth IFIP TC7 Conference on System Modelling and Optimization, 1995. 1995.

  12. J. Kohlas and P.-A. Monney. Representation of Evidence by Hints. Pages 473--492 of: R.R. Yager and J. Kacprzyk and M. Fedrizzi (eds.), Advances in the Dempster-Shafer Theory of Evidence. John Wiley, New York. 1994.

  13. J. Kohlas and P.-A. Monney. Probabilistic Assumption-Based Reasoning. Pages 485--491 of: D. Heckermann and A. Mamdani (eds.), Proc. 9th Conf. on Uncertainty in Artificial Intelligence, Washington. Kaufmann, Morgan Publ.. 1993.

  14. J. Kohlas and P.-A. Monney. Propagating Belief Functions Through Constraint Systems. Pages 50--57 of: B. Bouchon-Meunier and R.R. Yager and L.A. Zadeh (eds.), Uncertainty in Knowledge Bases, 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'90, Paris. Springer-Verlag. Berlin, Heidelberg, New York. 1991.

  15. J. Kohlas. Modelling Uncertainty with Belief Functions. Pages 77--88 of: H. Bunke and H. Mey (eds.), Künstliche Intelligenz und Expertensysteme - Nachrichtentechnisches Kolloquium 1986/87. . Institut für Informatik und Angewandte Mathematik der Universität Bern. 1987.

  16. J. Kohlas. A Short Introduction to Monte-Carlo Methods. Pages 121--134 of: Simulation of Large Systems. . Universität Bielefeld, Schwerpunkt Mathematisierung. 1980.

  17. J. Kohlas. Betriebsformen. Pages 61--68 of: J. Kohlas und H. Waldburger (eds.), Informatik für EDV-Benützer. Paul Haupt-Verlag. Bern, Stuttgart. 1978.

  18. J. Kohlas. Modelle und Methoden. Pages 71--87 of: J. Kohlas und H. Waldburger (eds.), Informatik für EDV-Benützer. Paul Haupt-Verlag. Bern, Stuttgart. 1978.

  19. J. Kohlas. Simulationsmethoden. Pages 223--244 of: H. Noltemeier (eds.), Computergestützte Planungssysteme. Physica-Verlag. Würzburg, Wien. 1976.

  20. J. Kohlas and E. B. Blümle. Quantitative Analyse des Anreiz-Beitrags-Systems von Wirtschaftsverbänden. Pages 148--161 of: E. B. Blümle und W. Wittmann (eds.), Verbände. Gustav Fischer-Verlag. Stuttgart, New York. 1976.

  21. J. Kohlas and U. Märki. Operational Gaming mit Hilfe interaktiver Simulation. Pages 250--255 of: Proc. in O.R. 5. Physica-Verlag. Würzburg, Wien. 1976.

  22. J. Kohlas. The Generation of Random Numbers. Pages 26--34 of: M. H. Hamza (eds.), Proc. of the Int. Symposium and Course SIMULATION 1975. Acta Press. Calgary, Zürich. 1975.

  23. J. Kohlas. Variance Reducing Two-Stage Procedures for the Monte Carlo Analysis of Markov Chains. COMPSTAT Symposium on Computational Statistics. . Vienna, 02.-06. Sept. 1974. 1974.

  24. J. Kohlas and E. Handschin and F. C. Schweppe and A. Fiechter. Bad Data Analysis for Power System State Estimation. Proc. 4th Int. Conf. I FAC/IFIP on Digital Computer Applications to Process Control. . Zürich, Switzerland, 19.-22. March, 1974. 1974.

  25. J. Kohlas. Estimation of Fault Location on Power Lines. Pages 393--402 of: Proc. of the 3rd IFAC Symp. on Identification and System Parameter Estimation. . The Hague/Delft, the Netherlands, 12.-15. June 1973. 1973.

  26. J. Kohlas and E. Handschin. On Statistical Data Processing for Power System Operation. Power System Computation Conference. . Grenoble. 1972.

  27. J. Kohlas. Die Monte Carlo Methode. Pages 10--34 of: K. Bauknecht and W. Nef (eds.), Digitale Simulation. Springer-Verlag. Berlin, Heidelberg, New York. 1971.

  28. J. Kohlas and M. N. Hamza and W. Runggaldier. Time Optimal Flight Trajectories in the Pursuit Problem. Proc. 2nd IFAC-Symp. on Automatic Control in Space. . Vienna, Sept. 04.-08.1967. 1967.

In Proceedings (editor):

  1. Ch. Eichenberger. Local Computation with Gaussian Potentials. Pages 7--11 of: A. Darwiche and R. Dechter and H. Fargier and J. Kohlas and J. Mengin and G. Verfaillie and N. Wilson (eds.), ECAI'2006, Workshop 26: Inference methods based on graphical structures of knowledge. . 2006.

  2. M. Pouly. Minimizing Communication Costs of Distributed Local Computation. Pages 19--24 of: A. Darwiche and R. Dechter and H. Fargier and J. Kohlas and J. Mengin and G. Verfaillie and N. Wilson (eds.), ECAI'2006, Workshop 26: Inference methods based on graphical structures of knowledge. . 2006.

  3. C. Schneuwly. Updating in Local Computation. Pages 25--30 of: A. Darwiche and R. Dechter and H. Fargier and J. Kohlas and J. Mengin and G. Verfaillie and N. Wilson (eds.), ECAI'2006, Workshop 26: Inference methods based on graphical structures of knowledge. . 2006.

  4. N. Lehmann. Hierarchical Join Tree Construction. Pages 19 - 24 of: J. Kohlas and J. Mengin and N. Wilson (eds.), ECAI'2004, Workshop 22: Local computation for logics and uncertainty. . 2004.

  5. M. Pouly. Implementation of a generic architecture for local computation. Pages 31--37 of: J. Kohlas and J. Mengin and N. Wilson (eds.), ECAI'2004, Workshop 22: Local computation for logics and uncertainty. . 2004.

  6. C. Schneuwly. Query Processing in an Algebra of Projections and Joins. Pages 47--52 of: J. Kohlas and J. Mengin and N. Wilson (eds.), ECAI'2004, Workshop 22: Local computation for logics and uncertainty. . 2004.

  7. J. Bigham and L. Zhiyuan and B. Debashis. A Cost Bounded Possibilistic ATMS. Pages 52--59 of: C. Froidevaux and J. Kohlas (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty.. Springer Verlag. 1995.

  8. J. Kohlas. Betriebsformen. Pages 61--68 of: J. Kohlas und H. Waldburger (eds.), Informatik für EDV-Benützer. Paul Haupt-Verlag. Bern, Stuttgart. 1978.

  9. J. Kohlas. Modelle und Methoden. Pages 71--87 of: J. Kohlas und H. Waldburger (eds.), Informatik für EDV-Benützer. Paul Haupt-Verlag. Bern, Stuttgart. 1978.

Technical Reports (author):

  1. J. Langel and J. Kohlas. Algebraic Structure of Semantic Information and Questions. Predicate Logic: an Information Algebra. Tech. report 08-02. Department of Informatics, University of Fribourg. 2008.

  2. M. Pouly and J. Kohlas. Local Computation & Dynamic Programming. Tech. report 07-02. Department of Informatics, University of Fribourg. 2007.

  3. J. Kohlas. Uncertain Information - Random Variables in Graded Semilattices. Tech. report 06-07. Department of Informatics, University of Fribourg. 2006.

  4. J. Kohlas and N. Wilson. Exact and Approximate Local Computation in Semiring Induced Valuation Algebras. Tech. report 06-06. Department of Informatics, University of Fribourg. 2006.

  5. C. Schneuwly and J. Kohlas. Local Computation in Covering Join Trees, Part #2, Updating in Local Computation. Tech. report 06-08. Department of Informatics, University of Fribourg. 2006.

  6. C. Schneuwly and J. Kohlas. Boolean Information Algebras - Order and Measure. Tech. report 06-03. Department of Informatics, University of Fribourg. 2006.

  7. J. Langel and J. Kohlas. A Semantic Theory of Propositional Information. Tech. report 05-15. Department of Informatics, University of Fribourg. 2005.

  8. M. Pouly and J. Kohlas. Minimizing Communication Costs of Distributed Local Computation. Tech. report 05-20. Department of Informatics, University of Fribourg. 2005.

  9. J. Kohlas. Valuation Algebras Induced by Semirings. Tech. report 04--03. Department of Informatics, University of Fribourg. 2004.

  10. J. Kohlas and P.-A. Monney. Statistical Information and Assumption-Based Inference: Continuous Models. Tech. report 04--08. Department of Informatics, University of Fribourg. 2004.

  11. J. Kohlas and P.-A. Monney. Statistical Information and Assumption-Based Inference: Discrete Models. Tech. report 04--07. Department of Informatics, University of Fribourg. 2004.

  12. C. Schneuwly and M. Pouly and J. Kohlas. Local Computation in Covering Join Trees. Tech. report 04-16. Department of Informatics, University of Fribourg. 2004.

  13. C. Schneuwly and J. Kohlas. Query Processing in an Algebra of Projections and Joins. Tech. report 03--18. Department of Informatics, University of Fribourg. 2003.

  14. B. Anrig and J. Kohlas. Model-Based Reliability and Diagnostic: A Common Framework for Reliability and Diagnostics. Tech. report 02-01. Department of Informatics, University of Fribourg. 2002.

  15. J. Kohlas. Information in Context. Tech. report 02--15. Department of Informatics, University of Fribourg. 2002.

  16. J. Kohlas and B. Anrig and R. Bissig. Reliability and Diagnostic of Modular Systems. Tech. report 01--11. Department of Informatics, University of Fribourg. 2001.

  17. J. Kohlas. Reliability of Arguments: A New Look at Some Aspects of the History of Probability. Tech. report 00-9. Institute of Informatics, University of Fribourg. 2000.

  18. J. Kohlas and D. Berzati and R. Haenni. Probabilistic Argumentation Systems and Abduction. Tech. report 00--02. Institute of Informatics, University of Fribourg. 2000.

  19. B. Anrig and R. Bissig and R. Haenni and J. Kohlas and N. Lehmann. Probabilistic Argumentation Systems: Introduction to Assumption-Based Modeling with ABEL. Tech. report 99--01. Institute of Informatics, University of Fribourg. 1999.

  20. R. Haenni and J. Kohlas and N. Lehmann. Probabilistic Argumentation Systems. Tech. report 99--09. Institute of Informatics, University of Fribourg. 1999.

  21. R. Bissig and J. Kohlas and B. Anrig. Reliability and Diagnostic of Modular Boolean Systems. Tech. report 98--08. Institute of Informatics, University of Fribourg. 1998.

  22. J. Kohlas. Zuverlässigkeit von Argumenten. Ein neuer Blick auf Aspekte der Geschichte der Wahrscheinlichkeit. Tech. report 97--21. Institute of Informatics, University of Fribourg. 1997.

  23. J. Kohlas. Computational Theory for Information Systems. Tech. report 97--07. Institute of Informatics, University of Fribourg. 1997.

  24. J. Kohlas and P.-A. Monney and B. Anrig and R. Haenni. Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning. Tech. report 96--09. Institute of Informatics, University of Fribourg. 1996.

  25. J. Kohlas and R. F. Stärk. Information Algebras and Consequence Operators. Tech. report 96--14. Institute of Informatics, University of Fribourg. 1996.

  26. J. Kohlas and R. Haenni. Assumption-Based Reasoning and Probabilistic Argumentation Systems. Tech. report 96--07. Institute of Informatics, University of Fribourg. 1996.

  27. J. Kohlas and R. Stärk. Information Algebras and Information Systems. Tech. report 96--14. Institute of Informatics, University of Fribourg. 1996.

  28. J. Kohlas and R. Stärk. Eine mathematische Theorie von Informationssystemen. Tech. report 96--12. Institute of Informatics, University of Fribourg. 1996.

  29. J. Kohlas and S. Moral. Propositional Information Systems. Tech. report 96--01. Institute of Informatics, University of Fribourg. 1996.

  30. R. Haenni and P.-A. Monney and J. Kohlas. Assumption-Based Reasoning and Model-Based Diagnostics. Tech. report Institute of Informatics, University of Fribourg. 1995.

  31. J. Kohlas and P. Besnard. An Algebraic Study of Argumentation Systems and Evidence Theory. Tech. report 95--13. Institute of Informatics, University of Fribourg. 1995.

  32. J. Kohlas. Mathematical Foundations of Evidence Theory. Tech. report 94--09. Institute of Informatics, University of Fribourg. 1994.

  33. J. Kohlas and P. Besnard. Evidence Theory Based on General Consequence Relations. Tech. report 94--08. Institute of Informatics. 1994.

  34. J. Kohlas and P.-A. Monney. Probabilistic Assumption-Based Reasoning. Tech. report 94-22. Institute of Informatics, University of Fribourg. 1994.

  35. J. Kohlas. Symbolic Evidence, Arguments, Supports and Valuation Networks. Tech. report 93-03. Institute of Informatics, University of Fribourg. 1993.

  36. J. Kohlas and H.W. Brachinger. Mathematical Foundations of Evidence Theory. Tech. report 93--06. Institute of Informatics. 1993.

  37. J. Kohlas and P.-A. Monney. Theory of Evidence -- A Survey of is Mathematical Foundations, Applications and Computational Aspects. Tech. report University of Fribourg, Institute for Automation and Operations Research. 1993.

  38. J. Kohlas and P.-A. Monney. Probabilistic Assumption-Based Reasoning. Tech. report 208. Institute of Informatics. 1993.

  39. J. Kohlas. Evidential Reasoning About Parametric Models. Tech. report 194. Institute for Automation and Operations Research, University Fribourg. 1992.

  40. J. Kohlas. Die Darstellung und Verarbeitung vager und ungewisser Information. Tech. report 192. Institute for Automation and Operations Research, University of Fribourg. 1991.

  41. J. Kohlas and P.-A. Monney. Representation of Evidence by Hints. Tech. report 186. Institute of Informatics. 1991.

  42. J. Kohlas and P.-A. Monney and L. Cardona. Reasoning on Inference Nets with Unreliable Arguments. Tech. report 185. Institute for Automation and Operations Research, University of Fribourg. 1991.

  43. J. Kohlas. Evidenztheorie: Ein Kalkül mit Hinweisen. Tech. report Seminar am FAW Ulm, 17.-19.1.1990, Forschungsinstitut für anwendungsorientierte Wissensverarbeitung an der Universität Ulm. 1990.

  44. J. Kohlas. A Mathematical Theory of Hints. Tech. report 173. Institute of Informatics, University of Fribourg. 1990.

  45. J. Kohlas and P.-A. Monney. Modeling and Reasoning with Hints. Tech. report 174. Institute for Automation and Operations Research, University of Fribourg. 1990.

  46. J. Kohlas and T. Kämpke and F.J. Radermacher and U. Rieder. Uncertainty in Knowledge Based Systems. Tech. report Forschungsinstitut für anwendungsorientierte Wissensverarbeitung an der Universität Ulm. FAW in Ulm, 8.-13. July 1990. 1990.

  47. J. Kohlas. Ein Kalkül für den Umgang mit Hinweisen und Indizien. Tech. report 162. Institute for Automation and Operations Research, University of Fribourg. 1989.

  48. J. Kohlas and P. Hättenschwiler. Wissensbasierte Systeme auf der Grundlage linearer Modelle -- Werkzeuge und Anwendungen. Tech. report 166. Institute for Automation and Operations Research, University of Fribourg. 1989.

  49. J. Kohlas and P. Hättenschwiler. Wissensbasierte Systeme auf der Grundlage linearer Modelle - Werkzeuge und Anwendungen. Tech. report 166. Institute of Informatics, University of Fribourg. 1989.

  50. J. Kohlas and P. Hättenschwiler. The Reliability of Reasoning with Unreliable Arguments. Tech. report 168. Institute of Informatics, University of Fribourg. 1989.

  51. J. Kohlas and P.-A. Monney. Ein Kalkül für den Umgang mit Hinweisen oder Indizien. Tech. report 162. Institute of Informatics, University of Fribourg. 1989.

  52. J. Kohlas and P.-A. Monney. Propagating Belief Functions Through Constraint Systems. Tech. report 171. Institute of Informatics. 1989.

  53. J. Kohlas. Models and Algorithms for Temporal Reasoning III: Combination and Propagation of Belief and Plausibility. Tech. report 158. Institute for Automation and Operations Research, University of Fribourg. 1988.

  54. J. Kohlas. Models and Algorithms for Temporal Reasoning II: Interval Propagation. Tech. report 157. Institute for Automation and Operations Research, University of Fribourg. 1988.

  55. J. Kohlas. Models and Algorithms for Temporal Resoning I: Propagation of Constraints. Tech. report 156. Institute for Automation and Operations Research, University of Fribourg. 1988.

  56. J. Kohlas. Entscheidungunterstützende Computer-Systeme. Tech. report 150. Institute for Automation and Operations Research, University of Fribourg. 1988.

  57. J. Kohlas. Conditional Belief Structures. Revised Version. Tech. report 131a. Institute of Informatics, University of Fribourg. 1988.

  58. J. Kohlas. Entscheidungsunterstützende Computer-Systeme. Tech. report 150. Institute of Informatics, University of Fribourg. 1988.

  59. J. Kohlas. Models and Algorithms for Temporal Reasoning I: Propagation of Constraints. Tech. report 156. Institute of Informatics, University of Fribourg. 1988.

  60. J. Kohlas and P.-A. Monney. Propagating Information and Belief in a Network of Linked Variables. Tech. report 151. Institute for Automation and Operations Research, University of Fribourg. 1988.

  61. J. Kohlas and P.-A. Monney. Spatial Reasoning with Imprecise and Uncertain Knowledge and Information. Tech. report 159. Institute for Automation and Operations Research, University of Fribourg. 1988.

  62. J. Kohlas and P.-A. Monney. Propagating Information and Belief in a Network of Linked variables. Tech. report 151. Institute of Informatics, University of Fribourg. 1988.

  63. J. Kohlas and P.-A. Monney. Propagating Belief Functions Through Constraint Systems. Tech. report 161. Institute of Informatics, University of Fribourg. 1988.

  64. J. Kohlas. The Logic of Uncertainty. Potential and Limits of Probability. Theory for Managing Uncertainty in Expert Systems. Tech. report 142. Institute for Automation and Operations Research, University of Fribourg. 1987.

  65. J. Kohlas. Conditional Belief Structures. Tech. report 131. Institute of Informatics, University of Fribourg. 1987.

  66. J. Kohlas. Modeling Uncertainty with Belief Functions in Numerical Models. Tech. report 141. Institute of Informatics, University of Fribourg. 1987.

  67. J. Kohlas. The Logic of Uncertainty Potential and Limits of Probability Theory for Managing Uncertainty in Expert Systems. Tech. report 142. Institute of Informatics, University of Fribourg. 1987.

  68. J. Kohlas. Modeling Uncertainty for Plausible Reasoning with Belief. Tech. report 116. Institute for Automation and Operations Research, University of Fribourg. 1986.

  69. J. Kohlas. Modeling Uncertainty for Plausible Reasoning with Belief Functions. Tech. report 116. Institute of Informatics, University of Fribourg. 1986.

  70. J. Kohlas. Die Rolle der Informatik in der Bildung. Tech. report 98. Institute of Informatics, University of Fribourg. 1985.

  71. J. Kohlas. Numerical Computation of Mean Passage Times and Absorption Probabilities in Markov and Semi-Markov Models. Tech. report 99. Institute of Informatics, University of Fribourg. 1985.

  72. J. Kohlas. Grenzen des Möglichen für den Computer. Tech. report 75. Institute of Informatics, University of Fribourg. 1984.

  73. J. Kohlas. Das integrierte Buch (eine Projektidee). Tech. report 78. Institute of Informatics, University of Fribourg. 1984.

  74. J. Kohlas. Elements of a Combinatorial Theory of Coherent Systems. Tech. report 88. Institute of Informatics, University of Fribourg. 1984.

  75. J. Kohlas. FETE Formateur et Editeur de Textes Elémentaires. Tech. report 62. Institute of Informatics, University of Fribourg. 1983.

  76. J. Kohlas. Elemente endlicher Markoff-Ketten: Algorithmische Aspekte stochastischer Modelle. Tech. report 69. Institute of Informatics, University of Fribourg. 1983.

  77. J. Kohlas. Textverarbeitung. Tech. report 73. Institute of Informatics, University of Fribourg. 1983.

  78. J. Kohlas and P. Hättenschwiler and G.H. Egli. Energieplanung für Krisenzeiten unter bes. Berücksichtigung der Landwirtschaft und der Lebensmittelkette. Tech. report 61. Institute of Informatics, University of Fribourg. 1983.

  79. J. Kohlas. Optimale Ersatzteilbemessung: Algorithmische Aspekte stochasticher Modelle. Tech. report 46. Institute of Informatics, University of Fribourg. 1982.

  80. J. Kohlas. Elemente der Zuverlässigkeitstheorie: Algorithmische Aspekte stochastischer Modelle. Tech. report 54. Institute of Informatics, University of Fribourg. 1982.

  81. J. Kohlas and G.H. Egli. Schweizerische Ernährungsplanung für Krisenzeiten 1980 (EP - 80 - I). Tech. report 36. Institute of Informatics, University of Fribourg. 2. 1982.

  82. J. Kohlas. Ersatzteilbemessung für reparierbare Geräte. Grundlegende Modelle und Verfahren. Tech. report 25. Institute of Informatics, University of Fribourg. 1981.

  83. J. Kohlas. Das Wort und der Computer: Das ABC der Textverarbeitung. Tech. report 26. Institute of Informatics, University of Fribourg. 1981.

  84. J. Kohlas. Boolean System Function: Computational Patterns in Applied Probability. Tech. report 29. Institute of Informatics, University of Fribourg. 1981.

  85. J. Kohlas. Semi-Markov Models. Tech. report 22. Institute of Informatics, University of Fribourg. 1981.

  86. J. Kohlas and M. Brandenberger. Einführung in die Unternehmensforschung (Vorlesungsunterlagen): l. Teil. Tech. report 30. Institute of Informatics, University of Fribourg. 1981.

  87. J. Kohlas and M. Brandenberger. Einführung in die Unternehmensforschung (Vorlesungsunterlagen): 2. Teil. Tech. report 33. Institute of Informatics, University of Fribourg. 1981.

  88. J. Kohlas. Ersatzteilbemessung für Reparierbare Geräte; grundlegende Modelle und Verfahren. Tech. report 8. Institute of Informatics, University of Fribourg. 1980.

  89. J. Kohlas. A short introduction to Monte Carlo Methods. Tech. report 13. Institute of Informatics, University of Fribourg. 1980.

  90. J. Kohlas. Die aktuelle Ernährungsplanung der Schweiz für Krisenzeiten. Tech. report 16. Institute of Informatics, University of Fribourg. 1980.

  91. J. Kohlas and J. Pasquier-Boltuck. Optimization of spare parts for hierarchically decomposable systems. Tech. report 12. Institute of Informatics, University of Fribourg. 1980.

  92. J. Kohlas. Einfache Berechnungsverfahren für Zuverlässigkeitsanalysen. Tech. report 4. Institute of Informatics, University of Fribourg. 1979.

  93. J. Kohlas. Einführung in die Zuverlässigkeitsanalysen. Tech. report 5. Institute of Informatics, University of Fribourg. 1979.

Miscellaneous (author):

  1. J. Kohlas and Ch. Eichenberger. Digital Control of a Railway System II: Automatic Commuter Train Operation on a One-Track Two-Way Line. 2008.

  2. J. Kohlas and Ch. Eichenberger. Digital Control of a Railway System I: Object Control. 2007.

  3. J. Kohlas and Ch. Eichenberger. Digital Control of a Railway System II: Automatic Train Operation on a One-Track Two-Way Line. 2007.

  4. J. Kohlas and Ch. Eichenberger. Digital Control of a Railway System II: Automatic Train Operation on a One-Way Line. 2006.

  5. Kohlas, J.. Uncertainty and Information. Lecture Notes in Information Theory, Department of Informatics, University of Fribourg. 2003.

  6. B. Anrig and R. Haenni and J. Kohlas and N. Lehmann. PAS: Probabilistic Argumentation Systems. draft. 2002.

  7. B. Anrig and J. Kohlas and N. Lehmann and R. Haenni. Probabilistic Argumentation Systems: A General Tool for Argumentative and Abductive Reasoning. draft. 2001.

  8. J. Kohlas and R. Haenni and D. Berzati. Probabilistic Argumentation Systems and Abduction. Submitted to \em 8th Int. Workshop on Non-Monotonic Reasoning NMR'2000 Breckenridge, Colorado, USA. 2000.

  9. J. Kohlas and R. Haenni and N. Lehmann. Computing Probabilities of Events in Bayesian Networks. Submitted to Artif. Intell.. 1999.

  10. J. Kohlas and R. Haenni and N. Lehmann. Assumption-Based Reasoning and Probabilistic Argumentation Systems. Accepted for Publication in the Final DRUMS Handbook: Kohlas J. and Moral S. (eds), \em Algorithms for Uncertainty and Defeasible Reasoning. 1999.

  11. J. Kohlas and S. Moral and R. Haenni. Propositional Information Systems. Accepted for Publication in the J. of Logic and Computation. 1998.

  12. J. Kohlas. Uncertainty in Information Systems. Internal Paper. 1997.

Unpublished (author):

  1. B. Anrig and R. Haenni and J. Kohlas and N. Lehmann. PAS - Probabilistic Argumentation Systems. 2004.

Information