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

Publikation: Wissenschaftliche Fachzeitschrift › Originalbeitrag in Fachzeitschrift › Forschung › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	23 - 60
Fachzeitschrift	Theory and Practice of Logic Programming
Jahrgang	6
Ausgabenummer	1-2
Publikationsstatus	Veröffentlicht - 1 Okt. 2006

Zitat

@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 -