BibTeX record conf/otm/BodartEOS14

download as .bib file

@inproceedings{DBLP:conf/otm/BodartEOS14,
  author    = {Axel Bodart and
               Keyvin Evrard and
               James Jerson Ortiz and
               Pierre{-}Yves Schobbens},
  title     = {ArThUR: {A} Tool for Markov Logic Network},
  booktitle = {{OTM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8842},
  pages     = {319--328},
  publisher = {Springer},
  year      = {2014}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics