Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)