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

• 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)
• Representing Abstract Dialectical Frameworks with Binary Decision Diagrams  + (1. September 2022, 11:00:00)
• Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg  + (1. September 2022, 11:30:00)
• Herzlich willkommen Philipp Hanisch  + (2. September 2022)
• Finite Base Contraction and Expansion via Models - The ALC case  + (8. September 2022, 11:00:00)
• Honorable Mention bei LPNMR 2022  + (20. September 2022)
• 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)