Skip to main content
  • Conference proceedings
  • © 1995

KI-95: Advances in Artificial Intelligence

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

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)

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (21 papers)

  1. Front Matter

  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. Efficient memory-limited graph search

    • Jürgen Eckerle, Sven Schuierer
    Pages 101-112
  6. Quality-based terminological reasoning for concept learning

    • Klemens Schnattinger, Udo Hahn, Manfred Klenner
    Pages 113-124
  7. 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
  8. Parallelizing description logics

    • Frank W. Bergmann, J. Joachim Quantz
    Pages 137-148
  9. What is a skeptical proof?

    • Michael Thielscher
    Pages 161-172
  10. Default entailment

    • Emil Weydert
    Pages 173-184
  11. Actions that make you change your mind

    • B. van Linder, W. van der Hoek, J. -J. Ch. Meyer
    Pages 185-196
  12. Reasoning about action and change: Actions with abnormal effects

    • Witold Łukaszewicz, Ewa Madalińska-Bugaj
    Pages 209-220
  13. Temporal logic based on characteristic functions

    • Maroua Bouzid, Antoni Ligeza
    Pages 221-232

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.

Keywords

  • Extension
  • Intelligent Systems
  • Intelligente Systeme
  • Knowledge Oorganization
  • Logic Rasoning
  • Logisches Schließen
  • Nonmonotonic Reasoning
  • Räumliches Schließen
  • Spatial Reasoning
  • description logic
  • knowledge
  • knowledge base
  • learning
  • natural language
  • optimization

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

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)