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 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)
A Logical Geo-Ontology Design Pattern for Quantifying over Types + (A Logical Geo-Ontology Design Pattern for Quantifying over Types)
A Matter of Principles: Towards the Largest DLP Possible + (A Matter of Principles: Towards the Largest DLP Possible)
A Medvedev Characterization of Recognizable Tree Series + (A Medvedev Characterization of Recognizable Tree Series)
A Method of Estimating Oriented Surface Elements from Stereo Images + (A Method of Estimating Oriented Surface Elements from Stereo Images)
A Model and Method to Terminologize Existing Domain Ontologies + (A Model and Method to Terminologize Existing Domain Ontologies)
A Model for Learning Description Logic Ontologies Based on Exact Learning + (A Model for Learning Description Logic Ontologies Based on Exact Learning)
A Modified Supervaluationist Framework for Decision-Making + (A Modified Supervaluationist Framework for Decision-Making)
A Modularization-based Approach to Finding All Justifications for OWL DL Entailments + (A Modularization-based Approach to Finding All Justifications for OWL DL Entailments)
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained + (A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained)
A More Efficient Parallel Unit Propagation + (A More Efficient Parallel Unit Propagation)
A Multi-Dimensional Terminological Knowledge Representation Language + (A Multi-Dimensional Terminological Knowledge Representation Language)
A Multi-Dimensional Terminological Knowledge Representation Language + (A Multi-Dimensional Terminological Knowledge Representation Language)
A Multi-Dimensional Terminological Knowledge Representation Language + (A Multi-Dimensional Terminological Knowledge Representation Language)
A Multi-Dimensional Terminological Knowledge Representation Language + (A Multi-Dimensional Terminological Knowledge Representation Language)