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://web.cs.ucla.edu/~guyvdb/papers/BogaertsICLP15.pdf},
  keywords   = {journal}
}
PDF Preview:
(PDF preview not available, download PDF instead)
Powered by bibtexbrowser