Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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 
29th Workshop on (Constraint) Logic Programming (WLP 2015) + , 38th German Conference on Artificial Intelligence + , 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) + , A Single Approach to Decide Chase Termination on Linear Existential Rules + , A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation + , ASPARTIX-D Ready for the Competition + , Advances in Abstract Argumentation - Expressiveness and Dynamics + , Thema3427 + , Thema3420 + , Thema3426 + , An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics + , Answering Temporal Conjunctive Queries over DL Ontologies + , Article1226 + , Article1983 + , Article1984 + , Article3007 + , Article3008 + , Article3009 + , Article3010 + , Article3014 + ... Forschungsgruppe
Shima Asaadi + , Ramona Behling + , Faiq Miftakhul Falakh + , Thomas Feller + , Sarah Alice Gaggl + , Dagmar Gromann + , Sebastian Rudolph + , Lukas Schweizer + , Michael Thielscher + , Michaël Thomazo + , Diana Troancă + Forschungsgruppe EN
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.