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

Authors

Publication date 22 November 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Artificial intelligence Bonn (Germany)Conference GWAI '92 Proceedings

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

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]

Recommendations

This page was built for publication: GWAI-92: Advances in artificial intelligence. 16th German conference on artificial intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1308633)