Skolemization for Weighted First-Order Model Counting
G. Van den Broeck, W. Meert, and A. Darwiche. Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning: Proceedings (KR), (2014)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 BroeckMD14
%A Van den Broeck, Guy
%A Meert, Wannes
%A Darwiche, Adnan
%B Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning: Proceedings (KR)
%D 2014
%K ml
%T Skolemization for Weighted First-Order Model Counting
@inproceedings{BroeckMD14,
added-at = {2016-11-26T13:11:51.000+0100},
author = {{Van den Broeck}, Guy and Meert, Wannes and Darwiche, Adnan},
biburl = {https://www.bibsonomy.org/bibtex/25a48fa907e85a7dd3999a6e68737aeb0/machinelearning},
booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning: Proceedings (KR) },
interhash = {884b8aecd0f9ed606ba11901616bc216},
intrahash = {5a48fa907e85a7dd3999a6e68737aeb0},
keywords = {ml},
timestamp = {2016-11-26T13:17:02.000+0100},
title = {Skolemization for Weighted First-Order Model Counting},
year = 2014
}