TUD Logo

 Search 
TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning » Talks

Faculty of Computer Science

Talks, Presentations, and Posters
in Year 2012

1
Steffen Hölldobler
A Computational Logic Approach to Human Reasoning
22.3.2012, Simon Fraser University, Vancouver, Canada
2
Steffen Hölldobler
Solving Hidokus Using SAT-Solvers
2.5.2012, Infocom-5, Kislovodsk
3
Steffen Hölldobler
Human Reasoning and Computational Logic
3.5.2012, North Caucasus State Technical University, Stavropol
4
Steffen Hölldobler
The European PhD Program in Computational Logic
09.07.2012, EPCL-Interview Week, Dresden, Germany
5
Steffen Hölldobler
A Simple Model for the Wason Selection Task
13.07.2012, EPCL-Workshop, Dresden, Germany
6
Norbert Manthey
npSolver - a SAT based Solver for Optimization Problems
16.06.2012, Pragmatics of SAT 2012, Trento, Italy
7
Norbert Manthey
The SAT Solver Framework priss
16.06.2012, Pragmatics of SAT 2012, Trento, Italy
8
Norbert Manthey
Coprocessor 2.0 - A flexible CNF Simplifier
17.06.2012, SAT 2012, Trento, Italy
9
Norbert Manthey
A Compact Encoding of Pseudo-Boolean Constraints into SAT
, KI 2012, Saarbrücken, Germany
10
Steffen Hölldobler
Human Reasoning and Computational Logic
25.10.2012, Higher School of Economics, Moscow
11
Steffen Hölldobler
Satisfiability Testing and its Applications
26.10.2012, North Caucasus Federal University, Stavropol
12
Christoph Wernhard
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics
24.9.2012, Workshop Human Reasoning and Automated Deduction, KI 2012, Saarbrücken, Germany