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

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

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

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

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

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

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

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

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

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 Sun May 26 02:42:05 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page