Theodor Lettmann
Fakultät für Elektrotechnik, Informatik und Mathematik
Intelligente Systeme und Maschinelles Lernen
Institut für Informatik
lettmann@uni-paderborn.deID
10 Publications
2018 | Conference Paper | LibreCat-ID: 10151
Programmatic Task Network Planning
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proc. 1st ICAPS Workshop on Hierachical Planning at the 28th Int. Conference on Automated Planning and Scheduling (ICAPS), 2018, pp. 31–39.
LibreCat
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proc. 1st ICAPS Workshop on Hierachical Planning at the 28th Int. Conference on Automated Planning and Scheduling (ICAPS), 2018, pp. 31–39.
2018 | Conference Paper | LibreCat-ID: 2857
Programmatic Task Network Planning
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 28th International Conference on Automated Planning and Scheduling, AAAI, 2018.
LibreCat
| Files available
| Download (ext.)
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 28th International Conference on Automated Planning and Scheduling, AAAI, 2018.
2017 | Conference Paper | LibreCat-ID: 10111
Planning with Independent Task Networks.
F. Mohr, T. Lettmann, E. Hüllermeier, in: Proceedings of the 40th Annual German Conference on AI (KI 2017), Springer, 2017, pp. 193–206.
LibreCat
F. Mohr, T. Lettmann, E. Hüllermeier, in: Proceedings of the 40th Annual German Conference on AI (KI 2017), Springer, 2017, pp. 193–206.
2017 | Conference Paper | LibreCat-ID: 10206
Planning with Independent Task Networks
F. Mohr, T. Lettmann, E. Hüllermeier, in: Proc. 40th Annual German Conference on Advances in Artificial Intelligence (KI 2017), 2017, pp. 193–206.
LibreCat
F. Mohr, T. Lettmann, E. Hüllermeier, in: Proc. 40th Annual German Conference on Advances in Artificial Intelligence (KI 2017), 2017, pp. 193–206.
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
2013 | Conference Paper | LibreCat-ID: 495
Reducing Nondeterminism in Automated Service Composition
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
LibreCat
| Files available
| DOI
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
2011 | Journal Article | LibreCat-ID: 3332
Modeling Agents and Agent Systems
T. Lettmann, M. Baumann, M. Eberling, T. Kemmerich, Transactions on Computational Collective Intelligence V (2011) 157–181.
LibreCat
| DOI
T. Lettmann, M. Baumann, M. Eberling, T. Kemmerich, Transactions on Computational Collective Intelligence V (2011) 157–181.
2006 | Conference Paper | LibreCat-ID: 3327
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
B. Stein, O. Niggemann, T. Lettmann, in: IASTED International Conference on Artificial Intelligence and Applications, Part of the 24th Multi-Conference on Applied Informatics, Innsbruck, Austria, February 13-16, 2006, 2006, pp. 273--278.
LibreCat
B. Stein, O. Niggemann, T. Lettmann, in: IASTED International Conference on Artificial Intelligence and Applications, Part of the 24th Multi-Conference on Applied Informatics, Innsbruck, Austria, February 13-16, 2006, 2006, pp. 273--278.
1999 | Book | LibreCat-ID: 3339
Propositional Logic : Deduction and Algorithms
T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms, Cambridge Univ. Press, 1999.
LibreCat
T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms, Cambridge Univ. Press, 1999.
1994 | Book | LibreCat-ID: 3333
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
10 Publications
2018 | Conference Paper | LibreCat-ID: 10151
Programmatic Task Network Planning
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proc. 1st ICAPS Workshop on Hierachical Planning at the 28th Int. Conference on Automated Planning and Scheduling (ICAPS), 2018, pp. 31–39.
LibreCat
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proc. 1st ICAPS Workshop on Hierachical Planning at the 28th Int. Conference on Automated Planning and Scheduling (ICAPS), 2018, pp. 31–39.
2018 | Conference Paper | LibreCat-ID: 2857
Programmatic Task Network Planning
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 28th International Conference on Automated Planning and Scheduling, AAAI, 2018.
LibreCat
| Files available
| Download (ext.)
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 28th International Conference on Automated Planning and Scheduling, AAAI, 2018.
2017 | Conference Paper | LibreCat-ID: 10111
Planning with Independent Task Networks.
F. Mohr, T. Lettmann, E. Hüllermeier, in: Proceedings of the 40th Annual German Conference on AI (KI 2017), Springer, 2017, pp. 193–206.
LibreCat
F. Mohr, T. Lettmann, E. Hüllermeier, in: Proceedings of the 40th Annual German Conference on AI (KI 2017), Springer, 2017, pp. 193–206.
2017 | Conference Paper | LibreCat-ID: 10206
Planning with Independent Task Networks
F. Mohr, T. Lettmann, E. Hüllermeier, in: Proc. 40th Annual German Conference on Advances in Artificial Intelligence (KI 2017), 2017, pp. 193–206.
LibreCat
F. Mohr, T. Lettmann, E. Hüllermeier, in: Proc. 40th Annual German Conference on Advances in Artificial Intelligence (KI 2017), 2017, pp. 193–206.
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
2013 | Conference Paper | LibreCat-ID: 495
Reducing Nondeterminism in Automated Service Composition
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
LibreCat
| Files available
| DOI
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
2011 | Journal Article | LibreCat-ID: 3332
Modeling Agents and Agent Systems
T. Lettmann, M. Baumann, M. Eberling, T. Kemmerich, Transactions on Computational Collective Intelligence V (2011) 157–181.
LibreCat
| DOI
T. Lettmann, M. Baumann, M. Eberling, T. Kemmerich, Transactions on Computational Collective Intelligence V (2011) 157–181.
2006 | Conference Paper | LibreCat-ID: 3327
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
B. Stein, O. Niggemann, T. Lettmann, in: IASTED International Conference on Artificial Intelligence and Applications, Part of the 24th Multi-Conference on Applied Informatics, Innsbruck, Austria, February 13-16, 2006, 2006, pp. 273--278.
LibreCat
B. Stein, O. Niggemann, T. Lettmann, in: IASTED International Conference on Artificial Intelligence and Applications, Part of the 24th Multi-Conference on Applied Informatics, Innsbruck, Austria, February 13-16, 2006, 2006, pp. 273--278.
1999 | Book | LibreCat-ID: 3339
Propositional Logic : Deduction and Algorithms
T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms, Cambridge Univ. Press, 1999.
LibreCat
T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms, Cambridge Univ. Press, 1999.
1994 | Book | LibreCat-ID: 3333
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.