Publ3 search

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.

Publikační činnost

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

Record type:	stať ve sborníku (D)
Home Department:	Katedra informatiky a počítačů (31400)
Title:	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.

Subtitle
Publication year:	2015
Obor:	Informatika
Number of pages:	4
Page from:	5500071
Page to:	5500074
Form of publication:	Tištená verze
ISBN code:	978-0-7354-1287-3
ISSN code:
Proceedings title:	PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014)
Proceedings:	Mezinárodní
Publisher name:	AIP Publishing LLC
Place of publishing:	NY, USA
Country of Publication:	Sborník vydaný v zahraničí
Název konference:	ICNAAM 2014
Conference venue:	Rhodos, Greece
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:
EID:

Key words in English:	Fuzzy inference, Fuzzy Description Logic
Annotation in original language:	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.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17310/15:A1501BT0

Complementary Content

${loading}