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

From Linear Proofs to Direct Logic with Exponentials + (From Linear Proofs to Direct Logic with Exponentials)
From Logic Programming to Human Reasoning: How to be Artificially Human (abstract) + (From Logic Programming to Human Reasoning: How to be Artificially Human (abstract))
From Logic Programming to Human Reasoning: How to be Artificially Human + (From Logic Programming to Human Reasoning: How to be Artificially Human)
From Logic Programs to Iterated Function Systems + (From Logic Programs to Iterated Function Systems)
From Logic Programs to Iterated Function Systems + (From Logic Programs to Iterated Function Systems)
From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals + (From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals)
From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals + (From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals)
From Tableaux to Automata for Description Logics + (From Tableaux to Automata for Description Logics)
From Tableaux to Automata for Description Logics + (From Tableaux to Automata for Description Logics)
From Verification to Causality-Based Explications + (From Verification to Causality-Based Explications)
From Verification to Synthesis under Cost-Utility Constraints + (From Verification to Synthesis under Cost-Utility Constraints)
From the Calculus of Structures to Term Rewriting Systems + (From the Calculus of Structures to Term Rewriting Systems)
Frontiers of Combining Systems + (Frontiers of Combining Systems)
Functional models and Data Complexity for FL0 + (Functional models and Data Complexity for FL0)
Functional models and Data Complexity for FL0 + (Functional models and Data Complexity for FL0)
Fusions of Description Logics + (Fusions of Description Logics)
Fusions of Description Logics and Abstract Description Systems + (Fusions of Description Logics and Abstract Description Systems)
Fuzzy Answer Sets Approximations + (Fuzzy Answer Sets Approximations)
Fuzzy Conceptual Knowledge Processing + (Fuzzy Conceptual Knowledge Processing)
Fuzzy DLs over Finite Lattices with Nominals + (Fuzzy DLs over Finite Lattices with Nominals)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)

Fuzzy Informationsverarbeitung + (Fuzzy Informationsverarbeitung)
Fuzzy Informationsverarbeitung + (Fuzzy Informationsverarbeitung)

Fuzzy Ontologies over Lattices with T-norms + (Fuzzy Ontologies over Lattices with T-norms)
Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine + (Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine)
Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies + (Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies)
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable + (GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable)
GPTKB: Comprehensively Materializing Factual LLM Knowledge + (GPTKB: Comprehensively Materializing Factual LLM Knowledge)
GPTKB: Comprehensively Materializing Factual LLM Knowledge + (GPTKB: Comprehensively Materializing Factual LLM Knowledge)
GSAT versus Simulated Annealing + (GSAT versus Simulated Annealing)
General A- and AX-Unification via Optimized Combination Procedures + (General A- and AX-Unification via Optimized Combination Procedures)
General A- and AX-Unification via Optimized Combination Procedures + (General A- and AX-Unification via Optimized Combination Procedures)
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract))
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report))
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase)
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase)
General Concept Inclusions with High Confidence in Finite Interpretations + (General Concept Inclusions with High Confidence in Finite Interpretations)
General Course Program + (General Course Program)
Generalized Consistent Query Answering under Existential Rules + (Generalized Consistent Query Answering under Existential Rules)
Generalized Consistent Query Answering under Existential Rules + (Generalized Consistent Query Answering under Existential Rules)
Generalized Domain-Range Restrictions + (Generalized Domain-Range Restrictions)
Generalized Metrics and Uniquely Determined Logic Programs + (Generalized Metrics and Uniquely Determined Logic Programs)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
Generalizing multi-context systems for reactive stream reasoning applications + (Generalizing multi-context systems for reactive stream reasoning applications)