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

• 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)
• Inaugural Lecture: Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT  + (16:40:00, 22 October 2024)
• Cyclic Proof Theory  + (11:00:00, 24 October 2024)
• Best Paper Award für Nemo  + (November 5, 2024)
• Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting  + (11:00:00, 14 November 2024)
• Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24  + (November 20, 2024)
• Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic  + (11:00:00, 21 November 2024)
• The RustBelt and its Separation Logic  + (11:00:00, 28 November 2024)
• Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium  + (11:00:00, 5 December 2024)
• Tree Automata with Global and Non-Global Counting  + (11:00:00, 12 December 2024)
• GPTKB: Comprehensively Materializing Factual LLM Knowledge  + (11:00:00, 16 January 2025)
• ICCL Forschende tragen zur Lean-Standardbibliothek bei  + (January 20, 2025)
• Description Logic with Abstraction and Refinement  + (11:00:00, 6 February 2025)
• Formalizing Possibly Infinite Trees of Bounded Degree  + (11:00:00, 6 March 2025)
• On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic  + (11:00:00, 3 April 2025)