Patrick Lühne

According to our database, Patrick Lühne authored at least 15 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Verifying Tight Logic Programs with anthem and vampire.

Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

Theory Pract. Log. Program., 2020

Towards Verifying Logic Programs in the Input Language of clingo.

Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

Proceedings of the Fields of Logic and Computation III, 2020

2019

plasp 3: Towards Effective ASP Planning.

Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub

Theory Pract. Log. Program., 2019

Discovering and Proving Invariants in Answer Set Programming and Planning.

Patrick Lühne

CoRR, 2019

Verifying Strong Equivalence of Programs in the Input Language of gringo.

Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018

The Potsdam Answer Set Solving Collection 5.0.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Künstliche Intell., 2018

anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report).

Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

CoRR, 2018

2016

Answer Set Solving with Generalized Learned Constraints.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2014

Hardware-Accelerated Attribute Mapping for Interactive Visualization of Complex 3D Trajectories.

Stefan Buschmann, Matthias Trapp, Patrick Lühne, Jürgen Döllner

Proceedings of the 5th International Conference on Information Visualization Theory and Applications, 2014

Haptic turk: a motion platform based on people.

Lung-Pan Cheng, Patrick Lühne, Pedro Lopes, Christoph Sterz, Patrick Baudisch

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

Imaginary reality basketball: a ball game without a ball.

Patrick Baudisch, Henning Pohl, Stefanie Reinicke, Emilia Wittmers, Patrick Lühne, Marius Knaust, Sven Köhler, Patrick Schmidt, Christian Holz

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

2013

Imaginary reality gaming: ball games without a ball.

Patrick Baudisch, Henning Pohl, Stefanie Reinicke, Emilia Wittmers, Patrick Lühne, Marius Knaust, Sven Köhler, Patrick Schmidt, Christian Holz

Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

GravitySpace: tracking users and their poses in a smart room using a pressure-sensing floor.

Alan Bränzel, Christian Holz, Daniel Hoffmann, Dominik Schmidt, Marius Knaust, Patrick Lühne, René Meusel, Stephan Richter, Patrick Baudisch

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2011

Lecture Video Indexing and Analysis Using Video OCR Technology.

Haojin Yang, Maria Siebert, Patrick Lühne, Harald Sack, Christoph Meinel

Proceedings of the Seventh International Conference on Signal-Image Technology and Internet-Based Systems, 2011

Automatic Lecture Video Indexing Using Video OCR Technology.

Haojin Yang, Maria Siebert, Patrick Lühne, Harald Sack, Christoph Meinel

Proceedings of the 2011 IEEE International Symposium on Multimedia, 2011