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 2015

Bibliography

1
E.-A. Dietz, S. Hölldobler, and R. Höps.
A computational logic approach based in human spatial reasoning.
Technical Report 2015-02, TU Dresden, International Center for Computational Logic, 2015.
submitted, Download: PDF file.

2
E.-A. Dietz, S. Hölldobler, and L. M. Pereira.
On indicative conditionals.
In S. Hölldobler and Y. Liang, editors, Proceedings of the First International Workshop on Semantic Technologies, volume 1339 of CEUR Workshop Proceedings, pages 19-30. CEUR-WS.org, 2015.
http://ceur-ws.org/Vol-1339/.

3
E.-A. Dietz and S. Höllldobler.
A new computational logic approach to reason with conditionals.
Technical Report 2015-03, TU Dresden, International Center for Computational Logic, 2015.
submitted, Download: PDF file.

4
S. Hölldobler and Y. Liang, editors.
Proceedings of the First International Workshop on Semantic Technologies, volume 1339 of CEUR Workshop Proceedings. CEUR-WS.org, 2015.
http://ceur-ws.org/Vol-1339/.

5
Peter Steinke.
Pblib -- a c++ toolkit for encoding
pseudo-boolean constraints into cnf.
Technical Report 2015-01, TU Dresden, Dresden, Germany, 2015.
Download: PDF file.

6
Christoph Wernhard.
Heinrich Behmann's contributions to second-order quantifier elimination from the view of computational logic.
Technical Report 2015-05, TU Dresden, Dresden, Germany, 2015.
Download: PDF file.

7
Christoph Wernhard.
Second-order quantifier elimination on relational monadic formulas - a basic method and some less expected applications.
Technical Report 2015-04, TU Dresden, Dresden, Germany, 2015.
Download: PDF file.