%0 Conference Paper %1 Beierle:2010 %A Beierle, Christoph %A Finthammer, Marc %A Kern-Isberner, Gabriele %A Thimm, Matthias %B Automated Reasoning: Fifth International Joint Conference (IJCAR'10) %D 2010 %E Giesl, Jürgen %E Hähnle, Reiner %K imported matthias.thimm myown west.uni-koblenz.de %N 6173 %T Automated Reasoning for Relational Probabilistic Knowledge Representation %U http://www.mthimm.de/publications.php

@inproceedings{Beierle:2010, added-at = {2014-01-31T15:58:28.000+0100}, author = {Beierle, Christoph and Finthammer, Marc and Kern-Isberner, Gabriele and Thimm, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2eedb4fc97a6cb403a5fce74cb348d5ed/matthias.thimm}, booktitle = {Automated Reasoning: Fifth International Joint Conference (IJCAR'10)}, editor = {Giesl, J{\"u}rgen and H{\"a}hnle, Reiner}, interhash = {95ed0a733e4a07cf43ddbdf21e8a3548}, intrahash = {eedb4fc97a6cb403a5fce74cb348d5ed}, keywords = {imported matthias.thimm myown west.uni-koblenz.de}, month = {July}, number = 6173, series = {Lecture Notes in Computer Science}, timestamp = {2017-07-12T15:15:32.000+0200}, title = {Automated Reasoning for Relational Probabilistic Knowledge Representation}, url = {http://www.mthimm.de/publications.php}, year = 2010 }