GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable

Conference proceeding

Open access

Peer reviewed

Franz Baader and R Peñaloza

Proceedings of the 24th International Workshop on Description Logics, July 13–16, 2011, Barcelona, Spain, Vol.745, pp.37-47

CEUR Workshop Proceedings, 745

24th International Workshop on Description Logics (DL 2011) (Barcelona, 13/07/2011 - 16/07/2011)

2011

Handle:

https://hdl.handle.net/10863/26035

Files and links (3)

pdf

DL2011-Proceedings20.01 MBDownload View

Open Access

url

https://ceur-ws.org/Vol-745/View

url

https://ceur-ws.org/Vol-745/paper_10.pdfView

Title: GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable
Creators: Franz Baader
R Peñaloza
Publication Details: Proceedings of the 24th International Workshop on Description Logics, July 13–16, 2011, Barcelona, Spain, Vol.745, pp.37-47
Editor(s): Rosati R, Rudolph S, Zakharyaschev M
ISSN: 1613-0073
Conference: 24th International Workshop on Description Logics (DL 2011) (Barcelona, 13/07/2011 - 16/07/2011)
Series / Volume: CEUR Workshop Proceedings
745
Publisher: CEUR-WS.org
Format: Online
Number of pages: 11
Identifiers: (UNIBZ)491000
991006452394101241
Scopus ID: 2-s2.0-84863633702
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Baader F, Peñaloza R
Additional Description: Editors/Supervisors: Rosati R, Rudolph S, Zakharyaschev M

5 File views/ downloads

5 Record Views