Towards automated integration of guess and check programs in answer set programming: A meta-interpreter and applications

Publication: Scientific journal › Journal article › peer-review

Original language	English
Pages (from-to)	23 - 60
Journal	Theory and Practice of Logic Programming
Volume	6
Issue number	1-2
Publication status	Published - 1 Oct 2006

Cite this

@article{fcc5dc551354451f8d4dc5831348d7dd,

title = "Towards automated integration of guess and check programs in answer set programming: A meta-interpreter and applications",

author = "Axel Polleres and Thomas Eiter",

year = "2006",

month = oct,

day = "1",

language = "English",

volume = "6",

pages = "23 -- 60",

journal = "Theory and Practice of Logic Programming",

issn = "1475-3081",

publisher = "Cambridge University Press",

number = "1-2",

}

TY - JOUR

T1 - Towards automated integration of guess and check programs in answer set programming: A meta-interpreter and applications

AU - Polleres, Axel

AU - Eiter, Thomas

PY - 2006/10/1

Y1 - 2006/10/1

M3 - Journal article

SN - 1475-3081

VL - 6

SP - 23

EP - 60

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 1-2

ER -