Conferences in DBLP
Jürgen Allgayer Experiences in 'Hybridification': Enhancement of a term Subsumption Language to Cover Plural and Quantified Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader Cyclic, Transitive, and Concrete Extensions of Concept Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Howard W. Beck A Conceptual Clustering Algorithm for Semantic Data Models. [Citation Graph (0, 0)][DBLP ] Conf ] Sonia Bergamaschi , Claudio Sartori Subsumption for Database Schema Design. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald J. Brachman Interests and Issues in Description (Terminological) Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Amedeo Cappelli Intensional Semantics and Relationships between Epistemology and Ontology. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt Tractable Concept Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Franconi Extending Hybridity within the YAK Knowledge Representation System. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Guarino A Non-Standard Approach to terminological Knowledge: The ITL System. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Heinsohn A Probabilistic Extension for Terminological Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Kindermann On Conceptual Indexing in Terminological Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Klein An Approach to the Integration of Term Description Languages and Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred Kobsa Reification in SB-ONE. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. MacGregor Statement of Interest, Dagstuhl Workshop. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Mays Large Knowledge Base Management. [Citation Graph (0, 0)][DBLP ] Conf ] Deborah L. McGuinness The CLASSIC Knowledge Representation System: Implementation, Applications, and Beyond. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt The Complexity of Concept Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Lin Padgham Position Paper - Terminological Logics Workshop. [Citation Graph (0, 0)][DBLP ] Conf ] Peter F. Patel-Schneider Handling Computational Difficulties with Reasoning in Terminological Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Quantz Modeling and Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Schild From Terminological Logics to Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Albrecht Schmiedel Integrating Time into Terminological Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Seiffert Sorted Feature terms and Relational Dependencies. [Citation Graph (0, 0)][DBLP ] Conf ] William R. Swartout Using Terminological Logics in a Problem Solver. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] 