Automated reasoning in resolving semantic conflicts across heterogeneous repositories

Kataria, Pavandeep and Juric, Radmila (2010) Automated reasoning in resolving semantic conflicts across heterogeneous repositories. In: Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, 30 - 31 Mar 2010, London.

Full text not available from this repository.
Official URL: http://cgi.csc.liv.ac.uk/~clare/ARW/year/2010/ARW-...
Item Type: Conference or Workshop Item (Paper)
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 18 Mar 2010 10:31
Last Modified: 27 Mar 2014 11:18
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/7777

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)