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:FS2020-Hinweise-Klausur.pdf  + (5. März 2021, 13:37:51)
• Datei:ICCL-Logo-invers.png  + (8. März 2021, 12:39:28)
• Datei:BBE-TPLP.pdf  + (10. März 2021, 19:25:05)
• From Data to Knowledge: Extending Database Techniques for Knowledge Graphs  + (11. März 2021, 11:54:33)
• Seminar Data-Aware Processes  + (11. März 2021, 19:19:44)
• Datei:Kg2020-mock-exam-slides.pdf  + (15. März 2021, 13:09:35)
• Seminar: Knowledge Representation  + (15. März 2021, 16:57:44)
• Veröffentlichungen in 2021  + (18. März 2021, 10:14:17)
• Publications in 2021  + (18. März 2021, 10:14:38)
• Vorlage:GetLangsuffix  + (18. März 2021, 10:48:03)
• Kategorie:General utility template  + (18. März 2021, 10:49:33)
• Vorlage:NavigationItemWithToc  + (18. März 2021, 10:49:50)
• Vorlage:HideHeading1  + (18. März 2021, 10:50:32)
• Vorlage:LeftsidenavHeading  + (18. März 2021, 10:50:51)
• Vorlage:Main heading  + (18. März 2021, 10:51:34)
• Vorlage:TOC CMS pages  + (18. März 2021, 11:07:54)
• DeciGUT  + (18. März 2021, 15:30:43)
• "Most of" leads to undecidability: Failure of adding frequencies to LTL  + (19. März 2021, 11:46:41)
• Problem Solving and Search in Artificial Intelligence  + (22. März 2021, 16:29:21)
• Advanced Problem Solving and Search  + (22. März 2021, 16:30:09)
• Datei:CMS-LM-Option1-Team.png  + (29. März 2021, 18:58:20)
• Datei:CMS-LM-Option2-Advanced.png  + (29. März 2021, 18:59:43)
• Datei:LICS2021.png  + (3. April 2021, 16:06:19)
• ICCL Researchers Score Four Papers at LICS 2021  + (3. April 2021, 16:22:28)
• ICCL mit gleich vier Papieren bei LICS 2021 vertreten  + (3. April 2021, 22:39:14)

• Theoretische Informatik und Logik  + (6. April 2021, 10:19:07)

• Benutzer:Karina Adler  + (6. April 2021, 11:09:08)
• Karina Adler  + (6. April 2021, 11:12:55)
• Raum APB 2017  + (6. April 2021, 11:38:19)
• Room APB 2017  + (6. April 2021, 11:38:19)
• Room APB 2004  + (6. April 2021, 11:38:42)
• Raum APB 2018  + (6. April 2021, 11:39:25)
• Room APB 2018  + (6. April 2021, 11:39:25)
• Raum APB 2004  + (6. April 2021, 12:03:40)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (7. April 2021, 13:24:02)
• The role of pragmatics in solving the Winograd Schema Challenge  + (7. April 2021, 13:28:25)
• Talking about Forests: an Example of Sharing Information Expressed with Vague Terms  + (7. April 2021, 13:31:24)
• Ambiguity: What is it that needs representing and what needs resolving?  + (7. April 2021, 13:35:37)
• Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms  + (7. April 2021, 13:42:07)
• Defining Relations: a general incremental approach with spatial temporal case studies  + (7. April 2021, 13:46:10)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (7. April 2021, 13:52:15)
• A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics  + (7. April 2021, 15:14:57)
• A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics  + (7. April 2021, 15:14:57)
• An Introduction to Proof Theory I: Sequent Calculus  + (7. April 2021, 19:44:06)
• Logic-Based Ontology Engineering  + (8. April 2021, 12:59:10)
• Einführung in die (theoretische) Informatik  + (8. April 2021, 13:08:15)
• Einführung in die (theoretische) Informatik  + (8. April 2021, 13:08:15)
• Logic-Based Ontology Engineering  + (8. April 2021, 13:16:42)
• Description Logic  + (8. April 2021, 13:35:08)
• Seminar Theoretical Computer Science "Learning in Description logics"  + (8. April 2021, 13:52:27)
• Seminar Theoretical Computer Science "Learning in Description logics"  + (8. April 2021, 13:52:27)