Skolemization for weighted first-order model counting (bibtex)
by Guy Van den Broeck, Wannes Meert and Adnan Darwiche
Reference:
Guy Van den Broeck, Wannes Meert and Adnan Darwiche. Skolemization for weighted first-order model counting, In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2014.
Bibtex Entry:
@inproceedings{VdBKR14,
  author = "Van den Broeck, Guy and Meert, Wannes and Darwiche, Adnan",
  title = "Skolemization for weighted first-order model counting",
  booktitle = "Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)",
  location="Vienna, Austria",
  month = Jul,
  year = "2014",
  url = "http://web.cs.ucla.edu/~guyvdb/papers/VdBKR14.pdf",
  keywords   = {conference,selective}
}
PDF Preview:
(PDF preview not available, download PDF instead)
Powered by bibtexbrowser