Suche mittels Attribut
Aus International Center for Computational Logic
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
- Datei:DL2017-KMOT-Reasoning-with-Attributed-DLs-slides.pdf + (9. August 2017, 14:01:33)
- Datei:MKT2017-MARS-Talk.pdf + (25. August 2017, 04:29:24)
- Monotone Monadic SNP 1: Classical Results and Applications + (25. August 2017, 07:07:24)
- Monotone Monadic SNP 1: Classical Results and Applications + (25. August 2017, 07:07:25)
- Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture + (25. August 2017, 07:16:41)
- Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture + (25. August 2017, 07:16:42)
- Datei:Paper28.pdf + (29. August 2017, 12:27:22)
- Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (29. August 2017, 12:27:53)
- Daniel Borchmann + (29. August 2017, 13:24:08)
- Sebastian Rudolph wins Angry Birds competition at AI conference + (31. August 2017, 12:38:55)
- TU Dresden Reviewers Honoured at Leading AI Conference + (31. August 2017, 13:36:47)
- Datei:MK2017-SQID-Demo.pdf + (31. August 2017, 14:32:00)
- Datei:Talk def.pdf + (1. September 2017, 09:31:41)
- Datei:Dissertation thost.pdf + (1. September 2017, 09:32:25)
- Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information + (1. September 2017, 09:34:01)
- Dresdner Gutachter bei führender KI-Konferenz ausgezeichnet + (1. September 2017, 13:05:22)
- Datei:Schweizer-profile.png + (1. September 2017, 14:56:28)
- Monadic Reasoning with Weak Completion Semantics + (4. September 2017, 11:12:38)
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics + (4. September 2017, 11:14:01)
- Timetable + (5. September 2017, 09:19:29)
- Doctoral or postdoctoral researcher (f/m) + (6. September 2017, 07:34:12)
- Knowledge Representation and Reasoning Seminar + (6. September 2017, 08:45:46)
- Science of Computational Logic + (6. September 2017, 08:49:59)
- Logic + (6. September 2017, 08:52:03)
- Human Reasoning and Computational Logic + (6. September 2017, 08:55:09)
- Description Logic + (7. September 2017, 12:29:52)
- Description Logic + (7. September 2017, 12:29:53)
- Introduction to Non-monotonic Reasoning + (7. September 2017, 12:33:39)
- Introduction to Non-monotonic Reasoning + (7. September 2017, 12:33:40)
- Project Group Theoretical Computer Science + (7. September 2017, 12:37:07)
- Seminar: Further Topics in Description Logics + (7. September 2017, 12:40:51)
- Seminar: Further Topics in Description Logics + (7. September 2017, 12:40:52)
- Datei:Techreport.pdf + (8. September 2017, 10:00:26)
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics + (8. September 2017, 10:01:04)
- Best Paper Award for Sebastian Rudolph and Lukas Schweizer + (12. September 2017, 09:51:46)
- SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics + (13. September 2017, 10:42:06)
- SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics + (13. September 2017, 10:43:47)
- 8th South-East Asian Summer School on Computational Logic + (15. September 2017, 12:29:03)
- Sebastian Rudolph gewinnt Angry-Birds-Wettbewerb + (15. September 2017, 14:48:24)
- Best Paper Award für Sebastian Rudolph und Lukas Schweizer + (18. September 2017, 09:18:30)
- SAT-Solving + (19. September 2017, 07:59:03)
- Datei:Logic.pdf + (19. September 2017, 08:03:34)
- Formale Systeme + (20. September 2017, 12:19:09)
- Datei:Wcs.pdf + (22. September 2017, 06:27:33)
- Tomáš Masopust + (22. September 2017, 16:15:43)
- Sebastian Rudolph receives ERC Consolidator Grant + (25. September 2017, 10:09:58)
- Datei:Suppression.pdf + (25. September 2017, 13:00:17)
- Datei:Lect1.pdf + (26. September 2017, 12:58:03)
- Datei:ICCL SS2017 Argumentation slides1.pdf + (27. September 2017, 07:58:22)
- Datei:Iswc-2017-wolpertinger-demo.pdf + (27. September 2017, 08:44:39)
- Publikationen von Satyadharma Tirtarasa + (27. September 2017, 08:48:16)