Skip to main content
SpringerLink
Log in
Book cover

KI-97: Advances in Artificial Intelligence

21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Gerhard Brewka
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christopher Habel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bernhard Nebel
    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 1303)

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

Included in the following conference series:

Conference proceedings info: KI 1997.

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. Front Matter

    Download chapter PDF

  2. Qualitative spatial representation and reasoning techniques

    • A. G. Cohn
    Pages 1-30

  3. COLBERT: A language for reactive control in Sapphira

    • Kurt Konolige
    Pages 31-52

  4. Machine learning for adaptive user interfaces

    • Pat Langley
    Pages 53-62

  5. Structured incremental proof planning

    • Stefan Gerberding, Brigitte Pientka
    Pages 63-74

  6. Many-sorted logic in a learning theorem prover

    • Thomas Kolbe, Sabine Glesner
    Pages 75-86

  7. Rigid hypertableaux

    • Michael Kühn
    Pages 87-98

  8. Minimal model generation based on E-hyper tableaux

    • Wenjin Lu
    Pages 99-110

  9. External analogy in inductive theorem proving

    • Erica Melisi, Jon Whittle
    Pages 111-122

  10. Mechanising partiality without re-implementation

    • Manfred Kerber, Michael Kohlhase
    Pages 123-134

  11. From linear proofs to direct logic with exponentials

    • Enno Sandner
    Pages 135-146

  12. Integrating an equality prover into a software development system based on type theory

    • Martin Strecker, Maria Sorea
    Pages 147-158

  13. Causation and nonmonotonic temporal reasoning

    • Peter Grünwald
    Pages 159-170

  14. Labelled quantified modal logics

    • David Basin, Seán Matthews, Luca Viganò
    Pages 171-182

  15. Defining decision rules in signed horn clauses

    • Barbara Messing
    Pages 183-194

  16. Modelling subjective distances

    • Bettina Berendt
    Pages 195-206

  17. An axiomatic approach to the spatial relations underlying left-right and in front of-behind

    • Carola Eschenbach, Lars Kulik
    Pages 207-218

  18. Representation and processing of qualitative orientation knowledge

    • Ralf Röhrig
    Pages 219-230

  19. A contribution to the question of authenticity of Rhesus using part-of-speech tagging

    • Bernd Ludwig
    Pages 231-242

  20. Making objects more knowledgeable

    • Susanne Schacht, Udo Hahn
    Pages 243-254
Back to top

Other volumes

  1. KI-97: Advances in Artificial Intelligence

Keywords

About this book

This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997.
The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search.

Bibliographic Information

  • Book Title: KI-97: Advances in Artificial Intelligence

  • Book Subtitle: 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings

  • Editors: Gerhard Brewka, Christopher Habel, Bernhard Nebel

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-63493-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1997

  • Softcover ISBN: 978-3-540-63493-5Published: 27 August 1997

  • eBook ISBN: 978-3-540-69582-0Published: 05 August 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XI, 418

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation