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

Typ záznamu:	stať ve sborníku (D)
Domácí pracoviště:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:	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.

Podnázev
Rok vydání:	2005
Obor:	Obecná matematika
Počet stran:	3
Strana od:	51
Strana do:	54
Forma vydání:
Kód ISBN:
Kód ISSN:
Název sborníku:	Proceedings of International conf. The Logic of Soft Computing IV
Sborník:
Název nakladatele:	Ostravská Univerzita
Místo vydání:	Ostrava
Stát vydání:	Sborník vydaný v ČR
Název konference:	The Logic of Soft Computing IV
Místo konání konference:	Ostrava
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:	non-clausal resolution, fuzzy logic
Popis v původním jazyce:	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.
Popis v anglickém jazyce:	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.

Seznam ohlasů

Ohlas

R01:

Complementary Content

${loading}