First Page | Document Content | |
---|---|---|
Date: 2014-07-07 10:05:54Artificial intelligence Logic in computer science Non-classical logic Constructible universe Fuzzy set Logic Mathematical logic Fuzzy logic | A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB Fernando Bobillo1 and Umberto Straccia2 1 Dpt. of Computer Science & Systems Engineering, University of Zaragoza, SpainAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source WebsiteFile Size: 369,49 KBShare Document on Facebook |