Publications
We have a strong research background in knowledge representation and reasoning.
- Matthias Zimmermann (2019) The universal problem solver “AI Made in Potsdam” on its Triumphal Procession around the World. Portal Wissen, 1, 14-19. (german version)
- Banbara, M., Inoue, K., Kaufmann, B., Okimoto, T., Schaub, T., Soh, T., … Wanko, P. (2019). teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Annals OR, 275(1), 3–37.
- Abels, D., Jordi, J., Ostrowski, M., Schaub, T., Toletti, A., & Wanko, P. (2019). Train Scheduling with Hybrid ASP. In LPNMR (Vol. 11481, pp. 3–17). Springer.
- Gebser, M., Obermeier, P., Otto, T., Schaub, T., Sabuncu, O., Nguyen, V., & Son, T. C. (2018). Experimenting with robotic intra-logistics domains. TPLP, 18(3-4), 502–519.
- Neubauer, K., Wanko, P., Schaub, T., & Haubelt, C. (2018). Exact multi-objective design space exploration using ASPmT. In DATE (pp. 257–260). IEEE.
- Schäpers, B., Niemueller, T., Lakemeyer, G., Gebser, M., & Schaub, T. (2018). ASP-Based Time-Bounded Planning for Logistics Robots. In ICAPS (pp. 509–517). AAAI Press.
- Bobda, C., Yonga, F., Gebser, M., Ishebabi, H., & Schaub, T. (2018). High-level synthesis of on-chip multiprocessor architectures based on answer set programming. J. Parallel Distrib. Comput., 117, 161–179.
- Gebser, M., Obermeier, P., Schaub, T., Ratsch-Heitmann, M., & Runge, M. (2018). Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. TPLP, 18(3-4), 520–534.
- Nguyen, V., Obermeier, P., Son, T. C., Schaub, T., & Yeoh, W. (2017). Generalized Target Assignment and Path Finding Using Answer Set Programming. In IJCAI (pp. 1216–1223). ijcai.org.
- Abseher, M., Gebser, M., Musliu, N., Schaub, T., & Woltran, S. (2016). Shift Design with Answer Set Programming. Fundam. Inform., 147(1), 1–25.
- Andres, B., Rajaratnam, D., Sabuncu, O., & Schaub, T. (2015). Integrating ASP into ROS for Reasoning in Robots. In LPNMR (Vol. 9345, pp. 69–82). Springer.