Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Patrick Lühne

> Home > Persons

Person information

affiliation: Hasso Plattner Institute, Potsdam, Germany
affiliation: University of Potsdam, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/FandinnoLLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/FandinnoLLS20
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. 20(5): 735-750 (2020)
2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/DimopoulosGLRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/DimopoulosGLRS19
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. Theory Pract. Log. Program. 19(3): 477-504 (2019)
2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/GebserKKLOORSSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/GebserKKLOORSSW18
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): 181-182 (2018)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LifschitzLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LifschitzLS20
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III 2020: 190-209
2019
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/LifschitzLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/LifschitzLS19
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Strong Equivalence of Programs in the Input Language of gringo. LPNMR 2019: 270-283
2017
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/DimopoulosGL0S17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/DimopoulosGL0S17
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. LPNMR 2017: 286-300
2016
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/GebserKKL0S16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/GebserKKL0S16
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub:
Answer Set Solving with Generalized Learned Constraints. ICLP (Technical Communications) 2016: 9:1-9:15
2014
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/ChengLLSB14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/ChengLLSB14a
Lung-Pan Cheng, Patrick Lühne, Pedro Lopes, Christoph Sterz, Patrick Baudisch:
Haptic turk: a motion platform based on people. CHI Extended Abstracts 2014: 415-418
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/BaudischPRWLKKSH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/BaudischPRWLKKSH14
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: 575-578
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/ChengLLSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/ChengLLSB14
Lung-Pan Cheng, Patrick Lühne, Pedro Lopes, Christoph Sterz, Patrick Baudisch:
Haptic turk: a motion platform based on people. CHI 2014: 3463-3472
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/grapp/BuschmannTLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/grapp/BuschmannTLD14
Stefan Buschmann, Matthias Trapp, Patrick Lühne, Jürgen Döllner:
Hardware-Accelerated Attribute Mapping for Interactive Visualization of Complex 3D Trajectories. IVAPP 2014: 356-363
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/haptics/ChengLLSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haptics/ChengLLSB14
Lung-Pan Cheng, Patrick Lühne, Pedro Lopes, Christoph Sterz, Patrick Baudisch:
Haptic turk: A motion platform based on people. HAPTICS 2014: 1
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/BranzelHHSKLM0B13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/BranzelHHSKLM0B13a
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: 725-734
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/BranzelHHSKLM0B13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/BranzelHHSKLM0B13
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: 2869-2870
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/uist/BaudischPRWLKKSH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uist/BaudischPRWLKKSH13
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: 405-410
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ism/YangSLSM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ism/YangSLSM11
Haojin Yang, Maria Siebert, Patrick Lühne, Harald Sack, Christoph Meinel:
Automatic Lecture Video Indexing Using Video OCR Technology. ISM 2011: 111-116
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sitis/YangSLSM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sitis/YangSLSM11
Haojin Yang, Maria Siebert, Patrick Lühne, Harald Sack, Christoph Meinel:
Lecture Video Indexing and Analysis Using Video OCR Technology. SITIS 2011: 54-61

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-02025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02025
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Tight Logic Programs with anthem and Vampire. CoRR abs/2008.02025 (2020)
2019
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-03196
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-03196
Patrick Lühne:
Discovering and Proving Invariants in Answer Set Programming and Planning. CoRR abs/1905.03196 (2019)
2018
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-00453
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-00453
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR abs/1810.00453 (2018)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-04491
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-04491
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. CoRR abs/1812.04491 (2018)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.