%0 Conference Paper %1 DBLP:conf/aiia/FurbachS16 %A Furbach, Ulrich %A Schon, Claudia %B URANIA@AI*IA %D 2016 %I CEUR-WS.org %K 2016-11 cschon myown west.uni-koblenz.de %P 1--12 %T Commonsense Reasoning meets Theorem Proving %V 1802

@inproceedings{DBLP:conf/aiia/FurbachS16, added-at = {2017-08-14T12:09:55.000+0200}, author = {Furbach, Ulrich and Schon, Claudia}, biburl = {https://www.bibsonomy.org/bibtex/2a37ed5be35c86299c3ce3629e0468caf/cschon}, booktitle = {URANIA@AI*IA}, interhash = {65bf6441d8671a12bf22ea055f4148aa}, intrahash = {a37ed5be35c86299c3ce3629e0468caf}, keywords = {2016-11 cschon myown west.uni-koblenz.de}, pages = {1--12}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, timestamp = {2017-08-14T12:09:55.000+0200}, title = {Commonsense Reasoning meets Theorem Proving}, volume = 1802, year = 2016 }