Personal Bibliography Page (Wolfgang Nejdl) 


This page is outdated, please check e.g. the KBS Publications Page.
  1. Peter Baumgartner, Peter Fröhlich, Ulrich Furbach and Wolfgang Nejdl. Semantically Guided Theorem Proving for Diagnosis Applications . International Joint Conference on Artificial Intelligence, Nagoya, August 1997.
  2. Peter Fröhlich and Wolfgang Nejdl. A Static Model-Based Engine for Model-Based Reasoning . International Joint Conference on Artificial Intelligence, Nagoya, August 1997.
  3. Nicola Henze and Wolfgang Nejdl. A Web-Based Learning Environment: Applying Constructivist Teaching Concepts in Virtual Learning Environments 1997 IFIP 3.3 and 3.6 Joint Working Conference The Virtual Campus: Trends for Higher Education and Training , November 27 - 29, Madrid, Spain.
  4. Peter Fröhlich and Wolfgang Nejdl. A Database-Oriented Approach to the Design of Educational Hyperbooks , Proceedings of the workshop "Intelligent Educational Systems on the World Wide Web", 8th World Conference of the AIED Society, Kobe, Japan, 18-22 August 1997.
  5. Peter Fröhlich, Nicola Henze and Wolfgang Nejdl Conceptual Modeling for Educational Hyperbooks , to appear at MMM'97, International Conference on Multimedia Modeling, 17-20 November 1997, Singapore.
  6. Hermann Wietgrefe, Klaus-Dieter Tuchs, Klaus Jobmann, Guido Carls, Peter Fröhlich, Wolfgang Nejdl, Sebastian Steinfeld Using Neural Networks for Alarm Correlation in Cellular Phone Networks. International Workshop on Applications of Neural Networks in Telecommunications, 1997.
  7. Wolfgang Nejdl, Nicola Henze Multimedia und Internet in der Lehre Technical Report.
  8. Peter Fröhlich, Wolfgang Nejdl Configuration Management as a Basis for Internet Cooperation Proceedings {S}oftware {CONF} '97. June 1997, Paris, France.
  9. Peter Fröhlich, Nicola Henze and Wolfgang Nejdl. Meta-Modeling for Hypermedia Design To appear Second IEEE Metadata Conference, 16 - 17 September 1997, Maryland.
  10. Michael Schroeder and Wolfgang Nejdl. Rapid Prototyping for Web-Mediators: Integrating Distributed Knowledge using Vivid Agents. In Working Notes of the Sixth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, Boston, USA, June 1997.
  11. Peter Fröhlich and Wolfgang Nejdl WebRC: Configuration Management for a Cooperation Tool . Proceedings of the 7th Internation Workshop on Configuration Management, SCM'7, Boston 1997.
  12. Peter Fröhlich, Nicola Henze and Wolfgang Nejdl Virtual Institutes and Virtual Classrooms: How To Enhance Teaching and Mentoring Productivity . In European Conference on Virtual Enterprises and Networked Solutions, April 07th to 10th 1997, Paderborn, Germany.
  13. Nicola Henze and Wolfgang Nejdl Eine Internet-basierte virtuelle Lernumgebung . Hannover UNI INTERN, Jahrgang 24, Nr. 1, Juli 1997.
  14. Peter Baumgartner, Peter Fröhlich, Ulrich Furbach and Wolfgang Nejdl Tableaux for Diagnosis Applications . International Conference on Analytic Tableaux and Related Methods. May 1997.
  15. P. Fröhlich, W. Nejdl, and M. Schroeder. Strategies in Model-based Diagnosis . To appear in Journal of Automated Reasoning
  16. Peter Fröhlich, Iara de Almeida Móra, Wolfgang Nejdl, and Michael Schroeder. Diagnostic Agents for Distributed Systems, 4th ModelAge Workshop -- Formal Models Of Agents , 1997.
  17. Johann Gamper and Wolfgang Nejdl. Abstract Temporal Diagnosis in Medical Domains . To appear in the Journal Artificial Intelligence in Medicine , 1997.
  18. P. Fröhlich, W. Nejdl, and M. Schroeder. Design and Implementation of Diagnostic Strategy using Modal Logic . In JELIA'96 - European Workshop on Logic in AI, 1996, Springer - Verlag. 
  19. P. Fröhlich, and W. Nejdl. Resolving Conflicts in Distributed Diagnosis . In ECAI Workshop on Modelling Conflicts in AI, Budapest, August 1996. 
  20. Johann Gamper und Wolfgang Nejdl. Modellbasierte Diagnose und Zeitliches Schließen in der Medizin . In Arbeitspapiere zum Workshop Informationsverarbeitung in der Biomedizin (Erkennung von Stoffwechselerkrankungen), Universität Leipzig, Juni 1996. 
  21. W. Nejdl and P. Fröhlich. Minimal Model Semantics for Diagnosis -- Techniques and First Benchmarks. In 7th International Workshop on Principles of Diagnosis, Val Morin, 1996.  
  22. P. Fröhlich and W. Nejdl A Model-based Reasoning Approach to Circumscription In ECAI-96 - European Conference on Artificial Intelligence Budapest, August 1996. A longer version appears in the Workshop on Nonmonotonic Reasoning
  23. P. Fröhlich and W. Nejdl A Model-based Reasoning Approach to Circumscription In Sixth International Workshop on Nonmonotonic Reasoning Timberline, Oregon, June 1996. 
  24. P. Fröhlich and W. Nejdl. A Model-based Reasoning Approach to Circumscription (Extended Version). Technical Report, Jan. 1996.
  25. P. Fröhlich, W. Nejdl, K. Jobmann and H. Wietgrefe Model-Based Alarm Correlation in Cellular Phone Networks Fifth International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), January 1997 
  26. Johann Gamper and Wolfgang Nejdl. The power of abstract temporal diagnosis in medical domains. Technical Report TR-KBS-95-1, Institut für Rechnergestützte Wissensverarbeitung, Universität Hannover, February 1995. 
  27. Michael Schroeder, Peter Fröhlich, and Wolfgang Nejdl. The class of preference strategy formulas. Technical Report TR-KBS-3, Institut für Rechnergestützte Wissensverarbeitung, Universität Hannover, May 1995.
  28. Michael Schroeder, Peter Fröhlich, and Wolfgang Nejdl. Computing the diagnostic process - an operational semantics for the class of simple strategy formulas. Technical Report TR-KBS-2, Institut für Rechnergestützte Wissensverarbeitung, Universität Hannover, May 1995. Submitted for Publication. 
  29. Johann Gamper and Wolfgang Nejdl. Formalizing reasoning about change: A temporal diagnosis approach. In Fourth Congress of the Italian Association for Artificial Intelligence, (AI*IA 95), Firenze, Italy, October 1995. Springer-Verlag. 
  30. Johann Gamper and Wolfgang Nejdl. Proposing measurements in dynamic systems . In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 784--790, Montréal, Canada, August 1995. Morgan Kaufmann Publishers, Inc. 
  31. Wolfgang Nejdl, Peter Fröhlich, and Michael Schroeder. A formal framework for representing diagnosis strategies in model-based diagnosis systems . In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 1721--1727, Montréal, Canada, August 1995. Morgan Kaufmann Publishers, Inc. 
  32. C. V. Damásio, W. Nejdl, L. Pereira, and M. Schroeder. Model-based diagnosis preferences and strategies representation with meta logic programming . In Krzysztof R. Apt and Franco Turini, editors, Meta-logics and Logic Programming, chapter 11, pages 269--311. The MIT Press, 1995. 
  33. Johann Gamper and Wolfgang Nejdl. Formalizing reasoning about change: A temporal diagnosis approach . In Proceedings of the 2nd Dutch/German Workshop on Non-Monotonic Reasoning, pages 60--66, Utrecht, The Netherlands, March 1995. 
  34. Wolfgang Nejdl and Martin Werner. Distributed intelligent agents for control, diagnosis and repair . Technical report, RWTH Aachen, August 1994. 
  35. Dagmar Schüth, Wolfgang Nejdl, and Rolf Hager. Fehlermanagement in Verkehrsinformationsnetzen . In 18th Annual German Conference on Artificial Intelligence, Informatik aktuell, pages 108--122, Saarbrücken, September 1994. Springer-Verlag. 
  36. Peter Fröhlich, Wolfgang Nejdl, and Michael Schröder. A formal semantics for preferences and strategies in model-based diagnosis. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 106--113, New Paltz, NY, October 1994. 
  37. Johann Gamper and Wolfgang Nejdl. Proposing measurements in dynamic systems. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 114--120, New Paltz, NY, October 1994. 
  38. Wolfgang Nejdl and Brigitte Giefer. DRUM : Reasoning without conflicts and justifications. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 226--233, October 1994. 
  39. Johann Gamper and Wolfgang Nejdl. A framework for model-based diagnosis of dynamic systems and its application to medical diagnosis. Technical report, RWTH Aachen, February 1994. 
  40. Wolfgang Nejdl and Johann Gamper. Harnessing the power of temporal abstractions in modelbased diagnosis of dynamic systems . In Proceedings of the 11th European Conference on Artificial Intelligence, pages 667--671, Amsterdam, The Netherlands, August 1994. John Wiley & Sons. 
  41. Wolfgang Nejdl and Jörg Bachmayer. Two algorithms suitable for constructive utility planning . In AAAI Spring Sympoium on Decision-Theoretic Planning, pages 183--189, Stanford, March 1994. 
  42. Wolfgang Nejdl and Johann Gamper. Model-based diagnosis with qualitative temporal uncertainty . In Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, pages 432--439, Seattle, Washington, July 1994. Morgan Kaufmann Publishers, Inc. 
  43. Dagmar Schüth, Wolfgang Nejdl, and Rolf Hager. Fault management of infrastructure networks . In Proceedings of the Vehicular Technology Conference, Stockholm, June 1994. IEEE/VTS. 
  44. Carlos Viegas Damásio, Luís Moniz Pereira, and Wolfgang Nejdl. REVISE: An extended logic programming system for revising knowledge bases . In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pages 607--618, Bonn, Germany, May 1994. Morgan Kaufmann Publishers, Inc. 
  45. Wolfgang Nejdl and Bernhard Nedizavec. DRUM - a belief revision system for reasoning about revision with new information as well as updates caused by actions . In Dutch/German Workshop on Nonmonotonic Reasoning, Aachen, December 1993. 
  46. Wolfgang Nejdl and Johann Gamper. Qualitative temporal behavior description and temporal diagnosis using interval algebra . In International Workshop on Principles of Diagnosis, pages 91--104, Aberystwyth, Wales, September 1993. 
  47. Wolfgang Nejdl and Jörg Bachmayer. Diagnosis and repair iteration planning versus n-step look ahead planning . In International Workshop on Principles of Diagnosis, Aberystwyth, Wales, September 1993. 
  48. Wolfgang Nejdl and Gerhard Friedrich. Constructive utility in model-based diagnosis/repair systems . In International Workshop on Principles of Diagnosis, Aberystwyth, Wales, September 1993. 
  49. Wolfgang Nejdl and Markus Banagl. Meta levels in conditional logic . 
  50. Wolfgang Nejdl and Markus Banagl. Asking about possibilities - revision and update semantics for subjunctive queries, extended version . In Gerhard Lakemeyer and Bernhard Nebel, editors, Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Artificial Intelligence, pages 250--274. Springer-Verlag, 1994. 
  51. Wolfgang Nejdl and Markus Banagl. Asking about possibilities - revision and update semantics for subjunctive queries. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, October 1992. Also appears in the ECAI-Workshop on Theoretical Foundations of Knowledge Representation and Reasoning, August 1992, Vienna. 
  52. Gerhard Friedrich and Wolfgang Nejdl. Choosing observations and actions in model-based diagnosis-repair systems . In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pages 489--498, Cambridge, MA, October 1992. Morgan Kaufmann Publishers, Inc. 
  53. Thomas Brunner, Wolfgang Nejdl, Harald Schwarzjirg, and Monika Sturm. Online expert system for power system diagnosis and restoration . Intelligent Systems Engineering, pages 15--24, Spring 1993. 
  54. Monika Pfau-Wagenbauer and Wolfgang Nejdl. Model/heuristic-based alarm processing for power systems . Journal on AI in Engineering, Design and Manufacturing (AI EDAM), 7(1):65--78, 1993. 
  55. Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Formalizing the repair process - extended report . Annals of Mathematics and Artificial Intelligence, 11(1--4), September 1994. Special Issue on Principles of Model-Based Diagnosis. 
  56. Monika Pfau-Wagenbauer, Thomas Brunner, and Wolfgang Nejdl. Process-oriented techniques in an expert system for power system diagnosis . In ECAI-Workshop on Advances in Real-Time Expert System Technologies, Vienna, August 1992. 
  57. Monika Pfau and Wolfgang Nejdl. Integrating model-based and heuristic features in a realtime expert system for power distribution networks . IEEE Expert, pages 12--18, August 1993. 
  58. Monika Pfau and Wolfgang Nejdl. Integrating model-based and heuristic features in a realtime expert system for power distribution networks . In Proceedings of the IEEE Conference on Artificial Intelligence Applications (CAIA), 1992. 
  59. Franz Lackinger and Wolfgang Nejdl. DIAMON: A model-based troubleshooter based on qualitative reasoning . IEEE Expert, pages 33--40, February 1993. 
  60. Wolfgang Nejdl, Stefano Ceri, and Gio Wiederhold. Evaluating recursive queries in distributed databases . IEEE Transactions on Knowledge and Data Engineering, 5(1):104--121, February 1993. 
  61. Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Formalizing the repair process . In Proceedings of the European Conference on Artificial Intelligence (ECAI), pages 709--713, Vienna, August 1992. John Wiley & Sons, Chichester. Also appeared in the Proceedings of the Second International Workshop on Principles of Diagnosis, Milano, 1991. 
  62. Wolfgang Nejdl. The P-Systems: A systematic classification of logics of nonmonotonicity - extended report . Technical report, Technical University of Vienna, January 1992. 
  63. Wolfgang Nejdl. Belief revision, diagnosis and repair. In Proceedings of the International GI Conference on Knowledge Based Systems, München, October 1991. Springer-Verlag. 
  64. Wolfgang Nejdl. The P-Systems: A systematic classification of logics of nonmonotonicity. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 366--372, Anaheim, CA, July 1991. 
  65. Franz Lackinger and Wolfgang Nejdl. Integrating model-based monitoring and diagnosis of complex dynamic systems. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1123--1128, Sydney, Australia, August 1991. Morgan Kaufmann Publishers, Inc. Also appeared in Fifth International Workshop on Qualitative Reasoning About Physical Systems, Austin, May 1991. 
  66. Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Towards a theory of the repair process. In Proceedings of the Portuguese Conference on Artificial Intelligence, Albufeira, October 1991. Springer AI Lecture Notes. Also appeared at the Model-Based Reasoning Workshop, AAAI'91, July 1991, Anaheim. 
  67. Wolfgang Nejdl. Expert systems in engineering --- characteristics and applications. In Allen Kent and James G. Williams, editors, Encyclopedia of Computer Science and Technology. Marcel Dekker, Inc., New York, Basel, 1992. 
  68. Gerhard Friedrich, Franz Lackinger, and Wolfgang Nejdl. Redefining the candidate space in model-based diagnosis. In Proceedings of the European Conference on Artificial Intelligence (ECAI), pages 277--282, Stockholm, August 1990. Pitman Publishing. also appeared as Technical Report CD-TR 90/1. 
  69. Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Physical impossibility instead of fault models. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 331--336, Boston, August 1990. Also appears in W. Hamscher, L. Console, J. de Kleer, eds, Readings in Model-Based Diagnosis, Morgan Kaufmann, 1992. 
  70. Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques. Computers and Mathematics with Applications, 20(9/10):57--72, 1990. Special Issue on Logic Programming in Intelligent Decision and Control Systems. 
  71. Georg Gottlob and Wolfgang Nejdl, editors. Expert Systems in Engineering, volume 462 of Lecture Notes in Artificial Intelligence. Springer-Verlag, September 1990. 
  72. Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Hypothesis classification, abductive diagnosis and therapy. In First International Workshop on Principles of Diagnosis, Stanford, July 1990. Also appeared in Proceedings of the International Workshop on Expert Systems in Engineering, Lecture Notes in Artificial Intelligence, Vol. 462, Vienna, September 1990, Springer-Verlag. 
  73. Wolfgang Nejdl. Model-based diagnosis. In Thom Frühwirth, Georg Gottlob, and Werner Horn, editors, Expertensysteme -- Grundlagen und Methoden. Springer-Verlag, 1990. 
  74. Gerhard Friedrich and Wolfgang Nejdl. MOMO --- Model-based diagnosis for everybody. In Proceedings of the IEEE Conference on Artificial Intelligence Applications (CAIA), Santa Barbara, March 1990. A slightly revised and extended version appears in W. Hamscher, L. Console, J. de Kleer, eds, Readings in Model-Based Diagnosis, Morgan Kaufmann, 1992. 
  75. Wolfgang Nejdl and Johannes Kroupa. Revising domain theories in model-based reasoning systems. In Proceedings of the German Workshop on Artificial Intelligence. Springer-Verlag, September 1989. 
  76. Gerhard Friedrich and Wolfgang Nejdl. Fault models or physical necessity? In Workshop on Model-Based Reasoning, International Joint Conference on Artificial Intelligence, pages 102--109, Detroit, August 1989. 
  77. Gerhard Friedrich and Wolfgang Nejdl. Generating efficient diagnostic decision tree procedures for model-based reasoning systems. In International Workshop on Model-Based Diagnosis, Paris, July 1989. 
  78. Gerhard Friedrich and Wolfgang Nejdl. Using domain knowledge to improve incremental inductive learning algorithms for diagnosis. In Proceedings of the International Workshop on Machine Learning, Cornell University, June 1989. Morgan Kaufmann Publishers, Inc. 
  79. Gerhard Friedrich and Wolfgang Nejdl. Increasing the information theoretic content of diagnostic examples using a domain model. In Proceedings of the International Workshop on Expert Systems and Their Applications, Avignon, May 1989. Specialized Conference Second Generation Expert Systems. 
  80. Gerhard Fleischanderl, Gerhard Friedrich, Wolfgang Nejdl, and Johannes Retti. Integrating logic, object-oriented and procedural paradigms in a fault diagnosis and monitoring system. In International Conference in Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Tullahoma, Tennessee, June 1989. ACM Press. 
  81. Wolfgang Nejdl. Query Processing in a Deductive Prolog/RDBMS System. PhD thesis, Technical University of Vienna, April 1988. 
  82. Johannes Retti, Wolfgang Nejdl, and Gerhard Friedrich. ARTEX --- Knowledge based fault detection and correction in a switching system. In Proceedings of the International GI Conference on Knowledge Based Systems, München, 1987. Springer-Verlag. 
  83. Gerhard Friedrich, Wolfgang Nejdl, and Johannes Retti. Knowledge based fault detection and correction using an object oriented model in ARTEX. In Proceedings of the Austrian Conference on Artificial Intelligence, Vienna, September 1987. Springer-Verlag. 
  84. Wolfgang Nejdl. The RQA/FQI strategy --- some thoughts on the evaluation of recursive queries in knowledge base management systems. In Proceedings of the Austrian Conference on Artificial Intelligence, Vienna, September 1987. Springer-Verlag. 
  85. Wolfgang Nejdl. Recursive strategies for answering recursive queries --- the RQA/FQI strategy. In Proceedings of the International Conference on Very Large Databases (VLDB), Brighton, September 1987. 
  86. Wolfgang Nejdl. Recursive question answering and efficient dynamic database access in the PROLOG-DB system. In Informatics 2000, Sopron, June 1987. 
  87. Wolfgang Nejdl and Erich J. Neuhold. The PROLOG-DB system: Integrating prolog and relational databases. Journal of the Austrian Society for Artificial Intelligence, 5(1), July 1986. 
  88. Wolfgang Nejdl and Erich J. Neuhold. Extension of a prolog environment using a relational database and semantic data model concepts. Workshop for Databases and Expert Systems, Dortmund, May 1986. 
  89. Wolfgang Nejdl, Erich J. Neuhold, and Norbert Theuretzbacher. Using artificial intelligence technology in failsafe real time systems. In Proceedings of the International SPIE/ANRT Symposium --- Applications of Artificial Intelligence, Innsbruck, April 1986. 
  90. Erich J. Neuhold and Wolfgang Nejdl. Expert and database systems. Journal of the Austrian Society for Artificial Intelligence, 4(4), December 1985. 
  91. Wolfgang Nejdl. Eine Softwareentwicklungsumgebung für Echtzeitsysteme. Master's thesis, Technical University of Vienna, 1984. 
  92. Wolfgang Heinz and Wolfgang Nejdl. Syntaktisches Parsing - eine SLOT-Grammar für deutsche Hauptsätze. Journal of the Austrian Society for Artificial Intelligence, 2(2):41--56, July 1983.