10 Publications

Mark all

[10]
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
 
[9]
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.)
 
[8]
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
 
[7]
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
 
[6]
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
 
[5]
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
 
[4]
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
 
[3]
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
 
[2]
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
 
[1]
1994 | Book | LibreCat-ID: 3333
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed

10 Publications

Mark all

[10]
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
 
[9]
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.)
 
[8]
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
 
[7]
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
 
[6]
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
 
[5]
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
 
[4]
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
 
[3]
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
 
[2]
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
 
[1]
1994 | Book | LibreCat-ID: 3333
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed