Patrick Lühne

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 11

Top Topics

Answer Set Programming

Partial Deduction

Top Venues

CHI Extended Abstracts

Publications

Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Tight Logic Programs with anthem and Vampire. CoRR (2020)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III (2020)
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. 20 (5) (2020)
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
plasp 3: Towards Effective ASP Planning. Theory Pract. Log. Program. 19 (3) (2019)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Strong Equivalence of Programs in the Input Language of gringo. LPNMR (2019)
Patrick Lühne
Discovering and Proving Invariants in Answer Set Programming and Planning. CoRR (2019)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR (2018)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
The Potsdam Answer Set Solving Collection 5.0. Künstliche Intell. 32 (2-3) (2018)
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
plasp 3: Towards Effective ASP Planning. CoRR (2018)
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
plasp 3: Towards Effective ASP Planning. LPNMR (2017)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub
Answer Set Solving with Generalized Learned Constraints. ICLP (Technical Communications) (2016)
Lung-Pan Cheng, Patrick Lühne, Pedro Lopes, Christoph Sterz, Patrick Baudisch
Haptic turk: a motion platform based on people. CHI (2014)
Stefan Buschmann, Matthias Trapp, Patrick Lühne, Jürgen Döllner
Hardware-Accelerated Attribute Mapping for Interactive Visualization of Complex 3D Trajectories. IVAPP (2014)
Lung-Pan Cheng, Patrick Lühne, Pedro Lopes, Christoph Sterz, Patrick Baudisch
Haptic turk: A motion platform based on people. HAPTICS (2014)
Lung-Pan Cheng, Patrick Lühne, Pedro Lopes, Christoph Sterz, Patrick Baudisch
Haptic turk: a motion platform based on people. CHI Extended Abstracts (2014)
Patrick Baudisch, Henning Pohl, Stefanie Reinicke, Emilia Wittmers, Patrick Lühne, Marius Knaust, Sven Köhler, Patrick Schmidt, Christian Holz
Imaginary reality basketball: a ball game without a ball. CHI Extended Abstracts (2014)
Patrick Baudisch, Henning Pohl, Stefanie Reinicke, Emilia Wittmers, Patrick Lühne, Marius Knaust, Sven Köhler, Patrick Schmidt, Christian Holz
Imaginary reality gaming: ball games without a ball. UIST (2013)
Alan Bränzel, Christian Holz, Daniel Hoffmann, Dominik Schmidt, Marius Knaust, Patrick Lühne, René Meusel, Stephan Richter, Patrick Baudisch
GravitySpace: tracking users and their poses in a smart room using a pressure-sensing floor. CHI Extended Abstracts (2013)
Alan Bränzel, Christian Holz, Daniel Hoffmann, Dominik Schmidt, Marius Knaust, Patrick Lühne, René Meusel, Stephan Richter, Patrick Baudisch
GravitySpace: tracking users and their poses in a smart room using a pressure-sensing floor. CHI (2013)
Haojin Yang, Maria Siebert, Patrick Lühne, Harald Sack, Christoph Meinel
Lecture Video Indexing and Analysis Using Video OCR Technology. SITIS (2011)
Haojin Yang, Maria Siebert, Patrick Lühne, Harald Sack, Christoph Meinel
Automatic Lecture Video Indexing Using Video OCR Technology. ISM (2011)