Patrick Lühne

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