Inproceedings,

ArThUR: A Tool for Markov Logic Network.

, , , and .
OTM Workshops, volume 8842 of Lecture Notes in Computer Science, page 319-328. Springer, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews