21. KI 1997: Freiburg

@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, Dejan 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
  

Last update Tue Feb 14 04:06:51 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page