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 Next Generation Sequential and Parallel SAT Solvers + (Towards Next Generation Sequential and Parallel SAT Solvers)
Towards Nonmonotonic Reasoning on Hierarchical Knowledge + (Towards Nonmonotonic Reasoning on Hierarchical Knowledge)
Towards Nonmonotonic Reasoning on Hierarchical Knowledge + (Towards Nonmonotonic Reasoning on Hierarchical Knowledge)
Towards Parallel Repair Using Decompositions + (Towards Parallel Repair Using Decompositions)
Towards Parallel Repair: An Ontology Decomposition-based Approach + (Towards Parallel Repair: An Ontology Decomposition-based Approach)
Towards Planning as Concurrency + (Towards Planning as Concurrency)
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)
Academic Skills in Computer Science + (Towards Writing)
Academic Skills in Computer Science + (Towards Writing)
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 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 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)
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 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)
Database Theory + (Trakhtenbrot's Theorem)
Database Theory + (Trakhtenbrot's Theorem)
Database Theory + (Trakhtenbrot's Theorem)
Database Theory + (Trakthenbrot's Theorem)
Translating the At-Most-One Constraint to SAT + (Translating the At-Most-One Constraint to SAT)
Foundations of Databases and Query Languages + (Tree-Like Conjunctive Queries)
Database Theory + (Tree-Like Conjunctive Queries)
Database Theory + (Tree-Like Conjunctive Queries (1))
Database Theory + (Tree-Like Conjunctive Queries (1))
Database Theory + (Tree-Like Conjunctive Queries (1))
Database Theory + (Tree-Like Conjunctive Queries (1))
Database Theory + (Tree-Like Conjunctive Queries (1))
Database Theory + (Tree-Like Conjunctive Queries (1))
Database Theory + (Tree-Like Conjunctive Queries (1))
Database Theory + (Tree-Like Conjunctive Queries (2))
Database Theory + (Tree-Like Conjunctive Queries (2))
Database Theory + (Tree-Like Conjunctive Queries (2))