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

• Bewerbungen für das internationale Masterprogramm "International MSc Program in Computational Logic"  + (5. Januar 2017)
• Image schemas in computational concept invention  + (5. Januar 2017, 11:00:00)
• Towards Breaking the Language and Modality Barrier: Learning Cross-lingual Cross-modal Semantic Representations  + (19. Januar 2017, 11:00:00)
• Semantic Search for Novel Information  + (19. Januar 2017, 11:30:00)
• Workshop on Human Reasoning and Computational Logic  + (9. Februar 2017, 09:00:00)
• EMCL Student Workshop 2017  + (21. Februar 2017, 14:00:00)
• Solving Angry Birds with Reinforcement Learning  + (23. Februar 2017, 11:00:00)
• Automata, Logic, Algebra... What do they have in common?  + (2. März 2017, 11:00:00)
• Decomposition of regular languages  + (16. März 2017, 11:00:00)
• Das Bewerbungsportal für den Studiengang "European Master's Program in Computational Logic" wurde am 31.05.2017 geschlossen.  + (27. März 2017)
• Suche struktureller Ähnlichkeiten in großen Graphen  + (13. April 2017, 13:00:00)
• Selected Advances in Data Semantics  + (18. April 2017, 14:00:00)
• Restricted Chase (Non)Termination for Existential Rules with Disjunctions  + (27. April 2017, 13:00:00)
• Logic on MARS: Ontologies for Generalised Property Graphs  + (4. Mai 2017, 13:00:00)
• Revisiting Circumscription  + (11. Mai 2017, 13:00:00)
• Question Answering over Real-World Knowledge Graphs  + (18. Mai 2017, 13:00:00)
• Most Probable Explanations for Probabilistic Database Queries  + (1. Juni 2017, 13:00:00)
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information  + (19. Juni 2017)
• Query Rewriting for DL-Lite with n-ary Concrete Domains  + (22. Juni 2017, 13:00:00)
• From Logic Programming to Human Reasoning: How to be Artificially Human  + (26. Juni 2017)
• Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (29. Juni 2017, 13:00:00)
• Metric Temporal Description Logics with Interval-Rigid Names  + (6. Juli 2017, 13:00:00)
• Using Ontologies to Query Probabilistic Numerical Data  + (6. Juli 2017, 13:30:00)
• The Identity Problem in Description Logic Ontologies  + (13. Juli 2017, 13:00:00)
• Happy Birthday Steffen!  + (22. Juli 2017)

• Advances in Abstract Argumentation - Expressiveness and Dynamics  + (27. Juli 2017, 13:00:00)

• Logical Foundations of Linked Data Anonymisation  + (14. August 2017, 14:00:00)
• Sebastian Rudolph gewinnt Angry-Birds-Wettbewerb  + (25. August 2017)
• Dresdner Gutachter bei führender KI-Konferenz ausgezeichnet  + (26. August 2017)
• Quantum Computing and the Limits of the Efficiently Computable  + (28. August 2017, 14:00:00)
• Monotone Monadic SNP 1: Classical Results and Applications  + (1. September 2017, 13:15:00)
• Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture  + (1. September 2017, 13:45:00)
• Best Paper Award für Sebastian Rudolph und Lukas Schweizer  + (7. September 2017)
• ICCL Summer School 'Bridging the Gap between Human and Automated Reasoning', September 18-29, 2017, Dresden  + (18. September 2017, 09:00:00)
• Tractable Query Answering for Expressive Ontologies and Existential Rules  + (12. Oktober 2017, 09:20:00)
• Attributed Description Logics: Ontologies for Knowledge Graphs  + (19. Oktober 2017, 09:20:00)
• Context Reasoning for Role-Based Models  + (27. Oktober 2017, 09:15:00)
• Verification of Golog Programs over Description Logic Actions  + (2. November 2017, 09:15:00)
• SQID: Reasonable Wikidata  + (9. November 2017, 09:20:00)
• Body-Mind-Language: Embodied Cognition in Natural Language  + (23. November 2017, 09:20:00)
• Sebastian Rudolph erhält ERC Consolidator Grant  + (27. November 2017)
• Generalized Consistent Query Answering under Existential Rules  + (30. November 2017, 09:20:00)
• SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics  + (6. Dezember 2017, 09:00:00)
• STEP by Step, towards Smart Services  + (8. Februar 2018, 09:20:00)
• 12. EMCL Workshop  + (20. Februar 2018, 09:00:00)
• VLog: A Column-oriented Rule-Based Engine  + (22. Februar 2018, 09:20:00)
• Notes on Computational Learning Theory and the problem of learning CNFs  + (1. März 2018, 09:20:00)
• Preserving Constraints with the Stable Chase  + (8. März 2018, 09:20:00)
• Functional models and Data Complexity for FL0  + (15. März 2018, 09:20:00)
• Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis  + (5. April 2018, 13:00:00)
• Second Workshop on Human Reasoning and Computational Logic  + (10. April 2018, 09:00:00)