Knowledge compilation of logic programs using approximation fixpoint theory

Bart Bogaerts, Guy Van den Broeck

Onderzoeksoutput: Article › peer review

8 Citaten (Scopus)

Originele taal-2	Undefined/Unknown
Pagina's (van-tot)	464-480
Aantal pagina's	17
Tijdschrift	Theory and Practice of Logic Programming
Volume	15
DOI's	https://doi.org/10.1017/S1471068415000162
Status	Published - 1 jul. 2015
Extern gepubliceerd	Ja

Toegang tot document

@article{6142b952564f43ee9322c5ba0ca54e03,

title = "Knowledge compilation of logic programs using approximation fixpoint theory",

author = "Bart Bogaerts and {Van den Broeck}, Guy",

year = "2015",

month = jul,

day = "1",

doi = "10.1017/S1471068415000162",

language = "Undefined/Unknown",

volume = "15",

pages = "464--480",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Cambridge Univ. Press",

}

TY - JOUR

T1 - Knowledge compilation of logic programs using approximation fixpoint theory

AU - Bogaerts, Bart

AU - Van den Broeck, Guy

PY - 2015/7/1

Y1 - 2015/7/1

U2 - 10.1017/S1471068415000162

DO - 10.1017/S1471068415000162

M3 - Article

SN - 1471-0684

VL - 15

SP - 464

EP - 480

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

ER -