Suche mittels Attribut
Aus International Center for Computational Logic
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
- 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)
- Award1009 + (Best Paper Award of the German Conference on Artificial Intelligence)
- Award1017 + (Best Paper Award of the ICFCA 2010)
- Award1010 + (Best Paper Award of the Medinfo 2007 Congress)
- Award1021 + (Best Paper Award of the RR2012)
- Award1011 + (Best Poster Award of the ESWC 2008 Doctoral Symposium)
- Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing + (Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing)
- 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 NP Revolution + (Beyond NP Revolution)
- 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)
- Blockmodelling Knowledge Graphs + (Blockmodelling Knowledge Graphs)
- Body-Mind-Language: Embodied Cognition in Natural Language + (Body-Mind-Language: Embodied Cognition in Natural Language)
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying)
- Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting + (Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting)
- CACM-Blogartikel über die Vereinbarkeit von Familie und Beruf im akademischen Umfeld von ICCL-Forscherin Luisa Herrmann + (CACM-Blogartikel über die Vereinbarkeit von Familie und Beruf im akademischen Umfeld von ICCL-Forscherin Luisa Herrmann)
- CAPTCHA! Maschinen lernen Handeln von Menschen, die nicht verstehen, was sie wissen. Schwarzmarkt für nützliches Wissen und Nicht-Wissen Nr. 23 + (CAPTCHA! Maschinen lernen Handeln von Menschen, die nicht verstehen, was sie wissen. Schwarzmarkt für nützliches Wissen und Nicht-Wissen Nr. 23)
- Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics + (Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics)
- Can AI explanations skew our causal intuitions about the world? If so, can we correct for that? + (Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?)
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (Capturing Homomorphism-Closed Decidable Queries with Existential Rules)
- Causality meets Configurable Systems + (Causality meets Configurable Systems)
- Challenges of Using Leapfrog Triejoin for Datalog Programs + (Challenges of Using Leapfrog Triejoin for Datalog Programs)
- Characterization of the Expressivity of Existential Rule Queries + (Characterization of the Expressivity of Existential Rule Queries)
