Semantically Guided Evolution of SHI ABoxes
U. Furbach, and C. Schon.
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings , volume 8123 of Lecture Notes in Computer Science, Springer, (2013)

  • @cschon
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).