OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   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

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
Complementary Content
  • ${title}${badge}
${loading}