%A Heinz Winter %T Artificial intelligence in man-machine systems and automation %J Proceedings of the International Seminar on Artificial Intelligence in Man-machine Systems %C Bonn, Germany %D May 1986 %E H. Winter %O published as Lecture Notes in Control and Information Sciences 80 by Springer-Verlag %K aimms %P 1-22 %A John Mylopoulos %A Alex Borgida %A Sol Greenspan %A Carlo Meghini %A Brian Nixon %T Knowledge representation in the software development process: a case study %J Proceedings of the International Seminar on Artificial Intelligence in Man-machine Systems %C Bonn, Germany %D May 1986 %E H. Winter %O published as Lecture Notes in Control and Information Sciences 80 by Springer-Verlag %K aimms %P 23-44 %A Bernd Radig %T Design and applications of expert systems %J Proceedings of the International Seminar on Artificial Intelligence in Man-machine Systems %C Bonn, Germany %D May 1986 %E H. Winter %O published as Lecture Notes in Control and Information Sciences 80 by Springer-Verlag %K aimms %P 45-61 %A Wolfgang Wahlster %T The role of natural language in advanced knowledge-based systems %J Proceedings of the International Seminar on Artificial Intelligence in Man-machine Systems %C Bonn, Germany %D May 1986 %E H. Winter %O published as Lecture Notes in Control and Information Sciences 80 by Springer-Verlag %K aimms %P 62-83 %A Gerhard Fischer %T Cognitive science: information processing in humans and computers %J Proceedings of the International Seminar on Artificial Intelligence in Man-machine Systems %C Bonn, Germany %D May 1986 %E H. Winter %O published as Lecture Notes in Control and Information Sciences 80 by Springer-Verlag %K aimms %P 84-112 %A A. Meystel %T Knowledge-based controller for intelligent mobile robots %J Proceedings of the International Seminar on Artificial Intelligence in Man-machine Systems %C Bonn, Germany %D May 1986 %E H. Winter %O published as Lecture Notes in Control and Information Sciences 80 by Springer-Verlag %K aimms %P 113-140 %A Stephen E. Cross %A Robert B. Bahnij %A Douglas O. Norman %T Knowledge-based pilto aids: a case study in mission planning %J Proceedings of the International Seminar on Artificial Intelligence in Man-machine Systems %C Bonn, Germany %D May 1986 %E H. Winter %O published as Lecture Notes in Control and Information Sciences 80 by Springer-Verlag %K aimms %P 141-174 %A Uwe Volckers %T Dynamic planning and time-conflict resolution in air traffic control %J Proceedings of the International Seminar on Artificial Intelligence in Man-machine Systems %C Bonn, Germany %D May 1986 %E H. Winter %O published as Lecture Notes in Control and Information Sciences 80 by Springer-Verlag %K aimms %P 175-197 %A L.A. Zadeh %T Outline of a computational approach to meaning and knowledge representation based on the concept of a generalized assigment statement %J Proceedings of the International Seminar on Artificial Intelligence in Man-machine Systems %C Bonn, Germany %D May 1986 %E H. Winter %O published as Lecture Notes in Control and Information Sciences 80 by Springer-Verlag %K aimms %P 198-211