%0 Conference Paper %1 DBLP:conf/mates/FurbachS16 %A Furbach, Ulrich %A Schon, Claudia %B Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings %D 2016 %E Klusch, Matthias %E Unland, Rainer %E Shehory, Onn %E Pokahr, Alexander %E Ahrndt, Sebastian %I Springer %K cschon myown schon west.uni-koblenz.de %P 3--17 %R 10.1007/978-3-319-45889-2_1 %T Commonsense Reasoning Meets Theorem Proving %U http://dx.doi.org/10.1007/978-3-319-45889-2_1 %V 9872

@inproceedings{DBLP:conf/mates/FurbachS16, added-at = {2016-10-07T08:49:02.000+0200}, author = {Furbach, Ulrich and Schon, Claudia}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/20786a32600941bce7dbdd5cd4bb8d824/cschon}, booktitle = {Multiagent System Technologies - 14th German Conference, {MATES} 2016, Klagenfurt, {\"{O}}sterreich, September 27-30, 2016. Proceedings}, doi = {10.1007/978-3-319-45889-2_1}, editor = {Klusch, Matthias and Unland, Rainer and Shehory, Onn and Pokahr, Alexander and Ahrndt, Sebastian}, interhash = {65bf6441d8671a12bf22ea055f4148aa}, intrahash = {0786a32600941bce7dbdd5cd4bb8d824}, keywords = {cschon myown schon west.uni-koblenz.de}, pages = {3--17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-07-12T13:49:23.000+0200}, title = {Commonsense Reasoning Meets Theorem Proving}, url = {http://dx.doi.org/10.1007/978-3-319-45889-2_1}, volume = 9872, year = 2016 }