Multi-shot ASP solving with clingo

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	27-82
Number of pages	56
Journal	Theory and Practice of Logic Programming
Volume	2019
Issue number	19(1)
DOIs	https://doi.org/10.1017/S1471068418000054
Publication status	Published - Jan 2019

Access to Document

@article{4d4314a449ef42d0984cde8a5a22176e,

title = "Multi-shot ASP solving with clingo",

author = "Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub",

year = "2019",

month = jan,

doi = "10.1017/S1471068418000054",

language = "English",

volume = "2019",

pages = "27--82",

journal = "Theory and Practice of Logic Programming ",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "19(1)",

}

TY - JOUR

T1 - Multi-shot ASP solving with clingo

AU - Gebser, Martin

AU - Kaminski, Roland

AU - Kaufmann, Benjamin

AU - Schaub, Torsten

PY - 2019/1

Y1 - 2019/1

UR - https://arxiv.org/abs/1705.09811

U2 - 10.1017/S1471068418000054

DO - 10.1017/S1471068418000054

M3 - Article

SN - 1471-0684

VL - 2019

SP - 27

EP - 82

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 19(1)

ER -