16. GWAI 1992:
Bonn,
Germany
Hans Jürgen Ohlbach (Ed.):
GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings.
Lecture Notes in Computer Science 671 Springer 1993, ISBN 3-540-56667-8 
@proceedings{DBLP:conf/ki/1992,
editor = {Hans J{\"u}rgen Ohlbach},
title = {GWAI-92: Advances in Artificial Intelligence, 16th German Conference
on Artificial Intelligence, Bonn, Germany, August 31 - September
3, 1992, Proceedings},
booktitle = {GWAI},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {671},
year = {1993},
isbn = {3-540-56667-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
- Dov M. Gabbay:
How to Construct a Logic for Your Application.
1-29
Technical Papers
- Peter Baumgartner:
A Model Elimination Calculus with Built-in Theories.
30-42
- Christoph Weidenbach:
A New Sorted Logic.
43-54
- Xiaorong Huang:
An Explanatory Framework for Human Theorem Proving.
55-66
- Joachim Posegga, Bertram Ludäscher:
Towards First-order Deduction Based on Shannon Graphs.
67-75
- Reinhard Bachmann, Thomas Malsch, Susanne Ziegler:
Success and Failure of Expert Systems in Different Fields of Industrial Application.
77-86
- Marc Linster:
Viewing Knowledge Engineering as a Symbiosis of Modeling to Make Sense and Modeling to Implement Systems.
87-99
- Sonja Branskat:
Cases as a Basis for Knowledge Acquisition in the Pre-Formal Phases of Knowledge Engineering.
100-109
- Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß:
Controlling Generate & Test in Any Time.
110-121
- Achim Weigel, Rainer Bleisinger:
Efficient Computation of Solutions for Contradictory Time Interval Networks.
122-131
- Franz Baader, Philipp Hanschke:
Extensions of Concept Languages for a Mechanical Engineering Application.
132-143
- Philipp Hanschke, Knut Hinkelmann:
Combining Terminological and Rule-based Reasoning for Abstraction Processes.
144-155
- Knut Hinkelmann:
Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM.
156-165
- Erich Prem, Markus Mackinger, Georg Dorffner, Gerold Porenta, Heinz Sochor:
Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge.
166-175
- Jürgen Herrmann, Renate Beckmann:
A Heuristic Inductive Generalization Method and its Application to VLSI-Design.
176-186
- Ralph Bergmann:
Learning Plan Abstractions.
187-198
- Alexander Linden:
On Discontinuous Q-Functions in Reinforcment Learning.
199-209
- Karsten Poeck, Martin Tins:
An Intelligent Tutoring System for Classification Problem Solving.
210-220
- Martin Schröder:
Knowledge-based Processing of Medical Language: A Language Engineering Approach.
221-234
- Heike Kranzdorf, Ulrike Griefahn:
Text Planning in ITEX: A Hybrid Approach.
235-246
- Marion Schulz, Daniela Schmidt:
Yes/No Questions with Negation: Towards Integrating Semantics and Pragmatics.
247-254
- Esther König:
An Efficient Decision Algorithm for Feature Logic.
255-266
- Stefan Decker, Christoph Lingenfelder:
Universally Quantified Queries in Language with Order-Sorted Logics.
267-271
- Justus Meier:
A Semantic View of Explanation.
272-282
- Dietmar Janetzko, Stefan Wess, Erica Melis:
Goal-Driven Similarity Assessment.
283-298
Workshop Contributions
Copyright © Wed Nov 25 18:59:16 2009
by Michael Ley (ley@uni-trier.de)
