Skip to main content
SpringerLink
Log in
Book cover

KI-95: Advances in Artificial Intelligence

19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Ipke Wachsmuth
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Claus-Rainer Rollinger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Wilfried Brauer
    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 981)

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

  1. Front Matter

    Download chapter PDF

  2. Partially observable Markov decision processes for artificial intelligence

    • Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
    Pages 1-17

  3. Robust processing of natural language

    • Wolfgang Menzel
    Pages 19-34

  4. Distinction networks

    • William M. Bricken
    Pages 35-48

  5. The problem of signal and symbol integration: A study of cooperative mobile autonomous agent behaviors

    • Ruzena Bajcsy, Jana Košecká
    Pages 49-64

  6. An extension of explanation-based generalization to negation as failure

    • Stefan Schrödl
    Pages 65-76

  7. Inducing integrity constraints from knowledge bases

    • Roman Englert
    Pages 77-88

  8. Dynamic structuring of lexical knowledge in a reusability scenario

    • Wilfried Hötker
    Pages 89-100

  9. Efficient memory-limited graph search

    • Jürgen Eckerle, Sven Schuierer
    Pages 101-112

  10. Quality-based terminological reasoning for concept learning

    • Klemens Schnattinger, Udo Hahn, Manfred Klenner
    Pages 113-124

  11. Task acquisition with a description logic reasoner

    • Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
    Pages 125-136

  12. Parallelizing description logics

    • Frank W. Bergmann, J. Joachim Quantz
    Pages 137-148

  13. Automated termination proofs with measure functions

    • Jürgen Giesl
    Pages 149-160

  14. What is a skeptical proof?

    • Michael Thielscher
    Pages 161-172

  15. Default entailment

    • Emil Weydert
    Pages 173-184

  16. Actions that make you change your mind

    • B. van Linder, W. van der Hoek, J. -J. Ch. Meyer
    Pages 185-196

  17. Reasoning about action with typical and atypical effects

    • Anna Radzikowska
    Pages 197-208

  18. Reasoning about action and change: Actions with abnormal effects

    • Witold Łukaszewicz, Ewa Madalińska-Bugaj
    Pages 209-220

  19. Temporal logic based on characteristic functions

    • Maroua Bouzid, Antoni Ligeza
    Pages 221-232

  20. Computational properties of qualitative spatial reasoning: First results

    • Bernhard Nebel
    Pages 233-244
Back to top

Keywords

About this book

This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.
The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.

Bibliographic Information

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

  • Book Subtitle: 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings

  • Editors: Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1995

  • Softcover ISBN: 978-3-540-60343-6Published: 04 September 1995

  • eBook ISBN: 978-3-540-44944-7Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 275

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation