GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

Lecture Notes in Artificial Intelligence, Volume 671......Page 0
Preface......Page 4
Contents......Page 7
How to Construct a Logic for Your Application......Page 10
A Model Elimination Calculus with Built-in Theories
......Page 39
A New Sorted Logic......Page 52
An Explanatory Framework for Human Theorem Proving......Page 64
Towards First-order Deduction Based on Shannin Graphs
......Page 76
Success and failure of expert systems in. different fields of industrial application
......Page 86
Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems......Page 96
Cases as a basis for knowledge acquisition in the pre-formal phases of knowledge engineering......Page 109
Controlling generate & test in any time......Page 119
Efficient computation of solutions for contradictory time interval networks
......Page 131
Extensions of concept languages for a mechanical engineering application
......Page 141
Combining terminological and rule-based reasoning for abstraction processes
......Page 153
Forward logic evaluation: Compiling a partially evaluated meta-interpreter into the WAM
......Page 165
Concept support as a method for programming neural networks with symbolic knowledge
......Page 175
A heuristic inductive generalization method and its application to VLSI-design
......Page 185
Learning Plan Abstractions......Page 196
On discontinuous Q-Functions in reinforcement learning
......Page 208
An intelligent tutoring system for classification problem solving
......Page 219
Knowledge-based processing of medical language: A language engineering approach
......Page 230
Text planning in ITEX: A hybrid approach
......Page 244
Yes/no questions with negation: Towards integrating semantics and pragmatics
......Page 256
An efficient decision algorithm for feature logic
......Page 264
Universally quantified queries in languages with order-sorted logics
......Page 276
A semantic view of explanation
......Page 281
Goal-driven similarity assessment
......Page 292
Delegated negotiation for resource re-allocation
......Page 308
Towards a specification language for cooperation methods
......Page 322
Improving operating system usage
......Page 329
The role of user models for conflicts in a constraint-based model of generation
......Page 343
Criteria in natural language generation: Minimal criteria and their impacts
......Page 356
Terminological representation, natural language & relation algebra
......Page 366
Linking humans and intelligent systems or: What are user agents good for?
......Page 381
An advisor for the management of the acute radiation syndrome
......Page 395
Authors Index......Page 406