Suchergebnisse
Aus International Center for Computational Logic
- |Titel EN=Graph Structure and Monadic Second-Order Logic …fixed-parameter tractability. The talk aims at brushing an overview of the book, and should be as largely accessible as possible.716 Bytes (92 Wörter) - 06:09, 18. Okt. 2018
- {{Book …iao Tong University), assisted by several students acknowledged within the book.2 KB (144 Wörter) - 18:16, 24. Mai 2016
- |Titel EN=Pattern-based ontology modeling and some of its implications for Descriptio |Beschreibung EN=One of the original motivations for developing ontologies was that they wer2 KB (347 Wörter) - 05:33, 18. Okt. 2018
- …years. It is mostly used for internal purposes. Please see the [[HAEC B08/en|HAEC B08]] for more information on this project. …s, technical reports, project reports, PhD theses, misc.; including books, book chapters, regular papers)1 KB (138 Wörter) - 11:21, 2. Mär. 2018
- …years. It is mostly used for internal purposes. Please see the [[HAEC B02/en|HAEC B02]] for more information on this project. …s, technical reports, project reports, PhD theses, misc.; including books, book chapters, regular papers)1 KB (150 Wörter) - 11:22, 2. Mär. 2018
- …A peer-reviewed version of this material has appeared as the [[Article4003/en|IEEE Intelligent Systems article "Description Logics"]] (please use this fo More information about this book is found on its homepage [http://ontology-learning.net/ Perspectives on Ont1 KB (156 Wörter) - 18:02, 24. Mai 2016
- |Titel EN=Quantum Computing and the Limits of the Efficiently Computable |Beschreibung EN=I'll offer a crash course on quantum computing, which seeks to exploit the2 KB (280 Wörter) - 10:06, 11. Jul. 2017
- * Exams are "closed book" (i.e., additional materials and lecture notes are not permitted). * Exams are "closed book", i.e., additional materials and lecture notes are not permitted.13 KB (1.693 Wörter) - 14:22, 1. Feb. 2021
- |Titel EN=Dr. Sergei Obiedkov joins Knowledge Based System group …[Sergei Obiedkov]] erneut an der [https://tu-dresden.de/ TU Dresden] begrüßen zu dürfen. Im Juni dieses Jahres ist er der Gruppe [[Wissensbasierte Syste4 KB (582 Wörter) - 18:29, 12. Jan. 2024
- Further material has been prepared first by [[Daniel Borchmann/en|Daniel Borchmann]] during his time at TU Dresden. …lable online at https://logic.rwth-aachen.de/Teaching/KTQC-WS09/index.html.en11 KB (1.395 Wörter) - 18:52, 26. Okt. 2020
- As usual, you should book a date with our [mailto:secretary_wbs@mailbox.tu-dresden.de secretary] afte …018)/en|Database Theory]], and the 2019 lecture [[Database_Theory_(SS2019)/en|Database Theory]]. The plan for this year's course will be somewhat similar11 KB (1.398 Wörter) - 16:43, 10. Jul. 2022
- Further material has been prepared first by [[Daniel Borchmann/en|Daniel Borchmann]] during his time at TU Dresden. …lable online at https://logic.rwth-aachen.de/Teaching/KTQC-WS09/index.html.en11 KB (1.420 Wörter) - 18:49, 26. Okt. 2020
- Further material has been prepared first by [[Daniel Borchmann/en|Daniel Borchmann]] during his time at TU Dresden. …lable online at https://logic.rwth-aachen.de/Teaching/KTQC-WS09/index.html.en12 KB (1.452 Wörter) - 18:56, 11. Okt. 2021
- As usual, you should book a date with our [mailto:secretary_wbs@mailbox.tu-dresden.de secretary] afte …018)/en|Database Theory]], and the 2019 lecture [[Database_Theory_(SS2019)/en|Database Theory]]. The plan for this year's course will be somewhat similar11 KB (1.403 Wörter) - 17:58, 4. Jul. 2023
- Further material has been prepared first by [[Daniel Borchmann/en|Daniel Borchmann]] during his time at TU Dresden. …lable online at https://logic.rwth-aachen.de/Teaching/KTQC-WS09/index.html.en12 KB (1.493 Wörter) - 09:57, 7. Jun. 2023
- Further material has been prepared first by [[Daniel Borchmann/en|Daniel Borchmann]] during his time at TU Dresden. …lable online at https://logic.rwth-aachen.de/Teaching/KTQC-WS09/index.html.en13 KB (1.632 Wörter) - 10:46, 22. Jun. 2022
- Further material has been prepared first by [[Daniel Borchmann/en|Daniel Borchmann]] during his time at TU Dresden. …lable online at https://logic.rwth-aachen.de/Teaching/KTQC-WS09/index.html.en14 KB (1.751 Wörter) - 15:12, 6. Feb. 2024
- …ecture on Thursday, 9 June, will be in DS3 (from 11:10) in room [[APB 3027/en|APB 3027]], since the afternoon is reserved for OUTPUT.DD 2016.</span>''' * The lecture on Thursday, 16 June, will be held by [[Sebastian Rudolph/en|Sebastian Rudolph]].9 KB (1.112 Wörter) - 18:55, 26. Okt. 2020
- …Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Sir As usual, you should book a date with our [mailto:secretary_wbs@mailbox.tu-dresden.de secretary] afte14 KB (1.969 Wörter) - 13:06, 19. Jun. 2023
- …018)/en|Database Theory]], and the 2019 lecture [[Database_Theory_(SS2019)/en|Database Theory]]. The plan for this year's course will be somewhat similar : ''The book is available for free from [http://webdam.inria.fr/Alice/ its webpage], but12 KB (1.600 Wörter) - 12:51, 19. Jul. 2021