Patrick Lühne
From MaRDI portal
Person:2326734
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Towards Verifying Logic Programs in the Input Language of clingo Fields of Logic and Computation III | 2022-11-09 | Paper |
| plasp 3: towards effective ASP planning Theory and Practice of Logic Programming | 2021-09-03 | Paper |
| Verifying Tight Logic Programs with anthem and vampire Theory and Practice of Logic Programming | 2020-12-13 | Paper |
| Verifying strong equivalence of programs in the input language of \textsc{gringo} | 2019-10-10 | Paper |
| plasp 3: towards effective ASP planning (available as arXiv preprint) | 2017-09-05 | Paper |
Research outcomes over time
This page was built for person: Patrick Lühne
