Proceedings of the 1991 Terminological Logic Users Workshop

Berlin, Germany, 1991

• Clara Bagnasco, Luca Spampinato: Position Paper
• Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Research Interests and Accomplishments for the Terminological Users Workshop
• J.M. Blanco, A Illarramendi, A Goni: A Uniform Approach to Design a Federated Information Base using BACK
• Alex Borgida: Research on Extensible Term Description Management Systems
• Ron Brachman: Description Logics in the Real World
• Gerrit Burkert, Peter Forster: Term Subsumption Languages and Lexical Semantics
• Marina Damiani: What BACK could and couldn't be useful for?
• Prem Devanbu: Terminological Logics for Software Information Systems
• Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: Epistemic Operators in Concept Languages
• Michael Eimermacher: A Backbone for Padkom or Scenarios for an Integration of BACK into a large distributed medical Information System
• Manfred Gehrke: Domain Modelling in an Information System
• Nicola Guarino: Statement of Interest for the Terminological Logics Users Workshop
• Philipp Hanschke, Franz Baader: Terminological Reasoning in a Mechanical-Engineering Domain
• Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich: Integration of Action Representation in Terminological Logics
• Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich: A Comparative Analysis of Terminological Representation Systems
• Rüdiger Klein: The Use of TDL in Abductive Reasoning: the Construtive Problem Solving Approach
• Gudrun Klose, Thomas Pirlein: Modeling Background Knowledge in LILOG
• Henrik L. Larsen: An Approach to Extending Terminological Schemes for Real World Tasks
• Eric Mays, Bob Dionne: Terminological Logic Users Workshop Interest Statement
• Katharina Morik, Joerg-Uwe Kietz: A Bootstrapping Approach to Conceptual Clustering
• Adrian Müller: ICL - an Integrity Control Language for Large Knowledge Bases
• Amedeo Napoli: Subumption in Object-Based Representation Languages
• Udo Pletat: Statement of Interest
• Veronique Royer, Claire Saurel: Extending the BACK System with Default Reasoning Capabilities: Can the Classical Logical Paradigms of Default Reasoning Help?
• Albrecht Schmiedel: Using BACK in a Medical Domain
• Birte Schmitz, Susanne Preuss: Terminological Logic for NLP-Applications
• Ying Shu: Introducing CLASSIC-like Functions in LINCKS System
• Sunil Thakar: XYZ-BACK: A Preliminary Report on the Case Study (Extended Abstract)
• Mike Uschold: The Use of the Types Lambda Calculus in a Software Construction Assistant