Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)
• 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)
• 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)
• Expressivity of Planning with Horn Description Logic Ontologies  + (Expressivity of Planning with Horn Description Logic Ontologies)
• Expressivity of Planning with Horn Description Logic Ontologies  + (Expressivity of Planning with Horn Description Logic Ontologies)
• 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 Datalog with Sets Using an Encoding in Existential Rules  + (Extending Datalog with Sets Using an Encoding in Existential Rules)
• Extending Datalog with Sets Using an Encoding in Existential Rules  + (Extending Datalog with Sets Using an Encoding in Existential Rules)
• 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 EL++ with Linear Constraints on the Probability of Axioms  + (Extending EL++ with Linear Constraints on the Probability of Axioms)
• Extending EL++ with Linear Constraints on the Probability of Axioms  + (Extending EL++ with Linear Constraints on the Probability of Axioms)
• Extending Matching in Description Logics  + (Extending Matching in Description Logics)
• Extending Matching in Description Logics  + (Extending Matching in Description Logics)
• 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 Logic Programs from Artificial Neural Networks  + (Extracting Logic Programs from Artificial Neural Networks)
• Extracting Logic Programs from Artificial Neural Networks  + (Extracting Logic Programs from Artificial Neural Networks)
• Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.  + (Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.)
• Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.  + (Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.)
• 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)