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ě:	Katedra informatiky a počítačů (31400)
Název:	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.

Podnázev
Rok vydání:	2011
Obor:	Informatika
Počet stran:	14
Strana od:	557
Strana do:	570
Forma vydání:
Kód ISBN:	978-80-89313-51-8
Kód ISSN:
Název sborníku:	APLIMAT
Sborník:	Mezinárodní
Název nakladatele:	SjF STU
Místo vydání:	Bratislava
Stát vydání:	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ů akce:	Evropská akce
Kód UT WoS:
EID:

Klíčová slova anglicky:	theorem proving
Popis v původním jazyce:	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).
Popis v anglickém jazyce:

Seznam ohlasů

Ohlas

R01:	RIV/61988987:17310/11:A11010TP

Complementary Content

${loading}