Abstract is missing.
- How to Construct a Logic for Your ApplicationDov M. Gabbay. 1-29
- A Model Elimination Calculus with Built-in TheoriesPeter Baumgartner. 30-42
- A New Sorted LogicChristoph Weidenbach. 43-54
- An Explanatory Framework for Human Theorem ProvingXiaorong Huang. 55-66
- Towards First-order Deduction Based on Shannon GraphsJoachim Posegga, Bertram Ludäscher. 67-75
- Success and Failure of Expert Systems in Different Fields of Industrial ApplicationReinhard Bachmann, Thomas Malsch, Susanne Ziegler. 77-86
- Viewing Knowledge Engineering as a Symbiosis of ::::Modeling to Make Sense:::: and ::::Modeling to Implement Systems::::Marc Linster. 87-99
- Cases as a Basis for Knowledge Acquisition in the Pre-Formal Phases of Knowledge EngineeringSonja Branskat. 100-109
- Controlling Generate & Test in Any TimeCarl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß. 110-121
- Efficient Computation of Solutions for Contradictory Time Interval NetworksAchim Weigel, Rainer Bleisinger. 122-131
- Extensions of Concept Languages for a Mechanical Engineering ApplicationFranz Baader, Philipp Hanschke. 132-143
- Combining Terminological and Rule-based Reasoning for Abstraction ProcessesPhilipp Hanschke, Knut Hinkelmann. 144-155
- Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAMKnut Hinkelmann. 156-165
- Concept Support as a Method for Programming Neural Networks with Symbolic KnowledgeErich Prem, Markus Mackinger, Georg Dorffner, Gerold Porenta, Heinz Sochor. 166-175
- A Heuristic Inductive Generalization Method and its Application to VLSI-DesignJürgen Herrmann, Renate Beckmann. 176-186
- Learning Plan AbstractionsRalph Bergmann. 187-198
- On Discontinuous Q-Functions in Reinforcment LearningAlexander Linden. 199-209
- An Intelligent Tutoring System for Classification Problem SolvingKarsten Poeck, Martin Tins. 210-220
- Knowledge-based Processing of Medical Language: A Language Engineering ApproachMartin Schröder. 221-234
- Text Planning in ITEX: A Hybrid ApproachHeike Kranzdorf, Ulrike Griefahn. 235-246
- Yes/No Questions with Negation: Towards Integrating Semantics and PragmaticsMarion Schulz, Daniela Schmidt. 247-254
- An Efficient Decision Algorithm for Feature LogicEsther König. 255-266
- Universally Quantified Queries in Language with Order-Sorted LogicsStefan Decker, Christoph Lingenfelder. 267-271
- A Semantic View of ExplanationJustus Meier. 272-282
- Goal-Driven Similarity AssessmentDietmar Janetzko, Stefan Wess, Erica Melis. 283-298
- Delegated Negotiation for Resource Re-AllocationJacques H. J. Lenting, Peter J. Braspenning. 299-312
- Towards a Specification Language for Cooperation MethodsPaul de Greef, Keith L. Clark, Frank G. McCabe. 313-319
- Improving Operating System UsageMartin Kramer. 320-333
- The Role of User Models for Conflicts in a Constraint-based Model of GenerationMatthias E. Kölln. 334-346
- Criteria in Natural Language Generation: Minimal Criteria and Their ImpactsErnst Buchberger. 347-356
- Terminological Representation, Natural Language & Relation AlgebraRenate A. Schmidt. 357-371
- Linking Humans and Intelligent Systems - or: What are User Agents Good for?Andreas Lux, Michael Kolb. 372-385
- A Advisor for the Management of the Acute Radiation SyndromeHauke Kindler, D. Densow, T. M. Fliedner. 386-396