## 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://starai.cs.ucla.edu/papers/VdBKR14.pdf",
keywords   = {conference,selective}
}
PDF Preview: