The research activities in the KRR group can be broadly grouped under the four headings:

• Logic and Decision Procedures
• Logic and Human Reasoning
• Training and Education

You may also want to look at the list of recent publications by group members.

---

Logic and Decision Procedures

The Development of Component-based SAT-solver

The goal is to develop a generic SAT-solver that serves as a basis for various solver configurations via combination of solver components. It shall offer great flexibility in deriving different SAT-solver instances from available components and existing parameters. This is of importance in many respects, e.g. in optimizing solvers for a particular domain by automatically tuning solver parameters and in constructing portfolio-based solvers. We consider components from classical DPLL-based to CDCL-based solvers, from principal components (e.g. search, unit propagation, decision heuristics, backtracking) to secondary components (e.g. learning, clause forgetting heuristics, restart heuristics, preprocessing).
For further information, please contact Norbert Manthey, Peter Steinke and Hau Nguyen Van.

Formal Concept Analysis and SAT-solving

Within this project we investigate various possibilities for the integration of techniques and methods from Formal Concept Analysis and Satisfiabiltiy Testing.
For further information, please contact Taufiq Hidayat.

---

Logic and Human Reasoning

Human Reasoning, Computational Logic, and Connectionism

The project aims at developing non-classical logics as well as connectionist realizations thereof which are adequate for human reasoning.
For further information, please contact Christoph Wernhard.

Human Reasoning in Computational Logic

Until now there are no widely accepted theories that give formal representations of sophisticated human reasoning. In our project we address this issue by exploring current results from relevant research areas. The goal is to formalize a framework that allows the expression of reasoning processes which are fundamental in order to explain human behaviour. Conventional formal approaches such as classical logic are not appropriate for this purpose as they cannot deal with the most elementary parts humans are confronted with e.g. incomplete information. Alternatives can be found in formalizations of weaker logics such as non-monotonic logics or three-valued logics. Furthermore, in the field of neurosicence (e.g. connectionist networks) and cognitive science (e.g. studies from psychological reasoning such as the selection and suppression task) a lot of reaserach is going on in understanding and simulating human reasoning processes. Their results are important for our purpose as they deal with similar fundamental questions about human behaviour.
For further information, please contact Emmanuelle Dietz.

---

Training and Education

International Master's Program in Computational Logic (MCL)

Information on MCL can be found on the Web site http://www.computational-logic.org/.

European Master's Program in Computational Logic (EMCL)

Please see the dedicated Web site of this Master's program http://www.emcl-study.eu/.

European PhD Program in Computational Logic (EPCL)

The creation and implementation of the European PhD Program in Computational Logic (EPCL) is funded by the German Academic Exchange Service DAAD within the program International Promovieren in Deutschland (IPID). The objectives of the European PhD program in Computational Logic (EPCL) are to prepare highly qualified researchers in Computational Logic who will further strengthen the European presence in the field, to deepen the student's knowledge and consolidate his/her comprehension of the field of Computational Logic, to provide the student with the necessary skills to collaborate in an international and intercultural environment, and to advance the state of the art in Computational Logic by facilitating the collaboration between leading institutions through joint PhD projects. EPCL is an integrated and structured PhD program, jointly offered by Technische Universität Dresden (Germany, coordinator), the Libera Universita di Bolzano - Freie Universität Bozen (Italy), the Universidade Nova de Lisboa (Portugal) and the Technische Universität Wien (Austria). It involves further associated partner universities in Australia, Latin America and North America as well as industrial partners. It consists of a training program, the PhD thesis and its defense in front of a joint commission. Each doctoral candidate will stay at least at two of the European partner universities and will receive a joint PhD degree from these universities upon successful completion of his/her studies. http://www.epcl-study.eu/.