21. KI 1997: Freiburg

Gerhard Brewka, Christopher Habel, Bernhard Nebel (Eds.): KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1303 Springer 1997, ISBN 3-540-63493-2

@proceedings{DBLP:conf/ki/1997,
  editor    = {Gerhard Brewka and
               Christopher Habel and
               Bernhard Nebel},
  title     = {KI-97: Advances in Artificial Intelligence, 21st Annual German
               Conference on Artificial Intelligence, Freiburg, Germany, September
               9-12, 1997, Proceedings},
  booktitle = {KI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1303},
  year      = {1997},
  isbn      = {3-540-63493-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

Anthony G. Cohn: Qualitative Spatial Representation and Reasoning Techniques. 1-30
Kurt Konolige: COLBERT: A Language for Reactive Control in Sapphira. 31-52
Pat Langley: Machine Learning for Adaptive User Interfaces. 53-62

Theorem Proving

Stefan Gerberding, Brigitte Pientka: Structured Incremental Proof Planning. 63-74
Thomas Kolbe, Sabine Glesner: Many-Sorted Logic in a Learning Theorem Prover. 75-86
Michael Kühn: Rigid Hypertableaux. 87-98
Wenjin Lu: Minimal Model Generation Based on E-hyper Tableaux. 99-110
Erica Melis, Jon Whittle: External Analogy in Inductive Theorem Proving. 111-122

Nonclassical Logics

Manfred Kerber, Michael Kohlhase: Mechanising Partiality With Re-implementation. 123-134
Enno Sandner: From Linear Proofs to Direct Logic with Exponentials. 135-146
Martin Strecker, Maria Sorea: Integrating an Equality Prover into a Software Development System Based on Type Theory. 147-158

Knowledge Representation

Peter Grünwald: Causation and Nonmonotonic Temporal Reasoning. 159-170
David A. Basin, Seán Matthews, Luca Viganò: Labelled Quantified Modal Logics. 171-182
Barbara Messing: Defining Decision Rules in Signed Horn Clauses. 183-194

Spatial Reasoning

Bettina Berendt: Modelling Subjective Distances. 195-206
Carola Eschenbach, Lars Kulik: An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-Behind. 207-218
Ralf Röhrig: Representation and Processing of Qualitative Orientation Knowledge. 219-230

Computational Linguistics

Bernd Ludwig: A Contribution to the Question of Authenticity of Resus Using Part-of-Speech Tagging. 231-242
Susanne Schacht, Udo Hahn: Making Objects More Knowledgeable. 243-254
Klemens Schnattinger, Udo Hahn: Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence. 255-266
Steffen Staab: Conceptualizing Adjectives. 267-278
Hans Weber, Jörg Spilker, Günther Görz: Parsing N Best Trees from a Word Lattice. 279-288

Computer Perception / Neural Nets

Wolfram Burgard, Dieter Fox, Daniel Hennig: Fast Grid-Based Position TRacking for Mobile Robots. 289-300
Michael Haag, Wolfgang Theilmann, Kart Schäfer, Hans-Hellmut Nagel: Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming. 301-312
Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann: Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. 313-324

Planning, Diagnosis, and Search

Stefan K. Bamberger: Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks. 325-336
Olaf Steinmann, Antje Strohmaier, Thomas Stützle: Tabu Search vs. Random Walk. 337-348
Antje Strohmaier: Multi-flip Networks: Parallelizing GenSAT. 349-360
Thomas Weis: Resource-Adaptive Action Planning in a Dialogue System for Repair Support. 361-372

Posters

Alberto Artosi, Paola Cattabriga, Guido Governatori: A Modal Computational Framework for Default Reasoning. 373-376
Lassaad Cheikhrouhou: Planning Diagonalization Proofs. 377-380
Stefan Edelkamp: Suffix Tree Automata in State Space Search. 381-384
Bertram Fronhöfer: Connection Cutting for Contraction Free Logic. 385-388
Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. 389-392
Sven Hartrumpf, Marion Schulz: Reducing Lexical Redundancy by Augmenting Conceptual Knowledge. 393-396
Jörg Nilson, Gabriella Kókai: A Graphical User Interface for an ECG Classifier System. 397-400
Nenad Stojanovic, Ljiljana Stoiljkovic, D. Milenovic, V. Stoiljkovic: Expert System in Additional Finishing. 401-404
Leendert W. N. van der Torre, Yao-Hua Tan: Reasoning About Exceptions (Extended Abstract). 405-408
Hanno Walischewski: Learning and Interpretation of the Layout of Structured Documents. 409-412