Patrick Lühne
Patrick Lühne
Verified email at cs.uni-potsdam.de
Title
Cited by
Cited by
Year
Haptic Turk: A Motion Platform Based on People
LP Cheng, P Lühne, P Lopes, C Sterz, P Baudisch
Proceedings of the 32nd annual ACM conference on Human factors in computing …, 2014
882014
GravitySpace: Tracking Users and Their Poses in a Smart Room Using a Pressure-Sensing Floor
A Bränzel, C Holz, D Hoffmann, D Schmidt, M Knaust, P Lühne, R Meusel, ...
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems …, 2013
772013
Lecture Video Indexing and Analysis Using Video OCR Technology
H Yang, M Siebert, P Lühne, H Sack, C Meinel
Signal-Image Technology and Internet-Based Systems (SITIS), 2011 Seventh …, 2011
472011
Automatic Lecture Video Indexing Using Video OCR Technology
H Yang, M Siebert, P Lühne, H Sack, C Meinel
Multimedia (ISM), 2011 IEEE International Symposium on, 111-116, 2011
432011
Imaginary Reality Gaming: Ball Games Without a Ball
P Baudisch, H Pohl, S Reinicke, E Wittmers, P Lühne, M Knaust, S Köhler, ...
Proceedings of the 26th annual ACM symposium on User interface software and …, 2013
382013
The potsdam answer set solving collection 5.0
M Gebser, R Kaminski, B Kaufmann, P Lühne, P Obermeier, M Ostrowski, ...
KI-Künstliche Intelligenz 32 (2-3), 181-182, 2018
122018
plasp 3: Towards Effective ASP Planning
Y Dimopoulos, M Gebser, P Lühne, J Romero, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
102017
Hardware-Accelerated Attribute Mapping for Interactive Visualization of Complex 3D Trajectories
S Buschmann, M Trapp, P Lühne, J Döllner
5th International Conference on Information Visualization Theory and …, 2014
102014
plasp 3: Towards effective ASP planning
Y Dimopoulos, M Gebser, P Lühne, J Romero, T Schaub
arXiv preprint arXiv:1812.04491, 2018
82018
anthem: Transforming gringo programs into first-order theories (preliminary report)
V Lifschitz, P Lühne, T Schaub
arXiv preprint arXiv:1810.00453, 2018
82018
Verifying Strong Equivalence of Programs in the Input Language of gringo
V Lifschitz, P Lühne, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
52019
Answer Set Solving with Generalized Learned Constraints
M Gebser, R Kaminski, B Kaufmann, P Lühne, J Romero, T Schaub
Technical Communications of the 32nd International Conference on Logic …, 2016
22016
Imaginary Reality Basketball: A Ball Game Without a Ball
P Baudisch, H Pohl, S Reinicke, E Wittmers, P Lühne, M Knaust, S Köhler, ...
CHI'14 Extended Abstracts on Human Factors in Computing Systems, 575-578, 2014
22014
Towards Verifying Logic Programs in the Input Language of clingo
V Lifschitz, P Lühne, T Schaub
Fields of Logic and Computation III, 190-209, 2020
12020
Verifying Tight Logic Programs with anthem and vampire
J Fandinno, V Lifschitz, P Lühne, T Schaub
Theory and Practice of Logic Programming 20 (5), 735-750, 2020
2020
anthem: Transforming gringo Programs into First-Order Theories
V Lifschitz, P Lühne, T Schaub
Discovering and Proving Invariants in Answer Set Programming and Planning
P Lühne
The system can't perform the operation now. Try again later.
Articles 1–17