Logic-based reasoning support for SBVR Dmitry Solomakhin1) , Enrico Franconi2) , and Alessandro Mosca2) Free University of Bozen-Bolzano, Italy Piazza Domenicani 3, 39100 Bolzano, Italy 1)

First Page		Document Content
Date: 2011-11-03 11:58:31		Logic-based reasoning support for SBVR Dmitry Solomakhin1) , Enrico Franconi2) , and Alessandro Mosca2) Free University of Bozen-Bolzano, Italy Piazza Domenicani 3, 39100 Bolzano, Italy 1) Add to Reading List Source URL: www.inf.unibz.it Download Document from Source Website File Size: 748,21 KB Share Document on Facebook