Knowledge compilation of logic programs using approximation fixpoint theory

Bart Bogaerts, Guy Van den Broeck

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

8 Citations (Scopus)

Original language	Undefined/Unknown
Pages (from-to)	464-480
Number of pages	17
Journal	Theory and Practice of Logic Programming
Volume	15
DOIs	https://doi.org/10.1017/S1471068415000162
Publication status	Published - 1 Jul 2015
Externally published	Yes

Access to 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 -