Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory

Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory (bibtex)

by Bart Bogaerts and Guy Van den Broeck

Reference:

Bart Bogaerts and Guy Van den Broeck. Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory, In Theory and Practice of Logic Programming, volume 15, 2015.

Bibtex Entry:

@article{BogaertsICLP15,
  author = {Bogaerts, Bart and Van den Broeck, Guy},
  title = {Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory},
  journal = {Theory and Practice of Logic Programming},
  volume = {15},
  issue = {Special Issue 4-5},
  month = {7},
  month = {7},
  year = {2015},
  issn = {1475-3081},
  pages = {464--480},
  numpages = {17},
  doi = {10.1017/S1471068415000162},
  url       = {http://starai.cs.ucla.edu/papers/BogaertsICLP15.pdf},
  keywords   = {journal}
}

PDF Preview: