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:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Citace	Habiballa, H. Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation). In: Proceedings of International conf. The Logic of Soft Computing IV. Ostrava: Ostravská Univerzita, 2005. Ostravská Univerzita, 2005. s. 51-54.

Subtitle
Publication year:	2005
Obor:	Obecná matematika
Number of pages:	3
Page from:	51
Page to:	54
Form of publication:
ISBN code:
ISSN code:
Proceedings title:	Proceedings of International conf. The Logic of Soft Computing IV
Proceedings:
Publisher name:	Ostravská Univerzita
Place of publishing:	Ostrava
Country of Publication:	Sborník vydaný v ČR
Název konference:	The Logic of Soft Computing IV
Conference venue:	Ostrava
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:
EID:

Key words in English:	non-clausal resolution, fuzzy logic
Annotation in original language:	The presentation deals with the refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.
Annotation in english language:	The presentation deals with the refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.

References

Reference

R01:

Complementary Content

${loading}