Suche mittels Attribut

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

• Computing Minimal EL-Unifiers is Hard  + (Computing Minimal EL-Unifiers is Hard)
• Computing Minimal EL-unifiers is Hard  + (Computing Minimal EL-unifiers is Hard)
• Computing Most Specific Concepts in Description Logics with Existential Restrictions  + (Computing Most Specific Concepts in Description Logics with Existential Restrictions)
• Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems  + (Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems)
• Computing Quantiles in Markov Reward Models  + (Computing Quantiles in Markov Reward Models)
• Computing Role-depth Bounded Generalizations in the Description Logic ELOR  + (Computing Role-depth Bounded Generalizations in the Description Logic ELOR)
• Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis  + (Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis)
• Computing Stable Models for Nonmonotonic Existential Rules  + (Computing Stable Models for Nonmonotonic Existential Rules)
• Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology  + (Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology)
• Computing extensions of terminological default theories  + (Computing extensions of terminological default theories)
• Computing in Civil Engineering  + (Computing in Civil Engineering)
• Computing least common subsumers for FLE^+  + (Computing least common subsumers for FLE^+)
• Computing the Least Common Subsumer w.r.t. a Background Terminology  + (Computing the Least Common Subsumer w.r.t. a Background Terminology)
• Computing the Least Common Subsumer w.r.t. a Background Terminology  + (Computing the Least Common Subsumer w.r.t. a Background Terminology)
• Computing the Least Common Subsumer w.r.t. a Background Terminology  + (Computing the Least Common Subsumer w.r.t. a Background Terminology)
• Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006)  + (Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006))
• Computing the lcs w.r.t. General EL^+ TBoxes  + (Computing the lcs w.r.t. General EL^+ TBoxes)
• Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions  + (Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions)
• Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions  + (Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions)
• Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics  + (Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics)
• Computing with Logic as Operator Elimination: The ToyElim System  + (Computing with Logic as Operator Elimination: The ToyElim System)
• Computing with Logic as Operator Elimination: The ToyElim System  + (Computing with Logic as Operator Elimination: The ToyElim System)
• Concept Adjustment for Description Logics  + (Concept Adjustment for Description Logics)
• Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations  + (Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations)
• Concept Dissimilarity with Triangle Inequality  + (Concept Dissimilarity with Triangle Inequality)
• Concept Lattice Orbifolds -- First Steps  + (Concept Lattice Orbifolds -- First Steps)

• Concept Learning in Description Logics  + (Concept Learning in Description Logics)
• Concept Learning in Description Logics  + (Concept Learning in Description Logics)

• Concept Logic  + (Concept Logic)
• Concept Logic  + (Concept Logic)
• Concept lattices with negative information: A characterization theorem  + (Concept lattices with negative information: A characterization theorem)
• Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks  + (Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks)
• Conceptual Structures: Leveraging Semantic Technologies  + (Conceptual Structures: Leveraging Semantic Technologies)
• Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis  + (Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis)
• Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis  + (Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis)
• Concrete Domains and Nominals United.  + (Concrete Domains and Nominals United.)
• Concrete Results on Abstract Rules  + (Concrete Results on Abstract Rules)
• Concurrency Theory  + (Concurrency Theory)
• Concurrency Theory  + (Concurrency Theory)
• Concurrency Theory  + (Concurrency Theory)
• Concurrency Theory  + (Concurrency Theory)
• Concurrency Theory  + (Concurrency Theory)
• Concurrency Theory  + (Concurrency Theory)
• Concurrency Theory  + (Concurrency Theory)
• Concurrent Classification of EL Ontologies  + (Concurrent Classification of EL Ontologies)
• Concurrent Production, Consumption and Occupation  + (Concurrent Production, Consumption and Occupation)
• Conditional Reasoning  + (Conditional Reasoning)
• Conditional Reasoning  + (Conditional Reasoning)
• Configuration of Inter-Process Communication with Probabilistic Model Checking  + (Configuration of Inter-Process Communication with Probabilistic Model Checking)
• Configuring BDD Compilation Techniques for Feature Models  + (Configuring BDD Compilation Techniques for Feature Models)
• Conjunctive Queries for EL with Role Composition  + (Conjunctive Queries for EL with Role Composition)
• Conjunctive Queries for a Tractable Fragment of OWL 1.1  + (Conjunctive Queries for a Tractable Fragment of OWL 1.1)