Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
16 Publications
2018 | Conference Paper | LibreCat-ID: 2857 | 
@inproceedings{Mohr_Lettmann_Hüllermeier_Wever_2018, title={Programmatic Task Network Planning}, booktitle={Proceedings of the 1st ICAPS Workshop on Hierarchical Planning}, publisher={AAAI}, author={Mohr, Felix and Lettmann, Theodor and Hüllermeier, Eyke and Wever, Marcel Dominik}, year={2018}, pages={31–39} }
LibreCat
| Files available
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 115
@inproceedings{Jakobs_Krämer_van Straaten_Lettmann_2017, title={Certification Matters for Service Markets}, booktitle={The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor}, editor={Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas PrinzEditor}, year={2017}, pages={7–12} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 10206 |
@inproceedings{Mohr_Lettmann_Hüllermeier_2017, title={Planning with Independent Task Networks}, DOI={10.1007/978-3-319-67190-1_15}, booktitle={Proc. 40th Annual German Conference on Advances in Artificial Intelligence (KI 2017)}, author={Mohr, Felix and Lettmann, Theodor and Hüllermeier, Eyke}, year={2017}, pages={193–206} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 495
@inproceedings{Mohr_Lettmann_Kleine Büning_2013, title={Reducing Nondeterminism in Automated Service Composition}, DOI={10.1109/SOCA.2013.25}, booktitle={Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA)}, author={Mohr, Felix and Lettmann, Theodor and Kleine Büning, Hans}, year={2013}, pages={154–161} }
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 3332
@article{Lettmann_Baumann_Eberling_Kemmerich_2011, title={Modeling Agents and Agent Systems}, DOI={10.1007/978-3-642-24016-4_9}, journal={Transactions on Computational Collective Intelligence V}, publisher={Springer Berlin Heidelberg}, author={Lettmann, Theodor and Baumann, Michael and Eberling, Markus and Kemmerich, Thomas}, year={2011}, pages={157–181} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 3327
@inproceedings{Stein_Niggemann_Lettmann_2006, title={Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT}, booktitle={AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications}, author={Stein, Benno and Niggemann, Oliver and Lettmann, Theodor}, year={2006}, pages={273--278} }
LibreCat
1999 | Journal Article | LibreCat-ID: 19815
@article{Kleine Büning_Lettmann_1999, title={Resolution remains hard under equivalence}, DOI={10.1016/s0166-218x(99)00055-4}, journal={Discrete Applied Mathematics}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1999}, pages={139–148} }
LibreCat
| DOI
1999 | Book | LibreCat-ID: 3339
@book{Lettmann_Kleine Büning_1999, series={Cambridge tracts in theoretical computer science}, title={Propositional Logic : Deduction and Algorithms}, publisher={Cambridge Univ. Press}, author={Lettmann, Theodor and Kleine Büning, Hans}, year={1999}, collection={Cambridge tracts in theoretical computer science} }
LibreCat
1996 | Book Chapter | LibreCat-ID: 19816
@inbook{Kleine Büning_Lettmann_1996, place={Berlin, Heidelberg}, title={Learning a representation for optimizable formulas}, DOI={10.1007/3-540-61863-5_33}, booktitle={Lecture Notes in Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1996} }
LibreCat
| DOI
1994 | Book | LibreCat-ID: 3333
@book{Kleine Büning_Lettmann_1994, series={Leitfäden und Monographien der Informatik}, title={Aussagenlogik - Deduktion und Algorithmen}, DOI={10.1007/978-3-322-84809-3}, publisher={Teubner}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1994}, collection={Leitfäden und Monographien der Informatik} }
LibreCat
| DOI