16 Publications

Mark all

[16]
2018 | Conference Paper | LibreCat-ID: 2857
Mohr F, Lettmann T, Hüllermeier E, Wever MD. Programmatic Task Network Planning. In: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning. AAAI; 2018:31-39.
LibreCat | Files available | Download (ext.)
 
[15]
2017 | Conference Paper | LibreCat-ID: 10206
Mohr F, Lettmann T, Hüllermeier E. Planning with Independent Task Networks. In: Proc. 40th Annual German Conference on Advances in Artificial Intelligence (KI 2017). ; 2017:193-206. doi:10.1007/978-3-319-67190-1_15
LibreCat | Files available | DOI
 
[14]
2017 | Conference Paper | LibreCat-ID: 115
Jakobs M-C, Krämer J, van Straaten D, Lettmann T. Certification Matters for Service Markets. In: Marcelo De Barros, Janusz Klink,Tadeus Uhl TP, ed. The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2017:7-12.
LibreCat | Files available
 
[13]
2013 | Conference Paper | LibreCat-ID: 495
Mohr F, Lettmann T, Kleine Büning H. Reducing Nondeterminism in Automated Service Composition. In: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). ; 2013:154-161. doi:10.1109/SOCA.2013.25
LibreCat | Files available | DOI
 
[12]
2011 | Journal Article | LibreCat-ID: 3332
Lettmann T, Baumann M, Eberling M, Kemmerich T. Modeling Agents and Agent Systems. Transactions on Computational Collective Intelligence V. 2011:157-181. doi:10.1007/978-3-642-24016-4_9
LibreCat | DOI
 
[11]
2006 | Conference Paper | LibreCat-ID: 3327
Stein B, Niggemann O, Lettmann T. Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. In: AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications. ; 2006:273--278.
LibreCat
 
[10]
1999 | Book | LibreCat-ID: 3339
Lettmann T, Kleine Büning H. Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press; 1999.
LibreCat
 
[9]
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning H, Lettmann T. Resolution remains hard under equivalence. Discrete Applied Mathematics. 1999:139-148. doi:10.1016/s0166-218x(99)00055-4
LibreCat | DOI
 
[8]
1996 | Book Chapter | LibreCat-ID: 19816
Kleine Büning H, Lettmann T. Learning a representation for optimizable formulas. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1996. doi:10.1007/3-540-61863-5_33
LibreCat | DOI
 
[7]
1994 | Book | LibreCat-ID: 3333
Kleine Büning H, Lettmann T. Aussagenlogik - Deduktion und Algorithmen. Teubner; 1994. doi:10.1007/978-3-322-84809-3
LibreCat | DOI
 
[6]
1993 | Journal Article | LibreCat-ID: 19814
Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications. 1993:327-340. doi:10.1051/ita/1993270403271
LibreCat | DOI
 
[5]
1991 | Report | LibreCat-ID: 19822
Dahn BI, Lettmann T, Schönfeld W. ILFA Interface Concept. Vol 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland ; 1991.
LibreCat
 
[4]
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science. 1989:343-350. doi:10.1016/0304-3975(89)90055-8
LibreCat | DOI
 
[3]
1988 | Conference Paper | LibreCat-ID: 19820
Kleine Büning H, Lettmann T. Perspektiven für die Logikprogrammierung. In: Rahmstorf G, ed. Workshop Wissensrepräsentation in Expertensystemen. Berlin, Heidelberg; 1988:56-78.
LibreCat
 
[2]
1987 | Book Chapter | LibreCat-ID: 19821
Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. Computation Theory and Logic. Berlin, Heidelberg; 1987:208-223. doi:10.1007/3-540-18170-9_167
LibreCat | DOI
 
[1]
1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning H, Lettmann T. Classes of first order formulas under various satisfiability definitions. In: 8th International Conference on Automated Deduction. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16780-3_119
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

16 Publications

Mark all

[16]
2018 | Conference Paper | LibreCat-ID: 2857
Mohr F, Lettmann T, Hüllermeier E, Wever MD. Programmatic Task Network Planning. In: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning. AAAI; 2018:31-39.
LibreCat | Files available | Download (ext.)
 
[15]
2017 | Conference Paper | LibreCat-ID: 10206
Mohr F, Lettmann T, Hüllermeier E. Planning with Independent Task Networks. In: Proc. 40th Annual German Conference on Advances in Artificial Intelligence (KI 2017). ; 2017:193-206. doi:10.1007/978-3-319-67190-1_15
LibreCat | Files available | DOI
 
[14]
2017 | Conference Paper | LibreCat-ID: 115
Jakobs M-C, Krämer J, van Straaten D, Lettmann T. Certification Matters for Service Markets. In: Marcelo De Barros, Janusz Klink,Tadeus Uhl TP, ed. The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2017:7-12.
LibreCat | Files available
 
[13]
2013 | Conference Paper | LibreCat-ID: 495
Mohr F, Lettmann T, Kleine Büning H. Reducing Nondeterminism in Automated Service Composition. In: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). ; 2013:154-161. doi:10.1109/SOCA.2013.25
LibreCat | Files available | DOI
 
[12]
2011 | Journal Article | LibreCat-ID: 3332
Lettmann T, Baumann M, Eberling M, Kemmerich T. Modeling Agents and Agent Systems. Transactions on Computational Collective Intelligence V. 2011:157-181. doi:10.1007/978-3-642-24016-4_9
LibreCat | DOI
 
[11]
2006 | Conference Paper | LibreCat-ID: 3327
Stein B, Niggemann O, Lettmann T. Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. In: AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications. ; 2006:273--278.
LibreCat
 
[10]
1999 | Book | LibreCat-ID: 3339
Lettmann T, Kleine Büning H. Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press; 1999.
LibreCat
 
[9]
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning H, Lettmann T. Resolution remains hard under equivalence. Discrete Applied Mathematics. 1999:139-148. doi:10.1016/s0166-218x(99)00055-4
LibreCat | DOI
 
[8]
1996 | Book Chapter | LibreCat-ID: 19816
Kleine Büning H, Lettmann T. Learning a representation for optimizable formulas. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1996. doi:10.1007/3-540-61863-5_33
LibreCat | DOI
 
[7]
1994 | Book | LibreCat-ID: 3333
Kleine Büning H, Lettmann T. Aussagenlogik - Deduktion und Algorithmen. Teubner; 1994. doi:10.1007/978-3-322-84809-3
LibreCat | DOI
 
[6]
1993 | Journal Article | LibreCat-ID: 19814
Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications. 1993:327-340. doi:10.1051/ita/1993270403271
LibreCat | DOI
 
[5]
1991 | Report | LibreCat-ID: 19822
Dahn BI, Lettmann T, Schönfeld W. ILFA Interface Concept. Vol 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland ; 1991.
LibreCat
 
[4]
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science. 1989:343-350. doi:10.1016/0304-3975(89)90055-8
LibreCat | DOI
 
[3]
1988 | Conference Paper | LibreCat-ID: 19820
Kleine Büning H, Lettmann T. Perspektiven für die Logikprogrammierung. In: Rahmstorf G, ed. Workshop Wissensrepräsentation in Expertensystemen. Berlin, Heidelberg; 1988:56-78.
LibreCat
 
[2]
1987 | Book Chapter | LibreCat-ID: 19821
Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. Computation Theory and Logic. Berlin, Heidelberg; 1987:208-223. doi:10.1007/3-540-18170-9_167
LibreCat | DOI
 
[1]
1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning H, Lettmann T. Classes of first order formulas under various satisfiability definitions. In: 8th International Conference on Automated Deduction. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16780-3_119
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed