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

• Exploring finite models in the Description Logic EL_gfp  + (Exploring finite models in the Description Logic EL_gfp)
• Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs  + (Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs)
• Expressing Self-Referential Usage Policies for the Semantic Web  + (Expressing Self-Referential Usage Policies for the Semantic Web)
• Expressing View-Based Query Processing and Related Approaches with Second-Order Operators  + (Expressing View-Based Query Processing and Related Approaches with Second-Order Operators)
• Expressive Non-Monotonic Description Logics Based on Circumscription  + (Expressive Non-Monotonic Description Logics Based on Circumscription)
• Expressive Non-Monotonic Description Logics Based on Circumscription  + (Expressive Non-Monotonic Description Logics Based on Circumscription)
• Expressive Number Restrictions in Description Logics  + (Expressive Number Restrictions in Description Logics)
• Foundations of Databases and Query Languages  + (Expressive Power and Complexity of Datalog)
• Database Theory  + (Expressive Power and Complexity of Datalog)
• Models of Concurrent Systems  + (Expressive Power of CCS)
• Concurrency Theory  + (Expressive Power of CCS)
• Expressive Tractable Description Logics based on SROIQ Rules  + (Expressive Tractable Description Logics based on SROIQ Rules)
• Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks  + (Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks)
• Expressiveness of guarded existential rule languages  + (Expressiveness of guarded existential rule languages)
• Expressivity of Datalog Variants - Completing the Picture  + (Expressivity of Datalog Variants - Completing the Picture)
• Database Theory  + (Expressivity of FO queries)
• Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)  + (Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract))
• Expressivity of Planning with Horn Description Logic Ontologies  + (Expressivity of Planning with Horn Description Logic Ontologies)
• Knowledge Graphs  + (Expressivity of SPARQL)
• Extended Resolution in Modern SAT Solving  + (Extended Resolution in Modern SAT Solving)
• Extended Resolution in Modern SAT Solving  + (Extended Resolution in Modern SAT Solving)
• Extending Decidable Existential Rules by Joining Acyclicity and Guardedness  + (Extending Decidable Existential Rules by Joining Acyclicity and Guardedness)
• Extending Description Logic Rules  + (Extending Description Logic Rules)
• Extending Description Logics to Vague Knowledge in Medicine  + (Extending Description Logics to Vague Knowledge in Medicine)
• Extending Two-Variable Logic on Trees  + (Extending Two-Variable Logic on Trees)

• Extending Unification in EL Towards General TBoxes  + (Extending Unification in EL Towards General TBoxes)

• Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification  + (Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification)
• Extending the Combined Approach Beyond Lightweight Description Logics  + (Extending the Combined Approach Beyond Lightweight Description Logics)
• Extending the Description Logic tEL(deg) with acyclic TBoxes  + (Extending the Description Logic tEL(deg) with acyclic TBoxes)
• Extensions of Concept Languages for a Mechanical Engineering Application  + (Extensions of Concept Languages for a Mechanical Engineering Application)
• Extensions of Concept Languages for a Mechanical Engineering Application  + (Extensions of Concept Languages for a Mechanical Engineering Application)
• Extensions of Non-standard Inferences to Description Logics with transitive Roles  + (Extensions of Non-standard Inferences to Description Logics with transitive Roles)
• Extensions to Description Logics  + (Extensions to Description Logics)
• Extracting Confident General Concept Inclusions from Finite Interpretations  + (Extracting Confident General Concept Inclusions from Finite Interpretations)
• Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach  + (Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Extracting Reduced Logic Programs from Artificial Neural Networks)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Extracting Reduced Logic Programs from Artificial Neural Networks)
• Extraction of Multilingual Term Variants in the Business Reporting Domain  + (Extraction of Multilingual Term Variants in the Business Reporting Domain)
• FABEL  + (FABEL)
• FABEL  + (FABEL)
• FABEL  + (FABEL)
• FABEL im Überblick  + (FABEL im Überblick)
• FABEL-IDEA 2, Intelligente Designunterstützung für Architekten, Version 2: Fallretrieval  + (FABEL-IDEA 2, Intelligente Designunterstützung für Architekten, Version 2: Fallretrieval)
• FABEL: Projektstatus, Perspektiven, Potentiale  + (FABEL: Projektstatus, Perspektiven, Potentiale)
• FAENSY: Fabel Development System  + (FAENSY: Fabel Development System)
• FCPlanner: A Planning Strategy for First-Order MDPs  + (FCPlanner: A Planning Strategy for First-Order MDPs)
• FLUCAP: A Heuristic Search Planner for First-Order MDPs  + (FLUCAP: A Heuristic Search Planner for First-Order MDPs)
• Foundations of Databases and Query Languages  + (FO Expressivity and Introduction to Datalog)
• Foundations of Databases and Query Languages  + (FO Expressivity and Introduction to Datalog)
• Database Theory  + (FO Expressivity and Introduction to Datalog)
• Database Theory  + (FO Expressivity and Introduction to Datalog)