Title: KI-95 :
Authors: German Conference on Artificial Intelligence; Wachsmuth, Ipke.; Rollinger, Claus-Rainer.; Brauer, Wilfried.
Date: 1995
Publisher: Springer-Verlag,
Physical description: xii, 268 pages : illustrations ; 24 cm.
Language: English
LC classification: Q
Abstract: "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."--PUBLISHER'S WEBSITE.
Contents: Partially observable Markov decision processes for artificial intelligence / Leslie Pack Kaelbling, Michael L. Littman, and Anthony R. Cassandra -- Robust processing of natural language / Wolfgang Menzel -- Distinction networks / William Bricken -- The problem of signal and symbol integration : a study of cooperative mobile autonomous agent behaviors / Ruzena Bajcsy and Jana Košecká -- An extension of explanation-based generalization to negation as failure / Stefan Schrödl -- Inducing integrity constraints from knowledge bases / Roman Englert -- Dynamic structuring of lexical knowledge in a reusability scenario / Wilfried Hötker -- Efficient memory-limited graph search / Jürgen Eckerle and Sven Schuierer -- Quality-based terminological reasoning for concept learning / Klemens Schnattinger, Udo Hahn, and Manfred Klenner -- Task acquisition with a description logic reasoner / M. Buchheit [and others] -- Parallelizing description logics / Frank W. Bergmann and J. Joachim Quantz -- Automated termination proofs with measure functions / Jürgen Giesl -- What is a skeptical proof? / Michael Thielscher -- Default entailment : a preferential construction semantics for defeasible inference / Emil Weydert -- Actions that make you change your mind / B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer -- Reasoning about action with typical and atypical effects / Anna Radzikowska -- Reasoning about action and change : actions with abnormal effects / Witold Lukaszewicz and Ewa Madalińska-Bugaj -- Temporal logic based on characteristic functions / Maroua Bouzid and Antonio Ligeza -- Computational properties of qualitative spatial reasoning : first results / Bernhard Nebel -- An empirically validated model for computing spatial relations / Klaus-Peter Gapp -- Integrating vision and language : towards automatic description of human movements / Gerd Herzog.
Subject headings (LCSH): Artificial intelligence--Congresses.; Artificial intelligence--Industrial applications--Congresses.; Knowledge representation (Information theory)--Congresses.; Reasoning--Congresses.