Dresden
Technologieportal

 
Ihr Zugang zu Forschungsinfrastruktur und Know-how
de|en

Professur Computational Logic (CL)

übergeordnete Einrichtungen:
Technische Universität Dresden (TUD)

Kontakt

Web: https://iccl.inf.tu-dresden.de/web/Computational_Logic/en
E-Mail:
Telefon: +49 351 463 38516
Fax: +49 351 463 38516
Postanschrift: Technische Universität Dresden (TUD), Professur Computational Logic (CL), 01062 Dresden, Germany
Besucheradresse: Technische Universität Dresden (TUD), Professur Computational Logic (CL), Nöthnitzer Straße 46, 01187 Dresden, Germany
Partner: Technische Universität Dresden

Beschreibung

Forschungsfelder

  • Abstrakte Argumentation
  • Answer Set Programming
  • Beschreibungslogiken
  • Existenzielle Regeln
  • Formale Begriffsanalyse
  • Semantische Technologien

 

***********English***********

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.

Zugehörigkeit

übergeordnete Einrichtungen

Name
Typ
Aktionen
Institut für Künstliche Intelligenz (KI) Institut anzeigen

Letztes Update

Letztes Update am: 18.04.2017 12:47 CEST