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 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 into Propositional Model Counting + (A Glimpse into Propositional Model Counting)
A Glimpse into Propositional Model Counting + (A Glimpse into Propositional Model Counting)
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)
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 Layered Architecture for Robot Control Using the Fluent Calculus + (A Layered Architecture for Robot Control Using the Fluent Calculus)
A Layered Architecture for Robot Control Using the Fluent Calculus + (A Layered Architecture for Robot Control Using the Fluent Calculus)
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 Logic-based Reasoning Framework for Graph Databases + (A Logic-based Reasoning Framework for Graph Databases)
A Logic-based Reasoning Framework for Graph Databases + (A Logic-based Reasoning Framework for Graph Databases)

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)
A NEXPTIME-complete Description Logic Strictly Contained in C^2 + (A NEXPTIME-complete Description Logic Strictly Contained in C^2)
A NExpTime-complete Description Logic Strictly Contained in C^2 + (A NExpTime-complete Description Logic Strictly Contained in C^2)
A Neutral Temporal Deontic STIT Logic + (A Neutral Temporal Deontic STIT Logic)
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method)
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method)
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics + (A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics)
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics + (A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics)
A New Computational Logic Approach to Reason with Conditionals + (A New Computational Logic Approach to Reason with Conditionals)
A New Computational Model for Human Reasoning + (A New Computational Model for Human Reasoning)