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
- Relating Description Complexity to Entropy + (16. März 2023, 11:00:00)
- Static Program Analysis in Datalog + (23. März 2023, 11:00:00)
- Adventures in Computer Science -- Grades 1 & 2 + (30. März 2023, 11:00:00)
- A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment + (20. April 2023, 11:00:00)
- Can AI explanations skew our causal intuitions about the world? If so, can we correct for that? + (4. Mai 2023, 11:00:00)
- Discrete Linear Dynamical Systems: The Introduction. + (12. Mai 2023, 11:00:00)
- Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures + (25. Mai 2023, 11:00:00)
- Database-Inspired Reasoning Problems in Description Logics With Path Expressions + (1. Juni 2023, 11:00:00)
- Dr. Sergei Obiedkov wird Mitglied der Gruppe Wissensbasierte Systeme + (5. Juni 2023)
- Querying Wikidata with GraphQL + (8. Juni 2023, 11:00:00)
- Deontic Explanations via Logical Argumentation. + (15. Juni 2023, 11:00:00)
- To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence + (29. Juni 2023, 11:00:00)
- Investigating the finite-cliquewidth-model property of C². + (6. Juli 2023, 11:00:00)
- How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. + (13. Juli 2023, 11:00:00)
- ICCL feiert großen Erfolg mit elf angenommenen Beiträgen bei Top-Konferenzen + (21. Juli 2023)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination + (27. Juli 2023, 11:00:00)
- On the Abstract Expressive Power of Description Logics with Concrete Domains + (24. August 2023, 11:00:00)
- Formalizing "Formale Systeme" + (31. August 2023, 11:00:00)
- ICCL veranstaltet JELIA 2023 + (13. September 2023)
- Representative Answer Sets: Collecting Something of Everything + (14. September 2023, 11:00:00)
- Temporal reasoning with DatalogMTL + (19. September 2023, 11:00:00)
- ICCL-Forschende mit Distinguished Paper Award geehrt + (20. September 2023)
- Knowledge graphs: description, validation and subsetting + (5. Oktober 2023, 11:00:00)
- Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen. + (20. Oktober 2023)
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (2. November 2023, 11:00:00)
- Abstract Domains for Database Manipulating Processes + (9. November 2023, 11:00:00)
- Notation3 as an Existential Rule Language + (16. November 2023, 11:00:00)
- Logik geht durch den Magen -- modeling interesting phenomena in (not only) food computing + (14. Dezember 2023, 11:00:00)
- Davide Di Pierro besucht die KBS-Gruppe + (8. Januar 2024)
- PAC Completion of Description Logic TBoxes + (11. Januar 2024, 11:00:00)
- ICCL feiert World Logic Day + (14. Januar 2024)
- Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation + (15. Januar 2024)
- A Logic-based Reasoning Framework for Graph Databases + (18. Januar 2024, 11:00:00)
- ASYDE: An Argumentation-based System for classifYing Driving bEhaviors + (1. Februar 2024, 11:00:00)
- SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer) + (8. Februar 2024, 11:00:00)
- Answer Set Navigation alongside Quantitative Reasoning + (15. Februar 2024, 11:00:00)
- Generating molecule graphs from mass spectrometry results using Answer-Set-Programming + (28. März 2024, 11:00:00)
- Ankündigung: Themenvergabe für studentische Projekte + (18. April 2024)
- Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models + (18. April 2024, 11:00:00)
- Best Paper Award für Forschende des ICCL + (19. April 2024)
- An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation + (25. April 2024, 11:00:00)
- Minesweeper goes Kaboom (in ASP) - and what makes it difficult + (16. Mai 2024, 11:00:00)
- Chase Termination Beyond Polynomial Time + (30. Mai 2024, 11:00:00)
- Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshoorn und Nick Leisegang + (3. Juni 2024)
- Forschende der ICCL mit Best Paper Award ausgezeichnet + (6. Juni 2024)
- Musings on Graph Data, Schemas, Modality, and Coinduction + (6. Juni 2024, 11:00:00)
- ICCL-Forscher:innen nehmen an Rewe Team Challenge 2024 teil + (12. Juni 2024)
- Markus Krötzsch erhält den Lehrpreis 2024 + (13. Juni 2024)
- Data Complexity in Expressive Description Logics With Path Expressions + (13. Juni 2024, 11:00:00)
- Nemo: Your Friendly and Versatile Rule Reasoning Toolkit + (20. Juni 2024, 11:00:00)
- Database-Inspired Reasoning Problems in Description Logics With Path Expressions + (25. Juni 2024)
