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

• A Description Logic Primer  + (A Description Logic Primer)
• A Description Logic for Vague Knowledge  + (A Description Logic for Vague Knowledge)
• A Description Logic for Vague Knowledge  + (A Description Logic for Vague Knowledge)
• A Description Logic of Change  + (A Description Logic of Change)
• A Description Logic with Concrete Domains and Role-forming Predicates  + (A Description Logic with Concrete Domains and Role-forming Predicates)
• A Description Logic with Transitive and Inverse Roles and Role Hierarchies  + (A Description Logic with Transitive and Inverse Roles and Role Hierarchies)
• A Description Logic with Transitive and Converse Roles and Role Hierarchies  + (A Description Logic with Transitive and Converse Roles and Role Hierarchies)
• A Description Logic with Transitive and Converse Roles and Role Hierarchies  + (A Description Logic with Transitive and Converse Roles and Role Hierarchies)
• A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions  + (A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions)
• A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem  + (A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem)
• A Finitary System for First Order Logic  + (A Finitary System for First Order Logic)
• A Finite Basis for the Set of EL-Implications Holding in a Finite Model  + (A Finite Basis for the Set of EL-Implications Holding in a Finite Model)
• A First Order System with Finite Choice of Premises  + (A First Order System with Finite Choice of Premises)
• A Formal Definition for Expressive Power of Knowledge Representation Languages  + (A Formal Definition for Expressive Power of Knowledge Representation Languages)
• A Formal Definition for Expressive Power of Knowledge Representation Languages  + (A Formal Definition for Expressive Power of Knowledge Representation Languages)
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages  + (A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages)
• A Formal Theory of Justifications  + (A Formal Theory of Justifications)
• A Framework For Evaluating Visual SLAM  + (A Framework For Evaluating Visual SLAM)
• A Framework for Intuitionistic Grammar Logics  + (A Framework for Intuitionistic Grammar Logics)
• A Framework for Reasoning about Dynamic Axioms in Description Logics  + (A Framework for Reasoning about Dynamic Axioms in Description Logics)
• A Framework for Semantic-based Similarity Measures for ELH-Concepts  + (A Framework for Semantic-based Similarity Measures for ELH-Concepts)
• A Fully Connectionist Model Generator for Covered First-Order Logic Programs  + (A Fully Connectionist Model Generator for Covered First-Order Logic Programs)
• A Fully Parallel Framework for Fast Analyzing RDF Data  + (A Fully Parallel Framework for Fast Analyzing RDF Data)
• A Fuzzy Description Logic with Hedges as Concept Modifiers  + (A Fuzzy Description Logic with Hedges as Concept Modifiers)
• A General First-Order Solution to the Ramification Problem  + (A General First-Order Solution to the Ramification Problem)

• A General Form of Attribute Exploration  + (A General Form of Attribute Exploration)

• A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set  + (A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set)
• A Generator for Description Logic Formulas  + (A Generator for Description Logic Formulas)
• A Generic Approach for Correcting Access Restrictions to a Consequence  + (A Generic Approach for Correcting Access Restrictions to a Consequence)
• A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms  + (A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms)
• A Generic Model for Video Content Based Retrieval  + (A Generic Model for Video Content Based Retrieval)
• A Generic Querying Algorithm for Greedy Sets of Existential Rules  + (A Generic Querying Algorithm for Greedy Sets of Existential Rules)
• A Geo-ontology Design Pattern for Semantic Trajectories  + (A Geo-ontology Design Pattern for Semantic Trajectories)
• A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence  + (A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence)
• A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes  + (A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes)
• A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies)
• A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies)
• A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL  + (A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL)
• A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL  + (A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL)
• A Hardware/Software Stack for Heterogeneous Systems  + (A Hardware/Software Stack for Heterogeneous Systems)
• A Heuristic Search Algorithm for Solving First-Order MDPs  + (A Heuristic Search Algorithm for Solving First-Order MDPs)
• Complexity Theory  + (A Hierarchy of Undecidable Problems)
• A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed  + (A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed)
• A Journey to the Frontiers of Query Rewritability  + (A Journey to the Frontiers of Query Rewritability)
• A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report)  + (A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report))
• A Language for Default Reasoning about Actions  + (A Language for Default Reasoning about Actions)
• A Lexico-Logical Approach to Ontology Engineering  + (A Lexico-Logical Approach to Ontology Engineering)
• A Local System for Classical Logic  + (A Local System for Classical Logic)
• A Local System for Linear Logic  + (A Local System for Linear Logic)
• A Logic-Based Approach to Dynamic Programming  + (A Logic-Based Approach to Dynamic Programming)
• A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations  + (A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations)