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 * : Non-clausal resolution and fuzzy logic
Citace : Habiballa, H. Non-clausal resolution and fuzzy logic. In: APLIMAT. Bratislava: SjF STU, 2011. SjF STU, 2011. s. 557-570. ISBN 978-80-89313-51-8.
Podnázev :
Rok * : 2011
Obor * : Informatika
Počet stran * : 14
Strana od * : 557
Strana do * : 570
Forma vydání * :
Kód ISBN * : 978-80-89313-51-8
Kód ISSN :
Název sborníku * : APLIMAT
Sborník : Mezinárodní
Název nakladatele * : SjF STU
Místo vydání * : Bratislava
Stát vydání : Sborník vydaný v zahraničí
Název konference : Aplimat
Místo konání konference * : Bratislava
Datum zahájení konference * :
Typ akce podle státní
příslušnosti účastníků akce * :
Evropská akce
Kód UT WoS :
EID :
Klíčová slova anglicky * :
theorem proving
Popis v původním jazyce * :
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Predicate Logic with evaluated syntax. Resolution-based reasoning is established on previous works concerning non-clausal resolution principle both theoretical and application-oriented (FPLGERDS inference engine).
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/11:A11010TP

© 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}