GWAI-92: Advances in artificial intelligence. 16th German conference on artificial intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings (Q1308633)

The articles of mathematical interest will be reviewed individually. The preceding conference (15th, 1996) has been announced (see Zbl 0825.68104). Indexed articles: \textit{Gabbay, D. M.}, How to construct a logic for your application, 1-29 [Zbl 0925.03156] \textit{Baumgartner, Peter}, A model elimination calculus with built-in theories, 30-42 [Zbl 0925.03050] \textit{Weidenbach, Christoph}, A new sorted logic, 43-54 [Zbl 0921.03010] \textit{Huang, Xiaorong}, An explanatory framework for human theorem proving, 55-66 [Zbl 0925.00021] \textit{Posegga, Joachim; Ludäscher, Bertram}, Towards first-order deduction based on Shannon graphs, 67-76 [Zbl 0925.03078] \textit{König, Esther}, An efficient decision algorithm for feature logic, 255-266 [Zbl 0925.03051]