%0 Conference Paper %1 conf/cade/BeierleFKT10 %A Beierle, Christoph %A Finthammer, Marc %A Kern-Isberner, Gabriele %A Thimm, Matthias %B IJCAR %D 2010 %E Giesl, Jürgen %E Hähnle, Reiner %I Springer %K %P 218-224 %T Automated Reasoning for Relational Probabilistic Knowledge Representation. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2010.html#BeierleFKT10 %V 6173 %@ 978-3-642-14202-4

@inproceedings{conf/cade/BeierleFKT10, added-at = {2023-12-13T04:26:43.000+0100}, author = {Beierle, Christoph and Finthammer, Marc and Kern-Isberner, Gabriele and Thimm, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2c77451ba83d5475068b736f9e7e099ca/admin}, booktitle = {IJCAR}, crossref = {conf/cade/2010}, editor = {Giesl, Jürgen and Hähnle, Reiner}, ee = {https://doi.org/10.1007/978-3-642-14203-1_19}, interhash = {95ed0a733e4a07cf43ddbdf21e8a3548}, intrahash = {c77451ba83d5475068b736f9e7e099ca}, isbn = {978-3-642-14202-4}, keywords = {}, pages = {218-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:26:43.000+0100}, title = {Automated Reasoning for Relational Probabilistic Knowledge Representation.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2010.html#BeierleFKT10}, volume = 6173, year = 2010 }