Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- A Concept Language Extended with Different Kinds of Transitive Roles +
- A Description Logic for Vague Knowledge +
- A Description Logic with Concrete Domains and Role-forming Predicates +
- A Description Logic with Transitive and Converse Roles and Role Hierarchies +
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages +
- A Generic Model for Video Content Based Retrieval +
- A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed +
- A Multi-Dimensional Terminological Knowledge Representation Language +
- A NExpTime-complete Description Logic Strictly Contained in C^2 +
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
- A New Method for Image Segmentation Based on Fuzzy Knowledge +
- A PSpace Algorithm for Graded Modal Logic +
- A Rule-Based Language for Ordered Multidimensional Databases +
- A Suggestion for an n-ary Description Logic +
- A rule based data manipulation language for OLAP systems +
- An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions +
- Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens +
- Cardinality Restrictions on Concepts +
- Characterizing the Semantics of Terminological Cycles in ALN using Finite Automata +
- Characterizing the semantics of terminological cycles with the help of finite automata +
- Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning +
- Combination Techniques and Decision Problems for Disunification +
- Combination of Compatible Reduction Orderings that are Total on Ground Terms +
- Combination of Compatible Reduction Orderings that are Total on Ground Terms +
- Combination of Constraint Solvers for Free and Quasi-Free Structures +
- Combination of Constraint Solving Techniques: An Algebraic Point of View +
- Complexity of Terminological Reasoning Revisited +
- Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology +
- Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions +
- Consistency Checking in Applications based on Fuzzy Rules +
- Constructible differentially finite algebraic series in several variables +
- Deciding the Word Problem in the Union of Equational Theories +
- Description Logics with Aggregates and Concrete Domains +
- Description Logics with Concrete Domains and Aggregation +
- Description Logics with Symbolic Number Restrictions +
- Development of Objective Functions for Soft Computing in Medical Applications +
- Die Beweisentwicklungsumgebung Omega-MKRP +
- Embedding Defaults into Terminological Representation Systems +
- Frontiers of Combining Systems +
- Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine +
- HyperMed: A Hypermedia System for Anatomical Education +
- Indexing Medical Abstract Databases +
- Knowledge Representation in Process Engineering +
- Knowledge Representation in Process Engineering +
- Knowledge Representation in a World with Vague Concepts +
- Least common subsumer computation w.r.t. cyclic ALN-terminologies +
- Logik-basierte Wissensrepräsentation +
- Matching in Description Logics: Preliminary Results +
- Medical Terminology Processing for a Tutoring System +
