TUD Logo

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

Faculty of Computer Science

Publications and Technical Reports
in Year 2012

1
A. Bernstein, S. Hölldobler, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, M. Spiliopoulou, H. Störrle, and D. Wagner, editors.
Ausgezeichnete Informatikdissertationen 2011, volume D-12.
German Informatics Society, 2012.

2
Emmanuelle-Anna Dietz and Steffen Hölldobler.
Modeling the Suppression Task under Three-valued \Lukasiewicz and Well-founded Semantics.
In P. Egré and R. Ripley, editors, Proceedings ESSLLI 2012 workshop on trivalent logics and their applications, pages 27-36, 2012.

3
Emmanuelle-Anna Dietz, Steffen Hölldobler, and Marco Ragni.
A Computational Logic Approach to the Suppression Task.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2012.
Download: PDF file.

4
Emmanuelle-Anna Dietz, Steffen Hölldobler, and Marco Ragni.
A Computational Logic Approach to the Suppression Task.
In N. Miyake D. Peebles and R. P. Cooper, editors, Proceedings of the 34th Annual Conference of the Cognitive Science Society, pages 1500-1505. Cognitive Science Society, 2012.

5
Emmanuelle-Anna Dietz, Steffen Hölldobler, and Marco Ragni.
A Simple Model for the Wason Selection Task.
In T. Barkowsky, M. Ragni, and F. Stolzenburg, editors, Human Reasoning and Automated Deduction: KI 2012 workshop proceedings, 2012.

6
Peter Großmann, Steffen Hölldobler, Norbert Manthey, Karl Nachtigall, Jens Opitz, and Peter Steinke.
Solving periodic event scheduling problems with sat.
In He Jiang, Wei Ding, Moonis Ali, and Xindong Wu, editors, Advanced Research in Applied Artificial Intelligence - 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings, volume 7345 of Lecture Notes in Computer Science, pages 166-175. Springer, 2012.

7
S. Hölldobler, N. Manthey, V.H. Nguyen, and P. Steinke.
Solving hidokus using SAT solvers.
In Proc. INFOCOM-5, pages 208-212, 2012.
ISSN 2219-293X.

8
Steffen Hölldobler, Norbert Manthey, and Peter Steinke.
A Compact Encoding of Pseudo-Boolean Constraints into SAT.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2012.
Download: PDF file.

9
Antti Eero Johannes Hyvärinen and Norbert Manthey.
Designing scalable parallel sat solvers.
In Alessandro Cimatti and Roberto Sebastiani, editors, Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, volume 7317 of Lecture Notes in Computer Science, pages 214-227. Springer, 2012.

10
Ahmed Irfan.
Search space splitting with lookahead.
Technical Report Technical Report 2012-04, TU Dresden, Dresden, Germany, 2012.
Download: PDF file.

11
Norbert Manthey.
Coprocessor 2.0 - a flexible cnf simplifier - (tool presentation).
In Alessandro Cimatti and Roberto Sebastiani, editors, Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, volume 7317 of Lecture Notes in Computer Science, pages 436-441. Springer, 2012.

12
Norbert Manthey.
Solver Description of RISS 2.0 and PRISS 2.0.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2012.
Download: PDF file.

13
Norbert Manthey, Marijn J. H. Heule, and Armin Biere.
Automated reencoding of boolean formulas.
In Proceedings of Haifa Verification Conference 2012, 2012.

14
Norbert Manthey and Peter Steinke.
npsolver - a sat based solver for optimization problems (system description).
In Pragmatics of SAT 2012(POS'12), jun 2012.

15
Norbert Manthey and Robert Stelzmann.
The sat solver framework priss (system description).
In Pragmatics of SAT 2012(POS'12), jun 2012.

16
Christoph Wernhard.
Projection and scope-determined circumscription.
Journal of Symbolic Computation, 47:1089-1108, 2012.
(preprint: http://cs.christophwernhard.com/papers/projcirc.pdf).

17
Christoph Wernhard.
Towards a declarative approach to model human reasoning with nonmonotonic logics.
In Thomas Barkowsky, Marco Ragni, and Frieder Stolzenburg, editors, Human Reasoning and Automated Deduction: KI 2012 Workshop Proceedings, volume SFB/TR 8 Report 032-09/2012 of Report Series of the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition, pages 41-48. Universit├Ąt Bremen / Universit├Ąt Freiburg, Germany, 2012.
(http://cs.christophwernhard.com/papers/hrad2012.pdf).