Follow
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
1262014
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
1132013
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
662011
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
612011
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
552013
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, 181-182, 2018
252018
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
232020
plasp 3: Towards effective ASP planning
Y Dimopoulos, M Gebser, P Lühne, J Romero, T Schaub
Theory and Practice of Logic Programming 19 (3), 477-504, 2019
212019
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
182019
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
152014
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
132017
Towards Verifying Logic Programs in the Input Language of clingo
V Lifschitz, P Lühne, T Schaub
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on …, 2020
82020
anthem: Transforming gringo programs into first-order theories (preliminary report)
V Lifschitz, P Lühne, T Schaub
arXiv preprint arXiv:1810.00453, 2018
82018
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
62014
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
52016
Discovering and Proving Invariants in Answer Set Programming and Planning
P Lühne
1*
anthem: Transforming gringo Programs into First-Order Theories
V Lifschitz, P Lühne, T Schaub
The system can't perform the operation now. Try again later.
Articles 1–17