%0 Book Section %1 DBLP:conf/tableaux/FurbachS13 %A Furbach, Ulrich %A Schon, Claudia %B Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings %D 2013 %E Galmiche, Didier %E Larchey-Wendling, Dominique %I Springer %K myown schon west.uni-koblenz.de %T Semantically Guided Evolution of SHI ABoxes %V 8123

@incollection{DBLP:conf/tableaux/FurbachS13, added-at = {2016-10-07T08:41:59.000+0200}, author = {Furbach, Ulrich and Schon, Claudia}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40537-2_13}, biburl = {https://www.bibsonomy.org/bibtex/27178e5a931557df9fe923c0b6d0c50ec/cschon}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings}, date-added = {2014-03-28 10:38:35 +0100}, date-modified = {2015-12-22 20:16:51 +0000}, editor = {Galmiche, Didier and Larchey-Wendling, Dominique}, interhash = {0d0c88da6d6e594a408945857d345ef0}, intrahash = {7178e5a931557df9fe923c0b6d0c50ec}, keywords = {myown schon west.uni-koblenz.de}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-07-12T13:49:23.000+0200}, title = {Semantically Guided Evolution of SHI ABoxes}, volume = 8123, year = 2013 }