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

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