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 Knowledge Representation + (Foundations of Knowledge Representation)
Foundations of Knowledge Representation + (Foundations of Knowledge Representation)
Foundations of Knowledge Representation + (Foundations of Knowledge Representation)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings + (Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings)
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)
Quotation in Formal Logics and the Web + (Frege and the use-mention problem)
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 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 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)
Advanced Topics in Complexity Theory + (Function Problems)
Advanced Topics in Complexity Theory + (Function Problems)
Theoretische Informatik und Logik + (Funktionen und Normalformen)
Theoretische Informatik und Logik + (Funktionen und Normalformen)
Theoretische Informatik und Logik + (Funktionen und Normalformen)
Concurrency Theory + (Further Undecidability of Petri Net Equivalences)
Fusions of Description Logics + (Fusions of Description Logics)
Fusions of Description Logics and Abstract Description Systems + (Fusions of Description Logics and Abstract Description Systems)