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

• 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)
• Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration  + (27. Januar 2022, 11:00:00)
• Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics  + (3. Februar 2022, 11:00:00)
• Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2  + (10. Februar 2022, 11:00:00)

• Agile Project Management - An overview on techniques and the agile mindset  + (17. Februar 2022, 11:00:00)

• A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic  + (31. März 2022, 11:00:00)
• Neue Mitarbeiterin: Dr. Luisa Herrmann  + (6. April 2022)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard  + (7. April 2022, 11:00:00)
• Computing Generalizations of Temporal EL Concepts with Next and Global  + (14. April 2022, 11:00:00)
• Neue Version der adf_bdd-Bibliothek!  + (21. April 2022)
• Expressivity of Planning with Horn Description Logic Ontologies  + (28. April 2022, 11:00:00)
• Offene Stelle am Lehrstuhl für Computational Logic  + (2. Mai 2022)
• Causality meets Configurable Systems  + (5. Mai 2022, 11:00:00)
• ICCL-Forscher tragen zu Top-Konferenzen bei  + (6. Mai 2022)
• Weighted Automata with Storage  + (12. Mai 2022, 11:00:00)
• TU Dresden errichtet School of AI mit dem ICCL  + (19. Mai 2022)
• Communication with Automata  + (19. Mai 2022, 11:00:00)
• Offene Postdoc-Stelle am Lehrstuhl für Wissensbasierte Systeme  + (2. Juni 2022)
• Blockmodelling Knowledge Graphs  + (2. Juni 2022, 11:00:00)
• 8. Internationale Sommerschule über KI und Big Data  + (12. Juni 2022)
• Neue offene Stelle: Projektkoordinator/in  + (13. Juni 2022)
• The World Avatar project – a universal digital twin  + (15. Juni 2022, 10:00:00)
• Satisfiability Testing -- Recent Developments and Open Problems  + (16. Juni 2022, 11:00:00)
• Statistics for Knowledge Graph Modelling  + (23. Juni 2022, 11:00:00)
• Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog  + (30. Juni 2022, 11:00:00)
• A Glimpse into Propositional Model Counting  + (7. Juli 2022, 11:00:00)
• SECAI startet mit Antrittstreffen in Dresden  + (12. Juli 2022)
• KLM-Style Defeasible Reasoning  + (21. Juli 2022, 11:00:00)
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion  + (28. Juli 2022, 11:00:00)
• Zertifizierung medizinischer Software mit symbolischer KI grundlegend verbessern  + (2. August 2022)