The Answer Set Programming Paradigm
dc.contributor | Aalto-yliopisto | fi |
dc.contributor | Aalto University | en |
dc.contributor.author | Janhunen, Tomi | en_US |
dc.contributor.author | Niemelä, Ilkka | en_US |
dc.contributor.department | Department of Computer Science | en |
dc.contributor.groupauthor | Centre of Excellence in Computational Inference, COIN | en |
dc.contributor.groupauthor | Professorship Niemelä I. | en |
dc.contributor.groupauthor | Helsinki Institute for Information Technology (HIIT) | en |
dc.date.accessioned | 2018-12-10T10:26:05Z | |
dc.date.available | 2018-12-10T10:26:05Z | |
dc.date.issued | 2016 | en_US |
dc.description.abstract | In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem. | en |
dc.description.version | Peer reviewed | en |
dc.format.extent | 12 | |
dc.format.mimetype | application/pdf | en_US |
dc.identifier.citation | Janhunen, T & Niemelä, I 2016, 'The Answer Set Programming Paradigm', AI Magazine, vol. 37, no. 3, pp. 13-24. https://doi.org/10.1609/aimag.v37i3.2671 | en |
dc.identifier.doi | 10.1609/aimag.v37i3.2671 | en_US |
dc.identifier.issn | 0738-4602 | |
dc.identifier.issn | 2371-9621 | |
dc.identifier.other | PURE UUID: aa241a3e-fcd2-4119-b7d1-71634a08af8b | en_US |
dc.identifier.other | PURE ITEMURL: https://research.aalto.fi/en/publications/aa241a3e-fcd2-4119-b7d1-71634a08af8b | en_US |
dc.identifier.other | PURE LINK: http://aaai.org/ojs/index.php/aimagazine/article/view/2671 | en_US |
dc.identifier.other | PURE FILEURL: https://research.aalto.fi/files/30223846/SCI_Janhunen_Niemela_The_Answer_Set_Programming.pdf | en_US |
dc.identifier.uri | https://aaltodoc.aalto.fi/handle/123456789/35197 | |
dc.identifier.urn | URN:NBN:fi:aalto-201812106212 | |
dc.language.iso | en | en |
dc.publisher | Wiley | |
dc.relation.ispartofseries | AI Magazine | en |
dc.relation.ispartofseries | Volume 37, issue 3, pp. 13-24 | en |
dc.rights | openAccess | en |
dc.subject.keyword | STABLE MODEL SEMANTICS | en_US |
dc.subject.keyword | LOGIC | en_US |
dc.title | The Answer Set Programming Paradigm | en |
dc.type | A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä | fi |
dc.type.version | acceptedVersion |