. . . "Refutational Provability and Fuzzy Description Logic"@en . "PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014)" . "Rhodos, Greece" . . "Refutational Provability and Fuzzy Description Logic" . "17310" . . "390" . . . "The article presents refutational resolution theorem proving system for Fuzzy Description Logic (FDL) based on general (non-clausal) resolution rule. It brings several new notions of refutation degree and proves its relation to provability degree in fuzzy predicate logic." . "Refutational Provability and Fuzzy Description Logic"@en . "P(ED1.1.00/02.0070), S" . "Rombov\u00E1, Zuzana" . "RIV/61988987:17310/15:A1501BT0" . . . . . "2"^^ . "Fuzzy inference; Fuzzy Description Logic"@en . . "[C894E9E31568]" . "Refutational Provability and Fuzzy Description Logic" . . . "The article presents refutational resolution theorem proving system for Fuzzy Description Logic (FDL) based on general (non-clausal) resolution rule. It brings several new notions of refutation degree and proves its relation to provability degree in fuzzy predicate logic."@en . "2"^^ . "Habiballa, Hashim" . "2014-01-01+01:00"^^ . . "RIV/61988987:17310/15:A1501BT0!RIV15-MSM-17310___" . . "978-0-7354-1287-3" . . "NY, USA" . "4"^^ . "AIP Publishing LLC" .