Constraint Satisfaction Problems

Forschungsfelder

• Abstrakte Argumentation
• Answer Set Programming
• Beschreibungslogiken
• Beweistheorie
• Constraint Satisfaction Problems
• Datenbanktheorie
• Existenzielle Regeln
• Formale Begriffsanalyse
• Modal- und Temporallogiken
• Nichtmonotones Schließen
• Regelbasiertes Schließen
• Semantische Technologien
• Verstehen natürlicher Sprache
• Wissensrepräsentation und logisches Schließen

Toggle side column

Constraint Satisfaction Problems

• Information
• Personen
• Publikationen

Viele natürliche Berechnungsprobleme lassen sich als Constraint Satisfaction Probleme formulieren: gegeben ist eine endliche Menge von Variablen und eine endliche Menge an Bedingungen (Constraints), gefragt ist, ob es eine Lösung gibt, die allen Bedingungen genügt. Für welche Arten von Constraints lassen sich CSPs effizient lösen, und mit welchen Algorithmen? Für welche CSPs kann es solche Algorithmen nicht geben?

Professoren und Gruppenleiter

Prof. Dr. Manuel Bodirsky

• WIL C 120
• +49 351 463-35355
•  Manuel.Bodirsky@tu-dresden.de

Algebra und Diskrete Strukturen 

Prof. Dr. Sebastian Rudolph

• APB 2035
• +49 351 463 38516
•  sebastian.rudolph@tu-dresden.de

Computational Logic 

Wissenschaftliche Mitarbeiter

Simon Knäuer

• WIL C41
• +49 351 463-34224
•  simon.knaeuer@tu-dresden.de

Algebra und Diskrete Strukturen 

Ehemalige

Dr. Johannes Fichte

• Ehemals Wissenschaftlicher Mitarbeiter

M.Sc. Lukas Schweizer

• Ehemals Wissenschaftlicher Mitarbeiter
• Computational Logic

Artikel in Tagungsbänden

Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 1-13, 2021. IEEE
Details Download

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, 120:1-120:17, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Sebastian Rudolph, Christian Sacarea, Diana Troancă
Membership Constraints in Formal Concept Analysis
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3186-3192, July 2015. AAAI Press
Details Download

Herausgegebene Tagungsbände

Markus Krötzsch, Daria Stepanova
Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School
Volume 11810 of LNCS, 2019. Springer
Details

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details

Technische Berichte

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Technical Report, arXiv.org, volume 2010.05677, October 2020
Details Download