Knowledge Processing and Information Systems
Patrick Lühne

M.S. Patrick Lühne

Email  patrick.luehne@cs.uni-potsdam.de

Publications

2020

  1. Lifschitz, V., Lühne, P., & Schaub, T. (2020). Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III, 12180, 190–209. [pdf] [bib]
  2. Fandinno, J., Lifschitz, V., Lühne, P., & Schaub, T. (2020). Verifying Tight Logic Programs with anthem and Vampire. CoRR, abs/2008.02025. [pdf] [bib]
  3. Fandinno, J., Lifschitz, V., Lühne, P., & Schaub, T. (2020). Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program., 20(5), 735–750. [pdf] [bib]

2019

  1. Lifschitz, V., Lühne, P., & Schaub, T. (2019). Verifying Strong Equivalence of Programs in the Input Language of gringo. LPNMR, 11481, 270–283. [pdf] [bib]
  2. Lühne, P. (2019). Discovering and Proving Invariants in Answer Set Programming and Planning. CoRR, abs/1905.03196. [bib]
  3. Dimopoulos, Y., Gebser, M., Lühne, P., Romero, J., & Schaub, T. (2019). plasp 3: Towards Effective ASP Planning. TPLP, 19(3), 477–504. [pdf] [bib]

2018

  1. Lifschitz, V., Lühne, P., & Schaub, T. (2018). anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR, abs/1810.00453. [pdf] [bib]
  2. Dimopoulos, Y., Gebser, M., Lühne, P., Romero, J., & Schaub, T. (2018). plasp 3: Towards Effective ASP Planning. CoRR, abs/1812.04491. [pdf] [bib]
  3. Gebser, M., Kaminski, R., Kaufmann, B., Lühne, P., Obermeier, P., Ostrowski, M., Romero, J., Schaub, T., Schellhorn, S., & Wanko, P. (2018). The Potsdam Answer Set Solving Collection 5.0. KI, 32(2-3), 181–182. [pdf] [bib]

2017

  1. Dimopoulos, Y., Gebser, M., Lühne, P., Romero, J., & Schaub, T. (2017). plasp 3: Towards Effective ASP Planning. LPNMR, 10377, 286–300. [pdf] [bib]
  2. Lühne, P. (2017). Discovering and Proving Invariants in Answer Set Programming and Planning. DC@LPNMR, 17–21. [pdf] [bib]

2016

  1. Gebser, M., Kaminski, R., Kaufmann, B., Lühne, P., Romero, J., & Schaub, T. (2016). Answer Set Solving with Generalized Learned Constraints. ICLP (Technical Communications), 52, 9:1–9:15. [pdf] [bib]