Abstract is missing.
- Qualitative Spatial Representation and Reasoning TechniquesAnthony G. Cohn. 1-30
- COLBERT: A Language for Reactive Control in SapphiraKurt Konolige. 31-52
- Machine Learning for Adaptive User InterfacesPat Langley. 53-62
- Structured Incremental Proof PlanningStefan Gerberding, Brigitte Pientka. 63-74
- Many-Sorted Logic in a Learning Theorem ProverThomas Kolbe, Sabine Glesner. 75-86
- Rigid HypertableauxMichael Kühn. 87-98
- Minimal Model Generation Based on E-hyper TableauxWenjin Lu. 99-110
- External Analogy in Inductive Theorem ProvingErica Melis, Jon Whittle. 111-122
- Mechanising Partiality With Re-implementationManfred Kerber, Michael Kohlhase. 123-134
- From Linear Proofs to Direct Logic with ExponentialsEnno Sandner. 135-146
- Integrating an Equality Prover into a Software Development System Based on Type TheoryMartin Strecker, Maria Sorea. 147-158
- Causation and Nonmonotonic Temporal ReasoningPeter Grünwald. 159-170
- Labelled Quantified Modal LogicsDavid A. Basin, Seán Matthews, Luca Viganò. 171-182
- Defining Decision Rules in Signed Horn ClausesBarbara Messing. 183-194
- Modelling Subjective DistancesBettina Berendt. 195-206
- An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-BehindCarola Eschenbach, Lars Kulik. 207-218
- Representation and Processing of Qualitative Orientation KnowledgeRalf Röhrig. 219-230
- A Contribution to the Question of Authenticity of Resus Using Part-of-Speech TaggingBernd Ludwig. 231-242
- Making Objects More KnowledgeableSusanne Schacht, Udo Hahn. 243-254
- Constraining the Acquisition of Concepts by the Quality of Heterogeneous EvidenceKlemens Schnattinger, Udo Hahn. 255-266
- Conceptualizing AdjectivesSteffen Staab. 267-278
- Parsing N Best Trees from a Word LatticeHans Weber, Jörg Spilker, Günther Görz. 279-288
- Fast Grid-Based Position TRacking for Mobile RobotsWolfram Burgard, Dieter Fox, Daniel Hennig. 289-300
- Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic ProgrammingMichael Haag, Wolfgang Theilmann, Kart Schäfer, Hans-Hellmut Nagel. 301-312
- Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent NetworksSteffen Hölldobler, Yvonne Kalinke, Helko Lehmann. 313-324
- Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis TasksStefan K. Bamberger. 325-336
- Tabu Search vs. Random WalkOlaf Steinmann, Antje Strohmaier, Thomas Stützle. 337-348
- Multi-flip Networks: Parallelizing GenSATAntje Strohmaier. 349-360
- Resource-Adaptive Action Planning in a Dialogue System for Repair SupportThomas Weis. 361-372
- A Modal Computational Framework for Default ReasoningAlberto Artosi, Paola Cattabriga, Guido Governatori. 373-376
- Planning Diagonalization ProofsLassaad Cheikhrouhou. 377-380
- Suffix Tree Automata in State Space SearchStefan Edelkamp. 381-384
- Connection Cutting for Contraction Free LogicBertram Fronhöfer. 385-388
- Agents in Proactive EnvironmentsDov M. Gabbay, Rolf Nossum, Michael Thielscher. 389-392
- Reducing Lexical Redundancy by Augmenting Conceptual KnowledgeSven Hartrumpf, Marion Schulz. 393-396
- A Graphical User Interface for an ECG Classifier SystemJörg Nilson, Gabriella Kókai. 397-400
- Expert System in Additional FinishingNenad Stojanovic, Ljiljana Stoiljkovic, D. Milenovic, V. Stoiljkovic. 401-404
- Reasoning About Exceptions (Extended Abstract)Leendert W. N. van der Torre, Yao-Hua Tan. 405-408
- Learning and Interpretation of the Layout of Structured DocumentsHanno Walischewski. 409-412