Skip to main content
SpringerLink
Log in
Book cover

KI-96: Advances in Artificial Intelligence

20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Günther Görz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Steffen Hölldobler
    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 1137)

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

Included in the following conference series:

Conference proceedings info: KI 1996.

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 (39 papers)

  1. Managing multiple contexts efficiently

    • Gerhard K. Kraetzschmar, Josef Schneeberger
    Pages 179-182

  2. Inductive learning in symbolic domains using structure-driven recurrent neural networks

    • Andreas Küchler, Christoph Goller
    Pages 183-197

  3. Belief revision in a nonclassical logic

    • Gerhard Lakemeyer, Wilfried Lang
    Pages 199-211

  4. Avoiding combinatorial explosion in automatic test generation: Reasoning about measurements is the key

    • Harald Lange, Ralf Möller, Bernd Neumann
    Pages 213-226

  5. Case retrieval nets: Basic ideas and extensions

    • Mario Lenz, Hans-Dieter Burkhard
    Pages 227-239

  6. Putting default logics in perspective

    • Thomas Linke, Torsten Schaub
    Pages 241-252

  7. EULE2: A prototypical knowledge-based decision support system for the performance of office tasks

    • Andreas Margelisch, Bernd Novotny, Ulrich Reimer
    Pages 253-257

  8. When to prove theorems by analogy?

    • Erica Melis
    Pages 259-271

  9. Probabilistic knowledge representation and reasoning at maximum entropy by SPIRIT

    • Carl-Heinz Meyer, Wilhelm Rödder
    Pages 273-285

  10. Knowledge based image understanding by iterative optimization

    • H. Niemann, V. Fischer, D. Paulus, J. Fischer
    Pages 287-301

  11. Knowledge organization using the development system FAENSY

    • Wolfgang Oertel
    Pages 303-306

  12. A uniform proof procedure for classical and non-classical logics

    • Jens Otten, Christoph Kreitz
    Pages 307-319

  13. Qualitative reasoning under uncertainty with symbolic probabilities

    • Daniel Pacholczyk, Gilles Hunault
    Pages 321-325

  14. Narratives with concurrent actions: The mutual exclusion problem (extended abstract)

    • Anna Radzikowska
    Pages 327-330

  15. Tools for autonomous agents

    • Stuart Russell
    Pages 331-331

  16. A concept language extended with different kinds of transitive roles

    • Ulrike Sattler
    Pages 333-345

  17. Representation in auditory cortex

    • Henning Scheich
    Pages 347-347

  18. A terminological qualification calculus for preferential reasoning under uncertainty

    • Klemens Schnattinger, Udo Hahn
    Pages 349-362

  19. Syntactic disambiguation by using categorial parsing in a DOOD framework

    • Werner Winiwarter, Osami Kagawa, Yahiko Kambayashi
    Pages 363-375

  20. Constructive disjunction revisited

    • Jörg Würtz, Tobias Müller
    Pages 377-386
Back to top

Keywords

About this book

This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996.
The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation