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

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