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 BibTeX
@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
Technical Papers
- Peter Baumgartner:
A Model Elimination Calculus with Built-in Theories.
30-42 BibTeX
- Christoph Weidenbach:
A New Sorted Logic.
43-54 BibTeX
- Xiaorong Huang:
An Explanatory Framework for Human Theorem Proving.
55-66 BibTeX
- Joachim Posegga, Bertram Ludäscher:
Towards First-order Deduction Based on Shannon Graphs.
67-75 BibTeX
- Reinhard Bachmann, Thomas Malsch, Susanne Ziegler:
Success and Failure of Expert Systems in Different Fields of Industrial Application.
77-86 BibTeX
- Marc Linster:
Viewing Knowledge Engineering as a Symbiosis of Modeling to Make Sense and Modeling to Implement Systems.
87-99 BibTeX
- Sonja Branskat:
Cases as a Basis for Knowledge Acquisition in the Pre-Formal Phases of Knowledge Engineering.
100-109 BibTeX
- Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß:
Controlling Generate & Test in Any Time.
110-121 BibTeX
- Achim Weigel, Rainer Bleisinger:
Efficient Computation of Solutions for Contradictory Time Interval Networks.
122-131 BibTeX
- Franz Baader, Philipp Hanschke:
Extensions of Concept Languages for a Mechanical Engineering Application.
132-143 BibTeX
- Philipp Hanschke, Knut Hinkelmann:
Combining Terminological and Rule-based Reasoning for Abstraction Processes.
144-155 BibTeX
- Knut Hinkelmann:
Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM.
156-165 BibTeX
- Erich Prem, Markus Mackinger, Georg Dorffner, Gerold Porenta, Heinz Sochor:
Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge.
166-175 BibTeX
- Jürgen Herrmann, Renate Beckmann:
A Heuristic Inductive Generalization Method and its Application to VLSI-Design.
176-186 BibTeX
- Ralph Bergmann:
Learning Plan Abstractions.
187-198 BibTeX
- Alexander Linden:
On Discontinuous Q-Functions in Reinforcment Learning.
199-209 BibTeX
- Karsten Poeck, Martin Tins:
An Intelligent Tutoring System for Classification Problem Solving.
210-220 BibTeX
- Martin Schröder:
Knowledge-based Processing of Medical Language: A Language Engineering Approach.
221-234 BibTeX
- Heike Kranzdorf, Ulrike Griefahn:
Text Planning in ITEX: A Hybrid Approach.
235-246 BibTeX
- Marion Schulz, Daniela Schmidt:
Yes/No Questions with Negation: Towards Integrating Semantics and Pragmatics.
247-254 BibTeX
- Esther König:
An Efficient Decision Algorithm for Feature Logic.
255-266 BibTeX
- Stefan Decker, Christoph Lingenfelder:
Universally Quantified Queries in Language with Order-Sorted Logics.
267-271 BibTeX
- Justus Meier:
A Semantic View of Explanation.
272-282 BibTeX
- Dietmar Janetzko, Stefan Wess, Erica Melis:
Goal-Driven Similarity Assessment.
283-298 BibTeX
Workshop Contributions
Copyright © Sat May 16 23:28:09 2009
by Michael Ley (ley@uni-trier.de)
