Suche mittels Attribut

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

• An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog  + (22. September 2022, 11:00:00)
• Neuer Mitarbeiter: Piotr Gorczyca  + (23. September 2022)
• Faiq Miftakhul Falakh, Sebastian Rudolph und Kai Sauerwald haben den Best Student Paper Award der Konferenz „RuleML+RR 2022“ gewonnen.  + (4. Oktober 2022)
• Computability and Complexity of (Iterated) Belief Revision  + (5. Oktober 2022, 14:00:00)
• Discovering Fine-Grained Semantics in Knowledge Graph Relations  + (6. Oktober 2022, 11:00:00)
• How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic  + (20. Oktober 2022, 11:00:00)
• Wikidata feiert 10-jähriges Jubiläum  + (24. Oktober 2022)
• Best Paper Award auf der ISWC 2022  + (27. Oktober 2022)
• Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying  + (3. November 2022, 11:00:00)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase  + (10. November 2022, 11:00:00)
• Normalisations of Existential Rules: Not so Innocuous!  + (17. November 2022, 11:00:00)
• 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)