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

• 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)