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

• Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen.  + (Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen.)
• Bartosz Bednarczyk wins the best student paper award at JELIA 2021  + (Bartosz Bednarczyk wins the best student paper award at JELIA 2021)
• Bartosz Bednarczyk wins the best student paper award at JELIA 2023.  + (Bartosz Bednarczyk wins the best student paper award at JELIA 2023.)
• Barış Sertkaya  + (Barış Sertkaya)
• Barış Sertkaya  + (Barış Sertkaya)
• Basic Description Logics  + (Basic Description Logics)
• Bayesian Description Logics  + (Bayesian Description Logics)
• Be lazy and don’t care: Faster CTL model checking for recursive state machines  + (Be lazy and don’t care: Faster CTL model checking for recursive state machines)
• Beam Me Up! - LaTeX-Beamer For Those Who Already Know  + (Beam Me Up! - LaTeX-Beamer For Those Who Already Know)
• Bedingte und rekursive Aktionen im Fluent-Kalkül  + (Bedingte und rekursive Aktionen im Fluent-Kalkül)
• Bedingte und rekursive Aktionen im Fluent-Kalkül  + (Bedingte und rekursive Aktionen im Fluent-Kalkül)
• Begabtenförderung im MINT-Bereich  + (Begabtenförderung im MINT-Bereich)
• Behind the secrets of large language models  + (Behind the secrets of large language models)
• Benchmark libraries for argumentation  + (Benchmark libraries for argumentation)
• Benjamin Zarrieß  + (Benjamin Zarrieß)
• Benjamin Zarrieß  + (Benjamin Zarrieß)
• Benno Fünfstück  + (Benno Fünfstück)
• Benno Fünfstück  + (Benno Fünfstück)
• Bertram Fronhöfer  + (Bertram Fronhöfer)
• Bertram Fronhöfer  + (Bertram Fronhöfer)
• Best Paper Award at ISWC 2022  + (Best Paper Award at ISWC 2022)
• Best Paper Award auf der ISWC 2022  + (Best Paper Award auf der ISWC 2022)
• Best Paper Award for Nemo  + (Best Paper Award for Nemo)
• Best Paper Award for Sebastian Rudolph and Lukas Schweizer  + (Best Paper Award for Sebastian Rudolph and Lukas Schweizer)
• 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)
• Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing  + (Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing)
• Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing  + (Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing)
• Bettina Weser  + (Bettina Weser)
• Bettina Weser  + (Bettina Weser)
• Bewerbungen für das Programm "International MSc Program in Computational Logic" bis 31.05. / 15.07.2019  + (Bewerbungen für das Programm "International MSc Program in Computational Logic" bis 31.05. / 15.07.2019)
• Bewerbungen für das internationale Masterprogramm "International MSc Program in Computational Logic"  + (Bewerbungen für das internationale Masterprogramm "International MSc Program in Computational Logic")
• Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features  + (Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features)
• Beyond NP Revolution  + (Beyond NP Revolution)
• Beyond NP Revolution  + (Beyond NP Revolution)
• Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition  + (Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition)
• Big Data Variety: On-Demand Data Integration  + (Big Data Variety: On-Demand Data Integration)
• Big Data Variety: On-Demand Data Integration  + (Big Data Variety: On-Demand Data Integration)
• Big Data in SAT Solving - Heuristiken von Beweisen lernen  + (Big Data in SAT Solving - Heuristiken von Beweisen lernen)
• Big Data in SAT Solving - Learn Heuristics from Proofs  + (Big Data in SAT Solving - Learn Heuristics from Proofs)
• Bisimulations, logics, and trace distributions for stochastic systems with rewards  + (Bisimulations, logics, and trace distributions for stochastic systems with rewards)
• Blackhole Pushdown Automata  + (Blackhole Pushdown Automata)
• Blackhole State-Controlled Regulated Pushdown Automata  + (Blackhole State-Controlled Regulated Pushdown Automata)
• Blocking Automata for PSPACE DLs  + (Blocking Automata for PSPACE DLs)
• Blocking and Pinpointing in Forest Tableaux  + (Blocking and Pinpointing in Forest Tableaux)
• Blockmodelling Knowledge Graphs  + (Blockmodelling Knowledge Graphs)
• Body-Mind-Language: Embodied Cognition in Natural Language  + (Body-Mind-Language: Embodied Cognition in Natural Language)
• Body-Mind-Language: Embodied Cognition in Natural Language  + (Body-Mind-Language: Embodied Cognition in Natural Language)
• Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition  + (Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition)
• Boolean Functions with Ordered Domains in Answer Set Programming  + (Boolean Functions with Ordered Domains in Answer Set Programming)