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

• Neuer Mitarbeiter: Jonas Karge  + (16. Dezember 2020)
• Neuer Mitarbeiter: Tim Lyon  + (17. Dezember 2020)
• Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit  + (17. Dezember 2020, 13:00:00)
• Neuer Mitarbeiter: Stefan Ellmauthaler  + (7. Januar 2021)
• Happy World Logic Day 2021!  + (14. Januar 2021)
• Neuer Mitarbeiter: Dominik Rusovac  + (22. Januar 2021)
• Codifying Logical Fragments in ASP - A General Knowledge Base Approach  + (4. Februar 2021, 13:00:00)
• Knowledge Graphs for AI: Wikidata and Beyond  + (11. Februar 2021, 13:00:00)
• Solving Datalog(S) Problems with Lazy-Grounding ASP Solving  + (4. März 2021, 13:00:00)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (18. März 2021, 13:00:00)
• "Most of" leads to undecidability: Failure of adding frequencies to LTL  + (25. März 2021, 13:00:00)
• Using Datalog to Ground ASP Programs  + (1. April 2021, 13:00:00)
• ICCL mit gleich vier Papieren bei LICS 2021 vertreten  + (3. April 2021)
• Detecting Non-Existence of Finite Universal Models for Existential Rules  + (8. April 2021, 13:00:00)
• An Introduction to Proof Theory I: Sequent Calculus  + (15. April 2021, 13:00:00)
• A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics  + (22. April 2021, 13:00:00)
• From Data to Knowledge: Extending Database Techniques for Knowledge Graphs  + (29. April 2021, 14:30:00)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (6. Mai 2021, 13:00:00)
• Bartosz Bednarczyk gewinnt den Best Student Paper Award der JELIA 2021  + (17. Mai 2021)
• An importance value for temporal logics  + (20. Mai 2021, 13:00:00)
• Enterprise Management in the Presence of Data  + (27. Mai 2021, 13:00:00)
• Finite Model Theory of the Triguarded Fragment and Related Logics  + (17. Juni 2021, 13:00:00)
• Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains  + (24. Juni 2021, 13:00:00)
• Fluted Logic with Counting  + (8. Juli 2021, 13:00:00)
• Optimizing the Execution Order of Datalog Rules in VLog  + (15. Juli 2021, 13:00:00)

• Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning  + (22. Juli 2021, 13:00:00)

• Refining Labelled Systems for Modal and Constructive Logics with Applications  + (29. Juli 2021)
• Challenges of Using Leapfrog Triejoin for Datalog Programs  + (29. Juli 2021, 13:00:00)
• In the Hand of the Beholder: Comparing Interactive Proof Visualizations  + (12. August 2021, 13:00:00)
• Standpoint Logic: Multi-Perspective Knowledge Representation  + (9. September 2021, 13:00:00)
• Chase-Based Computation of Cores for Existential Rules  + (16. September 2021, 13:00:00)
• Exploiting Treewidth for Counting in Abstract Argumentation  + (23. September 2021, 13:00:00)
• An overview of Datalog boundedness  + (7. Oktober 2021, 13:00:00)
• Neuer Mitarbeiter: Lukas Gerlach  + (13. Oktober 2021)
• Neuer Mitarbeiter: Piotr Ostropolski-Nalewaja  + (18. Oktober 2021)
• Ongoing Research in the NAVAS Project  + (21. Oktober 2021, 11:00:00)
• Indexing for Datalog Materialisation with Leapfrog Triejoin  + (28. Oktober 2021, 11:00:00)
• ICCL-Forscher erhalten Best Paper Award auf internationaler Top-Konferenz für symbolische KI  + (3. November 2021)
• Admissibility in Probabilistic Argumentation  + (4. November 2021, 11:00:00)
• Markus Krötzsch erhält Digital-Lehrpreis der Fachschaft Informatik  + (12. November 2021)
• Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation  + (18. November 2021, 11:00:00)
• On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics  + (25. November 2021, 11:00:00)
• ICCL-Forscher punkten mit sechs Beiträgen auf der AAAI 2022  + (1. Dezember 2021)
• Capturing Homomorphism-Closed Decidable Queries with Existential Rules  + (2. Dezember 2021, 11:00:00)
• ICCL von der TU Dresden als Leuchtturm ausgewählt  + (7. Dezember 2021)
• Reliance-Based Optimization of Existential Rule Reasoning  + (9. Dezember 2021, 09:45:00)
• Neuer Mitarbeiter: Alex Ivliev  + (15. Dezember 2021)
• Answering Queries with Negation over Existential Rules  + (6. Januar 2022, 11:00:00)
• An Introduction to Proof Theory II: More on the Sequent Calculus  + (13. Januar 2022, 11:00:00)
• Happy World Logic Day 2022!  + (14. Januar 2022)
• Tuple-Generating Dependencies Capture Complex Values  + (20. Januar 2022, 11:00:00)