%0 Conference Paper %1 aitp %A Furbach, Ulrich %A Schon, Claudia %B Proceedings of the 1st Conference on Artificial Intelligence and Theorem Proving AITP'16, Obergurgl, Austria %D 2016 %K myown schon west.uni-koblenz.de %T Commonsense Reasoning meets Theorem Proving

@inproceedings{aitp, added-at = {2016-10-07T08:38:26.000+0200}, author = {Furbach, Ulrich and Schon, Claudia}, bdsk-url-1 = {http://nirvana.informatik.uni-halle.de/~schwarz/wlp2008/wlp08proc.pdf}, biburl = {https://www.bibsonomy.org/bibtex/24c04da5ead4febc2e4d53ceb8bdcc614/cschon}, booktitle = {Proceedings of the 1st Conference on Artificial Intelligence and Theorem Proving {AITP'16}, Obergurgl, Austria}, date-added = {2016-07-05 12:47:45 +0000}, date-modified = {2016-07-05 12:47:45 +0000}, interhash = {65bf6441d8671a12bf22ea055f4148aa}, intrahash = {4c04da5ead4febc2e4d53ceb8bdcc614}, keywords = {myown schon west.uni-koblenz.de}, timestamp = {2017-07-12T13:49:23.000+0200}, title = {Commonsense Reasoning meets Theorem Proving}, year = 2016 }