Presents the proceedings of the 16th German Conference on Artificial Intelligence, held in Germany in 1992. Topics covered include a model elimination calculus, a sorted logic, human theorem proving, deduction based on Shannon graphs, and expert system applications.

How to construct a logic for your application.- A model elimination calculus with built-in theories.- A new sorted logic.- An explanatory framework for human theorem proving.- Towards first-order deduction based on Shannon graphs.- Success and failure of expert systems in. different fields of industrial application.- Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems.- Cases as a basis for knowledge acquisition in the pre-formal phases of knowledge engineering.- Controlling generate & test in any time.- Efficient computation of solutions for contradictory time interval networks.- Extensions of concept languages for a mechanical engineering application.- Combining terminological and rule-based reasoning for abstraction processes.- Forward logic evaluation: Compiling a partially evaluated meta-interpreter into the WAM.- Concept support as a method for programming neural networks with symbolic knowledge.- A heuristic inductive generalization method and its application to VLSI-design.- Learning plan abstractions.- On discontinuous Q-Functions in reinforcement learning.- An intelligent tutoring system for classification problem solving.- Knowledge-based processing of medical language: A language engineering approach.- Text planning in ITEX: A hybrid approach.- Yes/no questions with negation: Towards integrating semantics and pragmatics.- An efficient decision algorithm for feature logic.- Universally quantified queries in languages with order-sorted logics.- A semantic view of explanation.- Goal-driven similarity assessment.- Delegated negotiation for resource re-allocation.- Towards a specification language for cooperation methods.- Improving operating system usage.- The role of user models for conflicts in a constraint-based model of generation.- Criteria in natural language generation: Minimal criteria and their impacts.- Terminological representation, natural language & relation algebra.- Linking humans and intelligent systems or: What are user agents good for?.- An advisor for the management of the acute radiation syndrome.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com