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

Franziska Krüger + (Franziska Krüger)
Franziska Krüger + (Franziska Krüger)
Fredo Erxleben + (Fredo Erxleben)
Fredo Erxleben + (Fredo Erxleben)
Free University of Bozen-Bolzano + (Free University of Bozen-Bolzano)
Free University of Bozen-Bolzano + (Free University of Bozen-Bolzano)
Frequently Asked Questions + (Frequently Asked Questions)
From Classical to Consistent Query Answering under Existential Rules + (From Classical to Consistent Query Answering under Existential Rules)
From Classical to Consistent Query Answering under Existential Rules + (From Classical to Consistent Query Answering under Existential Rules)
From Data to Knowledge: Extending Database Techniques for Knowledge Graphs + (From Data to Knowledge: Extending Database Techniques for Knowledge Graphs)
From Data to Knowledge: Extending Database Techniques for Knowledge Graphs + (From Data to Knowledge: Extending Database Techniques for Knowledge Graphs)
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK + (From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK)
From Display to Labelled Proofs for Tense Logics + (From Display to Labelled Proofs for Tense Logics)
From EL to Tractable Existential Rules with Complex Role Inclusions + (From EL to Tractable Existential Rules with Complex Role Inclusions)
From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata + (From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata)
From Features to Roles + (From Features to Roles)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar) + (From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar))
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata + (From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata)
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata + (From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata)
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)