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:FS20-musterklausur.pdf + (25. Februar 2021, 11:16:42)
- Datei:FS20-musterklausur-slides.pdf + (25. Februar 2021, 11:17:02)
- Vorlage:Person list + (26. Februar 2021, 10:29:50)
- Investigating the Dimensions of Spatial Language + (26. Februar 2021, 10:48:46)
- Vorlage:GroupedPersonList + (26. Februar 2021, 11:04:26)
- Datei:BBR-ECAI2020-extended.pdf + (27. Februar 2021, 11:31:39)
- Datei:BBR-DL-2019.pdf + (27. Februar 2021, 13:08:27)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (27. Februar 2021, 13:10:11)
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic + (27. Februar 2021, 14:21:49)
- Vorlage:Publication data + (27. Februar 2021, 14:50:40)
- Vorlage:Image line medium + (27. Februar 2021, 16:56:59)
- Datei:Shima6.jpg + (27. Februar 2021, 22:15:46)
- Shima Asaadi + (27. Februar 2021, 22:15:50)
- Erklärung zur Barrierefreiheit + (27. Februar 2021, 22:44:41)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (1. März 2021, 09:18:08)
- Detecting Non-Existence of Finite Universal Models for Existential Rules + (1. März 2021, 09:21:06)
- Datei:BBE-CSL17.pdf + (4. März 2021, 12:40:21)
- Datei:BBE-FSTTCS17.pdf + (4. März 2021, 12:42:20)
- Datei:DL19-BBE-SRU.pdf + (4. März 2021, 12:43:06)
- Datei:BBE-JELIA19.pdf + (4. März 2021, 12:43:50)
- Datei:BBE-IJCAI19.pdf + (4. März 2021, 12:44:29)
- Datei:BBE-LICS19.pdf + (4. März 2021, 12:45:04)
- Datei:BBE-LICS20.pdf + (4. März 2021, 12:45:54)
- Datei:BBE-IJCAI20-Sep.pdf + (4. März 2021, 12:46:37)
- Datei:BBE-IJCAI20-Chases.pdf + (4. März 2021, 12:47:28)
- Datei:BBE-TIME-20.pdf + (4. März 2021, 12:48:10)
- Datei:BBE-FOSSACS-21.pdf + (4. März 2021, 12:51:03)
- Datei:BBE-TCS-20.pdf + (4. März 2021, 12:52:51)
- Datei:BBE-IPL21.pdf + (4. März 2021, 12:53:48)
- Datei:BBE-TCSv2.pdf + (4. März 2021, 13:04:07)
- Finite and algorithmic model theory + (4. März 2021, 15:33:06)
- 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)