Suchergebnisse

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Ergebnisse 1 bis 21 von 25
Erweiterte Suche

Suche in Namensräumen:

  • |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 wer
    2 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 Ont
    1 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 the
    2 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 Syste
    4 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.en
    11 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 similar
    11 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.en
    11 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.en
    12 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 similar
    11 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.en
    12 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.en
    13 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.en
    14 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] afte
    14 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], but
    12 KB (1.600 Wörter) - 12:51, 19. Jul. 2021
Zeige (vorherige 20 | ) (20 | 50 | 100 | 250 | 500)