Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Checking Full Satisfiability of Conceptual Models⋆ Alessandro Artale, Diego Calvanese, and Ang´elica Ib´an ˜ez-Garc´ıa - Satisfiability - Document - PDFSEARCH.IO

First Page	Meta Content
	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Checking Full Satisfiability of Conceptual Models⋆ Alessandro Artale, Diego Calvanese, and Ang´elica Ib´an ˜ez-Garc´ıa Add to Reading List Document Date: 2010-04-20 14:40:19 Open Document File Size: 163,00 KB Share Result on Facebook

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Checking Full Satisfiability of Conceptual Models⋆ Alessandro Artale, Diego Calvanese, and Ang´elica Ib´an ˜ez-Garc´ıaAdd to Reading List