Skip to main content
SpringerLink
Log in

GWAI-92: Advances in Artificial Intelligence

16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Hans Jürgen Ohlbach
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 671)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Download chapter PDF

  2. How to construct a logic for your application

    • D. M. Gabbay
    Pages 1-29

  3. A model elimination calculus with built-in theories

    • Peter Baumgartner
    Pages 30-42

  4. A new sorted logic

    • Christoph Weidenbach
    Pages 43-54

  5. An explanatory framework for human theorem proving

    • Xiaorong Huang
    Pages 55-66

  6. Towards first-order deduction based on Shannon graphs

    • Joachim Posegga, Bertram Ludäscher
    Pages 67-76

  7. Success and failure of expert systems in. different fields of industrial application

    • Reinhard Bachmann, Thomas Malsch, Susanne Ziegler
    Pages 77-86

  8. Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems

    • Marc Linster
    Pages 87-99

  9. Cases as a basis for knowledge acquisition in the pre-formal phases of knowledge engineering

    • Sonja Branskat, Marc Linster
    Pages 100-109

  10. Controlling generate & test in any time

    • Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß
    Pages 110-121

  11. Efficient computation of solutions for contradictory time interval networks

    • Achim Weigel, Rainer Bleisinger
    Pages 122-131

  12. Extensions of concept languages for a mechanical engineering application

    • Franz Baader, Philipp Hanschke
    Pages 132-143

  13. Combining terminological and rule-based reasoning for abstraction processes

    • Philipp Hanschke, Knut Hinkelmann
    Pages 144-155

  14. Forward logic evaluation: Compiling a partially evaluated meta-interpreter into the WAM

    • Knut Hinkelmann
    Pages 156-165

  15. Concept support as a method for programming neural networks with symbolic knowledge

    • Erich Prem, Markus Mackinger, Georg Dorffner, G. Porenta, H. Sochor
    Pages 166-175

  16. A heuristic inductive generalization method and its application to VLSI-design

    • Jürgen Herrmann, Renate Beckmann
    Pages 176-186

  17. Learning plan abstractions

    • Ralph Bergmann
    Pages 187-198

  18. On discontinuous Q-Functions in reinforcement learning

    • Alexander Linden
    Pages 199-209

  19. An intelligent tutoring system for classification problem solving

    • Karsten Poeck, Martin Tins
    Pages 210-220

  20. Knowledge-based processing of medical language: A language engineering approach

    • Martin Schröder
    Pages 221-234
Back to top

Keywords

About this book

This volume gives the proceedings of the sixteenth German Conference on Artificial Intelligence, held in the Gustav Stresemann Institute in Berlin from August 31 to September 3, 1992. The volume contains 24 papers presentedin the technical sessions, 8 papers selected from the workshop contributions, and an invited talk by D.M. Gabbay entitled "Howto construct a logic for your application". Topics discussed in the technical papers include: a model elimination calculus, a sorted logic, human theorem proving, deduction based on Shannon graphs, expert system applications, knowledge engineering, time interval networks, forward logic evaluation, concept support, heuristic inductivegeneralization, language engineering, feature logic, similarity assessment, and many others.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation