Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Maintaining distributed logic programs incrementally

Vivek Nigam, Limin Jia, Boon Thau Loo, and Andre Scedrov. Maintaining distributed logic programs incrementally. In PPDP, pp. 125–136, ACM, 2011.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{nigam11ppdp,
  author    = {Vivek Nigam and
               Limin Jia and
               Boon Thau Loo and
               Andre Scedrov},
  title     = {Maintaining distributed logic programs incrementally},
  booktitle = {PPDP},
  year      = {2011},
  pages     = {125-136},
  ee        = {http://doi.acm.org/10.1145/2003476.2003495},
  editor    = {Peter Schneider-Kamp and
               Michael Hanus},
  booktitle = {PPDP},
  publisher = {ACM},
  year      = {2011},
  isbn      = {978-1-4503-0776-5},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/mdrvi.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26