%0 Conference Paper %1 conf/mkm/PiotrowskiU20 %A Piotrowski, Bartosz %A Urban, Josef %B CICM %D 2020 %E Benzmüller, Christoph %E Miller, Bruce R. %I Springer %K dblp %P 309-314 %T Guiding Inferences in Connection Tableau by Recurrent Neural Networks. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2020.html#PiotrowskiU20 %V 12236 %@ 978-3-030-53518-6

@inproceedings{conf/mkm/PiotrowskiU20, added-at = {2020-07-24T00:00:00.000+0200}, author = {Piotrowski, Bartosz and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2f90ced9ae2729b8de387869f4979673c/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2020}, editor = {Benzmüller, Christoph and Miller, Bruce R.}, ee = {https://doi.org/10.1007/978-3-030-53518-6_23}, interhash = {55cf23e5bc17ee587c4cc76bddf54d5e}, intrahash = {f90ced9ae2729b8de387869f4979673c}, isbn = {978-3-030-53518-6}, keywords = {dblp}, pages = {309-314}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-25T11:36:18.000+0200}, title = {Guiding Inferences in Connection Tableau by Recurrent Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2020.html#PiotrowskiU20}, volume = 12236, year = 2020 }