OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}

Pomocí tohoto dialogu můžete vyhledat domácí autory, čili autory, kteří jsou vedeni v personálních systémech Ostravské univerzity.

Do našeptávače níže napište hledaný text a tento text bude vyhledán ve jméně nebo příjmení autora. Autoři, kteří budou hledanému textu odpovídat, Vám budou nabídnuti v seznamu. Pomocí myši nebo šipek na klávesnici vyberte požadovaného autora.

Našeptávač : 
Přidat autora k záznamu Zavřít

Pomocí tohoto dialogu můžete k záznamu přidat cizího autora, čili autora, který nemá žádný pracovní ani studijní vztah k Ostravské univerzitě. Takto přidaný autor bude do RIV vykázán jako nedomácí.

Pro přidání autora vepište jeho jméno a příjmení do určených položek.

Jméno :
Příjmení :
Přidat k záznamu Zavřít
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : software (R)
Domácí pracoviště * : Katedra informatiky a počítačů (31400)
Název * : Fuzzy Predicate Logic Deductive System
Citace : Habiballa, H. a Novák, V. Fuzzy Predicate Logic Deductive System: Systém pro logickou dedukci ve fuzzy logice. 2009.
Podnázev :
Systém pro logickou dedukci ve fuzzy logice
Rok * : 2009
Obor * : Informatika
Interní identifikace * : FPLGERDS
Číselná identifikace * :
Technické parametry * : Hashim Habiballa, 30. dubna 22, Ostravska Univerzita, 70103, hashim.habiballa@osu.cz, tel. 597 09 2174
Ekonomické parametry * :
Název vlastníka * : Ostravska Univerzita v Ostrave
IČ vlastníka * : 61988987
Stát vlastníka * : Česká republika
Možnost využití jiným subjektem * : Využití výsledku jiným subjektem je v některých případech možné bez nabytí licence
Požadavek na licenční poplatek * : Poskytovatel licence na výsledek nepožaduje licenční poplatek
Klíčová slova anglicky * :
automated theorem proving, fuzzy logic
Popis v původním jazyce * :
Application provides interface and algorithms for deduction reasoning in fuzzy predicate logic. It is based on non-clausal resolution.
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/09:A1000WMG

© 2019 Centre for Information Technology

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