OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
Error:
Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu
*
:
stať ve sborníku (D)
Domácí pracoviště
*
:
Katedra informatiky a počítačů (31400)
Název
*
:
Refutational Provability and Fuzzy Description Logic
Citace :
Habiballa, H. a Rombová, Z. Refutational Provability and Fuzzy Description Logic.
In:
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014).
NY, USA: AIP Publishing LLC, 2015. AIP Publishing LLC, 2015. s. 5500071-5500074. ISBN 978-0-7354-1287-3.
Podnázev :
Rok
*
:
2015
Obor
*
:
Informatika
Počet stran
*
:
4
Strana od
*
:
5500071
Strana do
*
:
5500074
Forma vydání
*
:
Tištená verze
Kód ISBN
*
:
978-0-7354-1287-3
Kód ISSN :
Název sborníku
*
:
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014)
Sborník :
Mezinárodní
Název nakladatele
*
:
AIP Publishing LLC
Místo vydání
*
:
NY, USA
Stát vydání :
Sborník vydaný v zahraničí
Název konference :
ICNAAM 2014
Místo konání konference
*
:
Rhodos, Greece
Datum zahájení konference
*
:
Typ akce podle státní
příslušnosti účastníků akce
*
:
Celosvětová akce
Kód UT WoS :
EID :
Klíčová slova anglicky
*
:
Fuzzy inference, Fuzzy Description Logic
Popis v původním jazyce
*
:
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.
Popis v anglickém jazyce
*
:
Typ zdroje financování výsledku
*
:
Specifický výzkum
Seznam projektů :
ID Projektu
Název projektu
Seznam ohlasů :
Ohlas
R01:
RIV/61988987:17310/15:A1501BT0
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules