The Potsdam Answer Set Solving Collection 5.0
dc.contributor.author | Gebser, Martin | |
dc.contributor.author | Kaminski, Roland | |
dc.contributor.author | Kaufmann, Benjamin | |
dc.contributor.author | Lühne, Patrick | |
dc.contributor.author | Obermeier, Philipp | |
dc.contributor.author | Ostrowski, Max | |
dc.contributor.author | Romero, Javier | |
dc.contributor.author | Schaub, Torsten | |
dc.contributor.author | Schellhorn, Sebastian | |
dc.contributor.author | Wanko, Philipp | |
dc.date.accessioned | 2019-04-24T18:28:59Z | |
dc.date.available | 2019-04-24T18:28:59Z | |
dc.date.issued | 2018 | |
dc.identifier.doi | 10.1007/s13218-018-0528-x | |
dc.identifier.pissn | 1610-1987 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/21861 | |
dc.language.iso | en | |
dc.publisher | Springer Nature | |
dc.relation.ispartof | KI - Künstliche Intelligenz: Vol. 32, No. 2-3 | |
dc.title | The Potsdam Answer Set Solving Collection 5.0 | en |
dc.type | Text/Journal | |
gi.citation.endPage | 182 | |
gi.citation.publisherPlace | Berlin Heidelberg | |
gi.citation.startPage | 181 |