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
- CACM-Blogartikel über die Vereinbarkeit von Familie und Beruf im akademischen Umfeld von ICCL-Forscherin Luisa Herrmann + (1. Juli 2024)
- Finite Groundings for ASP with Functions: A Journey through Consistency + (11. Juli 2024, 11:00:00)
- Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning + (18. Juli 2024, 11:00:00)
- Multi-Cultural Commonsense Knowledge Base Construction + (8. August 2024, 11:00:00)
- Characterizing common argumentation semantics using branch evaluations for justification systems + (15. August 2024, 11:00:00)
- Probabilistic Causality in Markovian Models + (23. September 2024)
- Winning Snake: Design Choices in Multi-Shot ASP + (26. September 2024, 11:00:00)
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster + (10. Oktober 2024, 11:00:00)
- Navigating ASP Solution Spaces (Canceled) + (17. Oktober 2024, 11:00:00)
- Inaugural Lecture: Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT + (22. Oktober 2024, 16:40:00)
- Cyclic Proof Theory + (24. Oktober 2024, 11:00:00)
- Best Paper Award für Nemo + (5. November 2024)
- Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting + (14. November 2024, 11:00:00)
- Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24 + (20. November 2024)
- Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic + (21. November 2024, 11:00:00)
- The RustBelt and its Separation Logic + (28. November 2024, 11:00:00)
- Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium + (5. Dezember 2024, 11:00:00)
- Tree Automata with Global and Non-Global Counting + (12. Dezember 2024, 11:00:00)
- GPTKB: Comprehensively Materializing Factual LLM Knowledge + (16. Januar 2025, 11:00:00)
- ICCL Forschende tragen zur Lean-Standardbibliothek bei + (20. Januar 2025)
- Description Logic with Abstraction and Refinement + (6. Februar 2025, 11:00:00)
- Formalizing Possibly Infinite Trees of Bounded Degree + (6. März 2025, 11:00:00)
