default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 1991: Dagstuhl, Germany
- Bernhard Nebel, Kai von Luck, Christof Peltason:
Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany. DFKI Documents DFKI-D-91-13, 1991 - Jürgen Allgayer:
Experiences in 'Hybridification': Enhancement of a term Subsumption Language to Cover Plural and Quantified Terms. Description Logics 1991: 5-11 - Franz Baader:
Cyclic, Transitive, and Concrete Extensions of Concept Languages. Description Logics 1991: 12-16 - Howard W. Beck:
A Conceptual Clustering Algorithm for Semantic Data Models. Description Logics 1991: 17-22 - Sonia Bergamaschi, Claudio Sartori:
Subsumption for Database Schema Design. Description Logics 1991: 23-27 - Ronald J. Brachman:
Interests and Issues in Description (Terminological) Logics. Description Logics 1991: 28-32 - Amedeo Cappelli:
Intensional Semantics and Relationships between Epistemology and Ontology. Description Logics 1991: 33-38 - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
Tractable Concept Languages. Description Logics 1991: 39-42 - Enrico Franconi:
Extending Hybridity within the YAK Knowledge Representation System. Description Logics 1991: 43-46 - Nicola Guarino:
A Non-Standard Approach to terminological Knowledge: The ITL System. Description Logics 1991: 47-50 - Jochen Heinsohn:
A Probabilistic Extension for Terminological Logics. Description Logics 1991: 51-55 - Carsten Kindermann:
On Conceptual Indexing in Terminological Systems. Description Logics 1991: 56-59 - Rüdiger Klein:
An Approach to the Integration of Term Description Languages and Clauses. Description Logics 1991: 60-71 - Alfred Kobsa:
Reification in SB-ONE. Description Logics 1991: 72-74 - Robert M. MacGregor:
Statement of Interest, Dagstuhl Workshop. Description Logics 1991: 75-77 - Eric Mays:
Large Knowledge Base Management. Description Logics 1991: 78-79 - Deborah L. McGuinness:
The CLASSIC Knowledge Representation System: Implementation, Applications, and Beyond. Description Logics 1991: 80-86 - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages (Extended Abstract). Description Logics 1991: 87-90 - Lin Padgham:
Position Paper - Terminological Logics Workshop. Description Logics 1991: 91-92 - Peter F. Patel-Schneider:
Handling Computational Difficulties with Reasoning in Terminological Logics. Description Logics 1991: 93-96 - Joachim Quantz:
Modeling and Reasoning. Description Logics 1991: 97-100 - Klaus Schild:
From Terminological Logics to Modal Logics. Description Logics 1991: 101-104 - Albrecht Schmiedel:
Integrating Time into Terminological Logics. Description Logics 1991: 105-108 - Roland Seiffert:
Sorted Feature terms and Relational Dependencies. Description Logics 1991: 109-116 - William R. Swartout:
Using Terminological Logics in a Problem Solver. Description Logics 1991: 117-119 - Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich:
Terminological Knowledge Representation: A Proposal for a Terminological Logic. Description Logics 1991: 120-128
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-10 00:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
