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)

Links and resources

BibTeX key:
search on:

Comments and Reviews  

There is no review or comment yet. You can write one!


Cite this publication