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

Analyse und Implementierung der scf2 Argumentation Semantik + (Analysis and Implementation of scf2 Argumentation Semantics)
Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshoorn und Nick Leisegang + (Anouk Michelle Oudshoorn and Nick Leisegang visit the Computational Logic Research Group)
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)
Bewerbungen für das Programm "International MSc Program in Computational Logic" bis 31.05. / 15.07.2019 + (Applications for the course ""International MSc Program in Computational Logic" are possible until 31 May / 15 July 2019)
Bewerbungen für das internationale Masterprogramm "International MSc Program in Computational Logic" + (Applications for the 'International MSc Program in Computational Logic')
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 wins the best student paper award at JELIA 2021)
Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen. + (Bartosz Bednarczyk wins the best student paper award at JELIA 2023.)
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 at ISWC 2022)

Best Paper Award für Nemo + (Best Paper Award for Nemo)

Best Paper Award für Sebastian Rudolph und Lukas Schweizer + (Best Paper Award for Sebastian Rudolph and 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)
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 - Learn Heuristics from Proofs)
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 blog article on work-family balance in academia by ICCL researcher 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! Machines learn to act from humans who don't understand what they know. Blackmarket for Useful Knowledge and Non-Knowledge 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)
Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit + (Cardinality Resolution in Unsatisfiability Proofs)
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)
Characterizing common argumentation semantics using branch evaluations for justification systems + (Characterizing common argumentation semantics using branch evaluations for justification systems)