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

• Datei:FLP2014-T6.pdf  + (29. Januar 2015, 09:36:06)
• Wikidata  + (29. Januar 2015, 16:40:09)
• Datei:Wikidata-logo-en.svg  + (29. Januar 2015, 16:43:21)
• ICCL Summer School 2015  + (30. Januar 2015, 10:58:36)
• Webpage of ICCL Summer School 2015 on Reasoning online now  + (30. Januar 2015, 11:59:16)
• Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!  + (30. Januar 2015, 14:31:19)
• Vorlage:Phdthesis  + (30. Januar 2015, 16:30:48)
• Datei:ExaminationPlan-2.pdf  + (2. Februar 2015, 07:36:01)
• Science of Computational Logic  + (4. Februar 2015, 09:02:07)
• SearchHaus  + (5. Februar 2015, 21:07:57)
• Datei:SerachHaus-logo.png  + (5. Februar 2015, 21:10:57)
• Datei:Kiwv-group-picture.jpg  + (9. Februar 2015, 07:14:45)
• Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de/en  + (9. Februar 2015, 08:43:02)
• Aktivitaet2013  + (9. Februar 2015, 10:42:06)
• Aktivitaet2022  + (9. Februar 2015, 10:43:24)
• Aktivitaet2010  + (9. Februar 2015, 10:44:43)
• Aktivitaet2021  + (9. Februar 2015, 10:45:26)
• Datei:DvoakGLW15.pdf  + (12. Februar 2015, 08:41:46)
• Datei:GagglRT15.pdf  + (12. Februar 2015, 08:48:15)
• JWS special issue on Knowledge Graphs/en  + (18. Februar 2015, 15:24:20)
• SAT-Solving  + (19. Februar 2015, 07:49:54)
• Abschlussarbeiten betreut durch [[Norbert Manthey]]  + (19. Februar 2015, 08:35:28)
• Abschlussarbeiten betreut durch [[Norbert Manthey]]  + (19. Februar 2015, 08:35:28)
• Knowledge Representation and Reasoning Seminar  + (26. Februar 2015, 21:35:13)
• Datei:Faculty-Computerscience.jpg  + (28. Februar 2015, 17:42:32)

• 38th German Conference on Artificial Intelligence  + (2. März 2015, 12:55:10)

• 38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden  + (2. März 2015, 12:58:58)
• Solving school time tables with SAT  + (2. März 2015, 13:08:32)
• Big Data in SAT Solving - Learn Heuristics from Proofs  + (2. März 2015, 13:37:49)
• Solving Mixed Linear Programs with Pseudo Boolean Solvers  + (2. März 2015, 13:41:47)
• Simplifying Pseudo Boolean Problems  + (2. März 2015, 13:46:23)
• Aktivitaet2019  + (3. März 2015, 08:19:19)
• Relating Search Abstractions to Actual Search  + (3. März 2015, 08:26:08)
• Implementing a Labeling-based Algorithm for the cf2 Argumentation Semantics  + (3. März 2015, 13:42:33)
• Implementing the Decomposition Schema for Abstract Dialectical Frameworks  + (3. März 2015, 13:47:27)
• Visualization of Solutions in Abstract Argumentation Frameworks  + (3. März 2015, 14:05:39)
• Project Group Computational Logic  + (3. März 2015, 14:10:31)
• Aktivitaet2025  + (3. März 2015, 20:25:43)
• Aktivitaet2028  + (3. März 2015, 20:33:48)
• Benutzer:Emma Dietz  + (9. März 2015, 10:53:00)
• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (9. März 2015, 12:09:51)
• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (9. März 2015, 12:09:51)
• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (9. März 2015, 12:14:26)
• Datei:Chw.png  + (11. März 2015, 17:44:39)
• Problem Solving and Search in Artificial Intelligence  + (12. März 2015, 09:29:52)
• Datei:Sylvia.jpg  + (12. März 2015, 11:02:45)
• The online application portal for the "European Master's Program in Computational Logic" closed on 31.05. 2017.  + (12. März 2015, 13:40:51)
• ICCL Researchers Score Seven Papers at IJCAI 2015  + (12. März 2015, 13:41:27)
• Das Bewerbungsportal für das internationale MSc Program in Computational Logic öffnet am 1. April 2015.  + (12. März 2015, 13:47:54)
• The online application portal for the "International MSc Program in Computational Logic" opens on 1 April 2015.  + (12. März 2015, 13:47:55)
• Datei:Peter.png  + (16. März 2015, 09:51:30)