Semantically Guided Evolution of SHI ABoxes | BibSonomy
BibSonomy now supports HTTPS. Switch to HTTPS.
@cschon

Semantically Guided Evolution of SHI ABoxes

, and . 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)

Documents: true

Links and resources

BibTeX key:
DBLP:conf/tableaux/FurbachS13
search on:

Comments and Reviews  
(0)

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

Tags


Cite this publication