Overview: This volume gives the proceedings of the sixteenth GermanConference on Artificial Intelligence, held in the GustavStresemann Institute in Berlinfrom August 31 to September3, 1992. The volume contains 24 papers presentedin thetechnical sessions, 8 papers selected from the workshopcontributions, and an invited talk by D.M. Gabbay entitled"Howto construct a logic for your application".Topics discussed in the technical papers include: a modelelimination calculus, a sorted logic, human theorem proving,deduction based on Shannon graphs, expertsystemapplications, knowledge engineering, time
|