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

Foundations of instance level updates in expressive description logics + (Foundations of instance level updates in expressive description logics)
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies + (Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies)
Foundations of probability-raising causality in Markov decision processes + (Foundations of probability-raising causality in Markov decision processes)
Framework for the Specification and Execution of parallel Clustering Algorithms + (Framework for the Specification and Execution of parallel Clustering Algorithms)
Framework for the Specification and Execution of parallel Clustering Algorithms + (Framework for the Specification and Execution of parallel Clustering Algorithms)
Francesco Kriegel + (Francesco Kriegel)
Francesco Kriegel + (Francesco Kriegel)
Francisco Martín-Recuerda + (Francisco Martín-Recuerda)
Francisco Martín-Recuerda + (Francisco Martín-Recuerda)
Franz Baader + (Franz Baader)
Franz Baader + (Franz Baader)
Franz J. Kurfess + (Franz J. Kurfess)
Franz J. Kurfess + (Franz J. Kurfess)
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)