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
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (24. November 2022, 11:00:00)
- Erfolg für ICCL und TU Dresden: CPEC für vier Jahre weiter gefördert + (25. November 2022)
- The Relevance of Formal Logics for Cognitive Logics, and Vice Versa + (14. Dezember 2022, 11:00:00)
- Nested Sequents for First-Order Modal Logics via Reachability Rules + (15. Dezember 2022, 11:00:00)
- Herzlich willkommen Rajab Aghamov + (1. Januar 2023)
- Lukas Gerlach mit Lohrmann Medaille ausgezeichnet + (11. Januar 2023)
- Efficient Dependency Analysis for Rule-Based Ontologies + (12. Januar 2023, 11:00:00)
- Strong Equivalence in Non-monotonic Reasoning + (19. Januar 2023, 11:00:00)
- Philipp Hanisch erhält Georg-Helm-Preis + (4. Februar 2023)
- Multilinguality in Knowledge Graphs + (16. Februar 2023, 11:00:00)
- Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (2. März 2023, 11:00:00)
- From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals + (9. März 2023, 11:00:00)
- 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)
