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

Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes + (Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes)
Towards Predictive Self-optimization by Situation Recognition + (Towards Predictive Self-optimization by Situation Recognition)
Towards Propositional KLM-Style Defeasible Standpoint Logics + (Towards Propositional KLM-Style Defeasible Standpoint Logics)
Towards State Update Axioms: Reifying Successor State Axioms + (Towards State Update Axioms: Reifying Successor State Axioms)
Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium + (Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium)
Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium + (Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium)
Towards a Categorical Semantics for the Open Calculus of Constructions + (Towards a Categorical Semantics for the Open Calculus of Constructions)
Towards a Categorical Semantics for the Open Calculus of Constructions + (Towards a Categorical Semantics for the Open Calculus of Constructions)
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics)
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics)
Towards a Formal Account on Negative Latency + (Towards a Formal Account on Negative Latency)
Towards a General Argumentation System based on Answer-Set Programming + (Towards a General Argumentation System based on Answer-Set Programming)
Towards a Logic for Causal Reasoning + (Towards a Logic for Causal Reasoning)
Towards a Massively Parallel Computational Model for Logic Programming. + (Towards a Massively Parallel Computational Model for Logic Programming.)
Towards a Navigation Paradigm for Triadic Concepts + (Towards a Navigation Paradigm for Triadic Concepts)
Towards a Systematic Account of Different Logic Programming Semantics + (Towards a Systematic Account of Different Logic Programming Semantics)
Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm + (Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm)
Towards a unified view of the hierarchy of logic program classes + (Towards a unified view of the hierarchy of logic program classes)
Towards a unified view of the hierarchy of logic program classes + (Towards a unified view of the hierarchy of logic program classes)
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas + (Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas)
Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis + (Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis)
Towards an FCA-based Recommender System for Black-Box Optimization + (Towards an FCA-based Recommender System for Black-Box Optimization)
Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping + (Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping)
Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping + (Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping)
Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation + (Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation)

Towards next generation sequential and parallel SAT solvers + (Towards next generation sequential and parallel SAT solvers)

Towards the Complexity of Recognizing Pseudo-intents + (Towards the Complexity of Recognizing Pseudo-intents)
Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels + (Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels)
Trace Machines for Observing Continuous-Time Markov Chains + (Trace Machines for Observing Continuous-Time Markov Chains)
Tracking False Information Online + (Tracking False Information Online)
Tracking False Information Online + (Tracking False Information Online)
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL + (Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL)
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract + (Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract)
Tractable Query Answering for Expressive Ontologies and Existential Rules + (Tractable Query Answering for Expressive Ontologies and Existential Rules)
Tractable Query Answering for Expressive Ontologies and Existential Rules + (Tractable Query Answering for Expressive Ontologies and Existential Rules)
Tractable Query Answering for Expressive Ontologies and Existential Rules + (Tractable Query Answering for Expressive Ontologies and Existential Rules)
Tractable and Decidable Fragments of Conceptual Graphs + (Tractable and Decidable Fragments of Conceptual Graphs)
Trade-off Analysis Meets Probabilistic Model Checking + (Trade-off Analysis Meets Probabilistic Model Checking)
Translating the At-Most-One Constraint to SAT + (Translating the At-Most-One Constraint to SAT)
Tree Automata with Global and Non-Global Counting + (Tree Automata with Global and Non-Global Counting)
Tree Automata with Global and Non-Global Counting + (Tree Automata with Global and Non-Global Counting)
Trees and Semantics + (Trees and Semantics)
Truth—A Platform for Verification of Distributed Systems + (Truth—A Platform for Verification of Distributed Systems)
Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic + (Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic)
Tuition Fee Waiver + (Tuition Fee Waiver)
Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy)
Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy)
Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy)
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg + (Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg)
Tuple-Generating Dependencies Capture Complex Values + (Tuple-Generating Dependencies Capture Complex Values)
Tuple-Generating Dependencies Capture Complex Values + (Tuple-Generating Dependencies Capture Complex Values)