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

Subtitle
Publication year:	2011
Obor:	Informatika
Number of pages:	14
Page from:	557
Page to:	570
Form of publication:
ISBN code:	978-80-89313-51-8
ISSN code:
Proceedings title:	APLIMAT
Proceedings:	Mezinárodní
Publisher name:	SjF STU
Place of publishing:	Bratislava
Country of Publication:	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ů:	Evropská akce
WoS code:
EID:

Key words in English:	theorem proving
Annotation in original language:	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).
Annotation in english language:

References

Reference

R01:	RIV/61988987:17310/11:A11010TP

Complementary Content

${loading}