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

Algorithmic Game Theory + (Algorithmic Game Theory: Playing Games: Alpha-Beta Tree Search (Vorlesung))
Algorithmic Game Theory + (Algorithmic Game Theory: Playing Games: Alpha-Beta Tree Search (Vorlesung))
Algorithmic Game Theory + (Algorithmic Game Theory: Public holiday (Entfällt))
Algorithmic Game Theory + (Algorithmic Game Theory: Public holiday (Entfällt))
Algorithmic Game Theory + (Algorithmic Game Theory: Public holiday (Entfällt))
Algorithmic Game Theory + (Algorithmic Game Theory: Q&A (Vorlesung))
Algorithmic Game Theory + (Algorithmic Game Theory: Repeated Play (Vorlesung))
Algorithmic Game Theory + (Algorithmic Game Theory: Repeated Play (Vorlesung))
Algorithmic Game Theory + (Algorithmic Game Theory: Repeated Play (Übung))
Algorithmic Game Theory + (Algorithmic Game Theory: Repeated Play (Übung))
Algorithmic Game Theory + (Algorithmic Game Theory: Room occupied by RoboLab (Entfällt))
Algorithmic Game Theory + (Algorithmic Game Theory: Sequential Games with Perfect Information (Vorlesung))
Algorithmic Game Theory + (Algorithmic Game Theory: Sequential Games with Perfect Information (Vorlesung))
Algorithmic Game Theory + (Algorithmic Game Theory: Sequential Games with Perfect Information (Übung))
Algorithmic Game Theory + (Algorithmic Game Theory: Sequential Games with Perfect Information (Übung))
An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation + (An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation)
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog + (An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog)
An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics + (An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics)
An Integrative Approach to Object Recognition in VSLAM + (An Integrative Approach to Object Recognition in VSLAM)
An Introduction to Proof Theory I: Sequent Calculus + (An Introduction to Proof Theory I: Sequent Calculus)
An Introduction to Proof Theory II: More on the Sequent Calculus + (An Introduction to Proof Theory II: More on the Sequent Calculus)
An Introduction to Wikidata + (An Introduction to Wikidata)
An importance value for temporal logics + (An importance value for temporal logics)
An overview of Datalog boundedness + (An overview of Datalog boundedness)
Analyse und Implementierung der scf2 Argumentation Semantik + (Analyse und Implementierung der scf2 Argumentation Semantik)

Ankündigung: Themenvergabe für studentische Projekte + (Ankündigung: Themenvergabe für studentische Projekte)

Answer Set Navigation alongside Quantitative Reasoning + (Answer Set Navigation alongside Quantitative Reasoning)
Answering Queries with Negation over Existential Rules + (Answering Queries with Negation over Existential Rules)
Answering Temporal Conjunctive Queries over DL Ontologies + (Answering Temporal Conjunctive Queries over DL Ontologies)
Application of a Monocular Camera as a Motion Sensor for Mobile Robots + (Application of a Monocular Camera as a Motion Sensor for Mobile Robots)
Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics + (Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics)
Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2 + (Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2)
Attributed Description Logics: Ontologies for Knowledge Graphs + (Attributed Description Logics: Ontologies for Knowledge Graphs)
Augmenting human cognition in collaborative knowledge collections + (Augmenting human cognition in collaborative knowledge collections)
Automata, Logic, Algebra... What do they have in common? + (Automata, Logic, Algebra... What do they have in common?)
Automated Reasoning Support for Process Models using Action Languages + (Automated Reasoning Support for Process Models using Action Languages)
Automatic Extraction of Compositional Matrix-Space Models of Language + (Automatic Extraction of Compositional Matrix-Space Models of Language)
Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation + (Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation)
Automatic translation of clinical trial eligibility criteria into formal queries + (Automatic translation of clinical trial eligibility criteria into formal queries)
Award1013 + (Award for German University Coordinators in Erasmus Mundus 2004-2008)
Award1015 + (Award for Outstanding Paper with Student Author)
Backdoors for SAT + (Backdoors for SAT)
Bartosz Bednarczyk gewinnt den Best Student Paper Award der JELIA 2021 + (Bartosz Bednarczyk gewinnt den Best Student Paper Award der JELIA 2021)
Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen. + (Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen.)
Bedingte und rekursive Aktionen im Fluent-Kalkül + (Bedingte und rekursive Aktionen im Fluent-Kalkül)
Award1018 + (Best Dissertation Award from SAP Research Center)
Best Paper Award auf der ISWC 2022 + (Best Paper Award auf der ISWC 2022)
Best Paper Award für Forschende des ICCL + (Best Paper Award für Forschende des ICCL)
Best Paper Award für Nemo + (Best Paper Award für Nemo)
Best Paper Award für Sebastian Rudolph und Lukas Schweizer + (Best Paper Award für Sebastian Rudolph und Lukas Schweizer)
Award1014 + (Best Paper Award in the Research Track of the ASWC 2008)