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

Combination Techniques and Decision Problems for Disunification + (Combination Techniques and Decision Problems for Disunification)
Combination Techniques and Decision Problems for Disunification + (Combination Techniques and Decision Problems for Disunification)
Combination of Compatible Reduction Orderings that are Total on Ground Terms + (Combination of Compatible Reduction Orderings that are Total on Ground Terms)
Combination of Compatible Reduction Orderings that are Total on Ground Terms + (Combination of Compatible Reduction Orderings that are Total on Ground Terms)
Combination of Compatible Reduction Orderings that are Total on Ground Terms + (Combination of Compatible Reduction Orderings that are Total on Ground Terms)
Combination of Constraint Solvers for Free and Quasi-Free Structures + (Combination of Constraint Solvers for Free and Quasi-Free Structures)
Combination of Constraint Solving Techniques: An Algebraic Point of View + (Combination of Constraint Solving Techniques: An Algebraic Point of View)
Combination of Constraint Solving Techniques: An Algebraic Point of View + (Combination of Constraint Solving Techniques: An Algebraic Point of View)
Combining A1 and AC1 Unification + (Combining A1 and AC1 Unification)
Combining A1 and AC1 Unification + (Combining A1 and AC1 Unification)
Combining A1- and AC1-Unification Sharing Unit + (Combining A1- and AC1-Unification Sharing Unit)
Combining Belief Revision and Abstract Dialectical Frameworks + (Combining Belief Revision and Abstract Dialectical Frameworks)
Combining Belief Revision and Abstract Dialectical Frameworks + (Combining Belief Revision and Abstract Dialectical Frameworks)
Combining Constraint Solving + (Combining Constraint Solving)
Combining Decision Procedures for Positive Theories Sharing Constructors + (Combining Decision Procedures for Positive Theories Sharing Constructors)
Combining Equational Theories Sharing Non-Collapse-Free Constructors + (Combining Equational Theories Sharing Non-Collapse-Free Constructors)
Combining Equational Theories Sharing Non-Collapse-Free Constructors + (Combining Equational Theories Sharing Non-Collapse-Free Constructors)
Combining Interval-based Temporal Reasoning with General TBoxes + (Combining Interval-based Temporal Reasoning with General TBoxes)
Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies + (Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies)
Communication with Automata + (Communication with Automata)
Comonadic Semantics for Description Logics Games + (Comonadic Semantics for Description Logics Games)
Compact Argumentation Frameworks + (Compact Argumentation Frameworks)
Compact Argumentation Frameworks + (Compact Argumentation Frameworks)
Compact Rewritings for Existential Rules + (Compact Rewritings for Existential Rules)
Comparative Branching-Time Semantics + (Comparative Branching-Time Semantics)

Comparative branching-time semantics for Markov chains + (Comparative branching-time semantics for Markov chains)

Comparison of Inconsistency Handling Strategies in Description Logics + (Comparison of Inconsistency Handling Strategies in Description Logics)
Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms + (Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms)
Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version + (Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version)
Complementation and Inclusion of Weighted Automata on Infinite Trees + (Complementation and Inclusion of Weighted Automata on Infinite Trees)
Completed projects + (Completed projects)
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements + (Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements)
Completing Description Logic Knowledge Bases using Formal Concept Analysis + (Completing Description Logic Knowledge Bases using Formal Concept Analysis)
Completing Description Logic Knowledge Bases using Formal Concept Analysis + (Completing Description Logic Knowledge Bases using Formal Concept Analysis)
Completing Description Logic Knowledge Bases using Formal Concept Analysis + (Completing Description Logic Knowledge Bases using Formal Concept Analysis)
Completing Incomplete Bayesian Networks + (Completing Incomplete Bayesian Networks)
Completing Incomplete Bayesian Networks + (Completing Incomplete Bayesian Networks)
Completing the Picture: Complexity of Graded Modal Logics with Converse + (Completing the Picture: Complexity of Graded Modal Logics with Converse)
Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities + (Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities)
Completness of E-unification with eager Variable Elimination + (Completness of E-unification with eager Variable Elimination)
Complex Plans in the Fluent Calculus + (Complex Plans in the Fluent Calculus)
Complexities of Horn Description Logics + (Complexities of Horn Description Logics)
Complexities of Nominal Schemas + (Complexities of Nominal Schemas)
Complexity Boundaries for Horn Description Logics + (Complexity Boundaries for Horn Description Logics)
Complexity Results for Probabilistic Datalog+/- + (Complexity Results for Probabilistic Datalog+/-)
Complexity Theory + (Complexity Theory)
Complexity Theory + (Complexity Theory)
Complexity Theory + (Complexity Theory)
Complexity Theory + (Complexity Theory)
Complexity Theory + (Complexity Theory)
Complexity Theory + (Complexity Theory)