Semantisches Browsen
Aus International Center for Computational Logic
| Computational Logic |
| Beschreibung DE |
Die Forschungsgruppe Computational Logic ( … Die Forschungsgruppe Computational Logic (CL) an der Fakultät Informatik der Technischen Universität Dresden befasst sich mit Modellierung und automatischem Schließen in der logikbasierten Wissensrepräsentation, einschließlich Fragen der Ausdrucksstärke, Entscheidbarkeit und Komplexität. Dabei gilt unser Interesse sowohl den mathematischen und formalen Grundlagen diverser Paradigmen der Wissensrepräsentation (z.B. Beschreibungslogiken, Answer Set Programming, Formale Begriffsanalyse) als auch
deren Anwendungen in Gebieten wie dem Semantic Web, Wissensakquise, Argumentation, etc.
Inspiriert durch diesen Gebieten entstammende Fragestellungen befassen wir uns auch mit Themen aus angrenzenden Forschungsfeldern wie beispielsweise Datenbanktheorie und Computerlinguistik. e Datenbanktheorie und Computerlinguistik. +
|
|---|---|
| Beschreibung EN |
The Computational Logic (CL) group at the … The Computational Logic (CL) group at the Computer Science department of the Technische Universität Dresden is focusing on modeling and reasoning aspects of logic-based knowledge representation, including expressivity, decidability, and complexity analyses. We are interested both in the mathematical and formal foundations of diverse knowledge representation paradigms (including description logics, answer set programming, and formal concept analysis) but also in their applications to areas like the Semantic Web, knowledge acquisition, argumentation, etc. Motivated by requirements encountered in these fields, we also conduct research in adjacent areas like database theory and computational linguistics. base theory and computational linguistics. +
|
| Bild | cl-group-small-2016.png + |
| Forschungsgruppenleiter | Sebastian Rudolph + |
| Kurzname | CL + |
| Name | Computational Logic + |
| Name EN | Computational Logic + |
| Hat Abfrage Dieses Attribut ist ein Spezialattribut in diesem Wiki.
|
Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + , Computational Logic + |
| Kategorien | Forschungsgruppe |
| Zuletzt geändert Dieses Attribut ist ein Spezialattribut in diesem Wiki.
|
23 Dezember 2016 22:58:45 + |
| verstecke Attribute die hierhin verlinken |
