GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable Franz Baader and Rafael Peñaloza Theoretical Computer Science, TU Dresden, Germany {baader,penaloza - Franz Baader - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-06-26 10:20:56		GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable Franz Baader and Rafael Peñaloza Theoretical Computer Science, TU Dresden, Germany {baader,penaloza}@tcs.inf.tu-dresden.de Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 420,09 KB Share Document on Facebook