Koehler, Jana; Bürgler, Josef; Fontana, Urs; Fux, Etienne; Herzog, Florian; Pouly, Marc; Saller, Sophia; Salyaeva, Anastasia; Scheiblechner, Peter; Waelti, Kai Cable tree wiring – benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints. (English) Zbl 07471953 Constraints 26, No. 1-4, 56-106 (2021). MSC: 90B35 68Q25 90C27 90C35 PDFBibTeX XMLCite \textit{J. Koehler} et al., Constraints 26, No. 1--4, 56--106 (2021; Zbl 07471953) Full Text: DOI arXiv
Schuster, H. G.; Le Van Quyen, M.; Chavez, M.; Köhler, J.; Mayer, J.; Claussen, J. C. Dynamical behavior and control of coupled threshold elements with self-inhibition. (English) Zbl 1179.37021 Int. J. Bifurcation Chaos Appl. Sci. Eng. 19, No. 9, 3119-3128 (2009). MSC: 37B15 37N25 37G99 37H99 PDFBibTeX XMLCite \textit{H. G. Schuster} et al., Int. J. Bifurcation Chaos Appl. Sci. Eng. 19, No. 9, 3119--3128 (2009; Zbl 1179.37021) Full Text: DOI
Jarke, Matthias (ed.); Koehler, Jana (ed.); Lakemeyer, Gerhard (ed.) KI 2002: Advances in artificial intelligence. 25th annual German conference on AI, KI 2002, Aachen, Germany, September 16–20, 2002. Proceedings. (English) Zbl 1001.00040 Lecture Notes in Computer Science 2479. Lecture Notes in Artificial Intelligence. Berlin: Springer. xiii, 327 p. (2002). MSC: 00B25 68-06 68Txx PDFBibTeX XMLCite \textit{M. Jarke} (ed.) et al., KI 2002: Advances in artificial intelligence. 25th annual German conference on AI, KI 2002, Aachen, Germany, September 16--20, 2002. Proceedings. Berlin: Springer (2002; Zbl 1001.00040)
Koehler, Jana From theory to practice: AI planning for high performance elevator control. (Extended abstract). (English) Zbl 1007.68739 Baader, Franz (ed.) et al., KI 2001: Advances in artificial intelligence. Joint German/ Austrian conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2174, 459-462 (2001). MSC: 68U99 68T35 PDFBibTeX XMLCite \textit{J. Koehler}, Lect. Notes Comput. Sci. 2174, 459--462 (2001; Zbl 1007.68739) Full Text: Link
Koehler, J.; Hoffmann, J. On reasonable and forced goal orderings and their use in agenda-driven planning algorithm. (English) Zbl 0946.68130 J. Artif. Intell. Res. (JAIR) 12, 338-386 (2000). MSC: 68T20 68W05 PDFBibTeX XMLCite \textit{J. Koehler} and \textit{J. Hoffmann}, J. Artif. Intell. Res. (JAIR) 12, 338--386 (2000; Zbl 0946.68130)
Ohlbach, Hans Jürgen; Koehler, Jana Modal logics, description logics and arithmetic reasoning. (English) Zbl 0916.68148 Artif. Intell. 109, No. 1-2, 1-31 (1999). MSC: 68T27 68N99 PDFBibTeX XMLCite \textit{H. J. Ohlbach} and \textit{J. Koehler}, Artif. Intell. 109, No. 1--2, 1--31 (1999; Zbl 0916.68148) Full Text: DOI
Ohlbach, Hans Jürgen; Köhler, Jana How to augment a formal system with a Boolean algebra component. (English) Zbl 0967.03011 Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. III: Applications. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 10, 57-75 (1998). MSC: 03B35 03G05 PDFBibTeX XMLCite \textit{H. J. Ohlbach} and \textit{J. Köhler}, Appl. Log. Ser. 10, 57--75 (1998; Zbl 0967.03011)
Koehler, Jana Planning from second principles. (English) Zbl 1506.68125 Artif. Intell. 87, No. 1-2, 145-186 (1996). MSC: 68T20 PDFBibTeX XMLCite \textit{J. Koehler}, Artif. Intell. 87, No. 1--2, 145--186 (1996; Zbl 1506.68125) Full Text: DOI
Köhler, J.; Tautenhahn, U. Error bounds for regularized solutions of nonlinear ill-posed problems. (English) Zbl 0833.65049 J. Inverse Ill-Posed Probl. 3, No. 1, 47-74 (1995). Reviewer: M.Z.Nashed (Newark / Delaware) MSC: 65J15 47J25 65J20 PDFBibTeX XMLCite \textit{J. Köhler} and \textit{U. Tautenhahn}, J. Inverse Ill-Posed Probl. 3, No. 1, 47--74 (1995; Zbl 0833.65049) Full Text: DOI
Köhler, J. Lineare Optimalprobleme großer Dimension. (German) Zbl 0216.26701 XV. Int. Wiss. Kolloquium Tech. Hochsch. Ilmenau 1970, Abt. A, 43-51 (1970). MSC: 90C05 PDFBibTeX XML
Kohler, J. A note on solvable groups. (English) Zbl 0174.31002 J. Lond. Math. Soc. 43, 235-236 (1968). PDFBibTeX XMLCite \textit{J. Kohler}, J. Lond. Math. Soc. 43, 235--236 (1968; Zbl 0174.31002) Full Text: DOI