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 BibTeX

@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 BibTeX
Kurt Konolige: COLBERT: A Language for Reactive Control in Sapphira. 31-52 BibTeX
Pat Langley: Machine Learning for Adaptive User Interfaces. 53-62 BibTeX

Theorem Proving

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

Nonclassical Logics

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

Knowledge Representation

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

Spatial Reasoning

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

Computational Linguistics

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

Computer Perception / Neural Nets

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

Planning, Diagnosis, and Search

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

Posters

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