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

• Investigating the finite-cliquewidth-model property of C².  + (11:00:00, 6 July 2023)
• How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions.  + (11:00:00, 13 July 2023)
• ICCL feiert großen Erfolg mit elf angenommenen Beiträgen bei Top-Konferenzen  + (July 21, 2023)
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination  + (11:00:00, 27 July 2023)
• On the Abstract Expressive Power of Description Logics with Concrete Domains  + (11:00:00, 24 August 2023)
• Formalizing "Formale Systeme"  + (11:00:00, 31 August 2023)
• ICCL veranstaltet JELIA 2023  + (September 13, 2023)
• Representative Answer Sets: Collecting Something of Everything  + (11:00:00, 14 September 2023)
• Temporal reasoning with DatalogMTL  + (11:00:00, 19 September 2023)
• ICCL-Forschende mit Distinguished Paper Award geehrt  + (September 20, 2023)
• Knowledge graphs: description, validation and subsetting  + (11:00:00, 5 October 2023)
• Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen.  + (October 20, 2023)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (11:00:00, 2 November 2023)
• Abstract Domains for Database Manipulating Processes  + (11:00:00, 9 November 2023)
• Notation3 as an Existential Rule Language  + (11:00:00, 16 November 2023)
• Logik geht durch den Magen -- modeling interesting phenomena in (not only) food computing  + (11:00:00, 14 December 2023)
• Davide Di Pierro besucht die KBS-Gruppe  + (January 8, 2024)
• PAC Completion of Description Logic TBoxes  + (11:00:00, 11 January 2024)
• ICCL feiert World Logic Day  + (January 14, 2024)
• Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation  + (January 15, 2024)
• A Logic-based Reasoning Framework for Graph Databases  + (11:00:00, 18 January 2024)
• ASYDE: An Argumentation-based System for classifYing Driving bEhaviors  + (11:00:00, 1 February 2024)
• SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer)  + (11:00:00, 8 February 2024)
• Answer Set Navigation alongside Quantitative Reasoning  + (11:00:00, 15 February 2024)
• Generating molecule graphs from mass spectrometry results using Answer-Set-Programming  + (11:00:00, 28 March 2024)

• Ankündigung: Themenvergabe für studentische Projekte  + (April 18, 2024)

• Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models  + (11:00:00, 18 April 2024)
• Best Paper Award für Forschende des ICCL  + (April 19, 2024)
• An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation  + (11:00:00, 25 April 2024)
• Minesweeper goes Kaboom (in ASP) - and what makes it difficult  + (11:00:00, 16 May 2024)
• Chase Termination Beyond Polynomial Time  + (11:00:00, 30 May 2024)
• Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshoorn und Nick Leisegang  + (June 3, 2024)
• Forschende der ICCL mit Best Paper Award ausgezeichnet  + (June 6, 2024)
• Musings on Graph Data, Schemas, Modality, and Coinduction  + (11:00:00, 6 June 2024)
• ICCL-Forscher:innen nehmen an Rewe Team Challenge 2024 teil  + (June 12, 2024)
• Markus Krötzsch erhält den Lehrpreis 2024  + (June 13, 2024)
• Data Complexity in Expressive Description Logics With Path Expressions  + (11:00:00, 13 June 2024)
• Nemo: Your Friendly and Versatile Rule Reasoning Toolkit  + (11:00:00, 20 June 2024)
• Database-Inspired Reasoning Problems in Description Logics With Path Expressions  + (June 25, 2024)
• A SHACL primer for KR researchers  + (11:00:00, 25 June 2024)
• PhD Defense of Bartosz Bednarczyk  + (13:30:00, 25 June 2024)
• Research Lightning Talks  + (11:00:00, 27 June 2024)
• CACM-Blogartikel über die Vereinbarkeit von Familie und Beruf im akademischen Umfeld von ICCL-Forscherin Luisa Herrmann  + (July 1, 2024)
• Finite Groundings for ASP with Functions: A Journey through Consistency  + (11:00:00, 11 July 2024)
• Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning  + (11:00:00, 18 July 2024)
• Multi-Cultural Commonsense Knowledge Base Construction  + (11:00:00, 8 August 2024)
• Characterizing common argumentation semantics using branch evaluations for justification systems  + (11:00:00, 15 August 2024)
• Probabilistic Causality in Markovian Models  + (September 23, 2024)
• Winning Snake: Design Choices in Multi-Shot ASP  + (11:00:00, 26 September 2024)
• Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster  + (11:00:00, 10 October 2024)
• Navigating ASP Solution Spaces (Canceled)  + (11:00:00, 17 October 2024)