Publ3 search

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.

Publikační činnost

Probíhá načítání, čekejte prosím...

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

${loading}