Scientific Publications

We have a strong research background in knowledge representation and reasoning.

• 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.
• 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.
• Wanko, P. (2016). Scalable Design Space Exploration via Answer Set Programming. In ICLP (Technical Communications) (Vol. 52, pp. 23:1–23:11). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
• Banbara, M., Inoue, K., Kaufmann, B., Schaub, T., Soh, T. C., Tamura, N., & Wanko, P. (2016). teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming. In PATAT (pp. 13–32).
• 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.
• Abseher, M., Gebser, M., Musliu, N., Schaub, T., & Woltran, S. (2015). Shift Design with Answer Set Programming. In LPNMR (Vol. 9345, pp. 32–39). Springer.
• Banbara, M., Soh, T., Tamura, N., Inoue, K., & Schaub, T. (2013). Answer set programming as a modeling language for course timetabling. TPLP, 13(4-5), 783–798.
• Andres, B., Obermeier, P., Sabuncu, O., Schaub, T., & Rajaratnam, D. (2013). ROSoClingo: A ROS package for ASP-based robot control. CoRR, abs/1307.7398.