Publications
- 1998
- Published
Strategies in Model-based Diagnosis
Fröhlich, P., Nejdl, W. & Schroeder, M., 1998, In: Journal of automated reasoning. 20, 1-2, p. 81-105 25 p.Research output: Contribution to journal › Article › Research › peer review
- 1997
- Published
Abstract temporal diagnosis in medical domains
Gamper, J. & Nejdl, W., Jul 1997, In: Artificial Intelligence in Medicine. 10, 3, p. 209-234 26 p.Research output: Contribution to journal › Article › Research › peer review
- Published
Conceptual modeling for educational hyperbooks
Fröhlich, P., Henze, N. & Nejdl, W., 1997, Multimedia Modeling, MMM 1997 - Modeling Multimedia Information and Systems. Keng, P. H. & Seng, C. T. (eds.). World Scientific Publishing Co. Pte Ltd, p. 403-420 18 p. (Multimedia Modeling, MMM 1997 - Modeling Multimedia Information and Systems).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Model-based alarm correlation in cellular phone networks
Froehlich, P., Nejdl, W., Jobmann, K. & Wietgrefe, H., 1997, p. 197-204. 8 p.Research output: Contribution to conference › Paper › Research › peer review
- Published
Tableaux for diagnosis applications
Baumgartner, P., Frshlich, P., Furbach, U. & Nejdl, W., 1997, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings. Galmiche, D. (ed.). Springer Verlag, p. 76-90 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1227).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
WebRC configuration management for a cooperation tool
Fröhlich, P. & Nejdl, W., 1997, Software Configuration Management - ICSE 1997 SCM-7 Workshop, Proceedings. Conradi, R. (ed.). Springer Verlag, p. 175-185 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1235).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 1996
- Published
Design and implementation of diagnostic strategies using modal logic
Fröhlich, P., Nejdl, W. & Schroeder, M., 1996, Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. Alferes, J. J., Pereira, L. M. & Orlowska, E. (eds.). Springer Verlag, p. 104-118 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1126).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 1995
- Published
Formalizing reasoning about change: A temporal diagnosis approach
Gamper, J. & Nejdl, W., 1995, Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings. Gori, M. & Soda, G. (eds.). Springer Verlag, p. 335-346 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 992).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 1993
- Published
On-line expert system for power system diagnosis and restoration
Brunner, T., Nejdl, W., Schwarzjirg, H. & Sturm, M., 1993, In: Intelligent systems engineering. 2, 1, p. 15-24 10 p.Research output: Contribution to journal › Article › Research › peer review
- 1990
- Published
Expert systems in engineering: Principles and applications: International workshop Vienna, Austria, september 24–26, 1990 proceedings
Gottlob, G. & Nejdl, W., 1990, Expert Systems in Engineering: Principles and Applications - International Workshop, Proceedings. Gottlob, G. & Nejdl, W. (eds.). Springer Verlag, p. III-IV (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 462 LNAI).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review