KI-97 [electronic resource] : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings / Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.).
- Conference Author:
- German Conference on Artificial Intelligence (21st : 1997 : Freiburg, Germany)
- Published:
- Berlin ; New York : Springer, [1997]
- Copyright Date:
- ©1997
- Physical Description:
- xi, 412 pages : illustrations ; 24 cm.
- Additional Creators:
- Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard, 1956- - Access Online:
- serialssolutions.com
- Series:
- Lecture notes in computer science ; 1303. Lecture notes in artificial intelligence
- Restrictions on Access:
- License restrictions may limit access.
- Contents:
- Machine generated contents note: Qualitative Spatial Representation and Reasoning Techniques / Anthony G. Cohn -- COLBERT: A Language for Reactive Control in Sapphira / Kurt Konolige -- Machine Learning for Adaptive User Interfaces / Pat Langley -- Structured Incremental Proof Planning / Brigitte Pientka / Stefan Gerberding -- Many-Sorted Logic in a Learning Theorem Prover / Sabine Glesner / Thomas Kolbe -- Rigid Hypertableaux / Michael Kuhn -- Minimal Model Generation Based on E-hyper Tableaux / Wenjin Lu -- External Analogy in Inductive Theorem Proving / Erica Melis / Jon Whittle -- Mechanising Partiality without Re-implementation / Manfred Kerber / Michael Kohlhase -- From Linear Proofs to Direct Logic with Exponentials / Enno Sandner -- Integrating an Equality Prover into a Software Development System Based on Type Theory / Maria Sorea / Martin Strecker -- Causation and Nonmonotonic Temporal Reasoning / Peter Grunwald -- Labelled Quantified Modal Logics / Luca Vigano / Sean Matthews / David Basin -- Defining Decision Rules in Signed Horn Clauses / Barbara Messing -- Modeling Subjective Distances / Bettina Berendt -- An Axiomatic Approach to the Spatial Relations Underlying "left"-"right" and "in front of"-"behind" / Lars Kulik / Carola Eschenbach -- Representation and Processing of Qualitative Orientation Knowledge / Ralf Rohrig -- A Contribution to the Question of Authenticity of Rhesus Using Part-of-Speech-Tagging / Bernd Ludwig -- Making Objects More Knowledgeable / Susanne Schacht / Udo Hahn -- Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence / Klemens Schnattinger / Udo Hahn -- Conceptualizing Adjectives / Steffen Staab / Udo Hahn -- Parsing N Best Trees from a Word Lattice / Hans Weber / Jorg Spilker / Gunther Gorz -- Fast Grid-Based Position Tracking for Mobile Robots / Wolfram Burgard / Dieter Fox / Daniel Henning -- Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming / Karl H. Schafer / Michael Haag / Wolfgang Theilmann -- Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks / Yvonne Kalinke / Helko Lehmann / Steffen Holldobler -- Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks / Stefan K. Bamberger -- Tabu Search vs. Random Walk / Thomas Stutzle / Olaf Steinmann / Antje Strohmaier -- Multi-flip Networks: Parallelizing GenSAT / Antje Strohmaier -- Resource-Adaptive Action Planning in a Dialogue System for Repair Support / Thomas Weis -- A Modal Computational Framework for Default Reasoning / Guido Governatori / Paola Cattabriga / Alberto Artosi -- Planning Diagonalization Proofs / Lassaad Cheikhrouhou -- Suffix Tree Automata in State Space Search / Stefan Edelkamp -- Connection Cutting for Contraction Free Logic / Bertram Fronhofer -- Agents in Proactive Environments / Michael Thielscher / Dov Gabbay / Rolf Nossum -- Reducing Lexical Redundancy by Augmenting Conceptual Knowledge / Marion Schulz / Sven Hartrumpf -- A Graphical User Interface for an ECG Classifier System / Gabriella Kokai / Jorg Nilson -- Expert System in Additional Finishing / Ljiljana Stoiljkovic / Dejan Milenovic / Nenad Stojanovic -- Reasoning About Exceptions / Leendert W. N. van der Torre / Yao-Hua Tan -- Learning and Interpretation of the Layout of Structured Documents / Hanno Walischewski.
- Subject(s):
- Genre(s):
- ISBN:
- 3540634932 (softcover : alk. paper)
- Bibliography Note:
- Includes bibliographical references and index.
View MARC record | catkey: 7850913