Výsledky vyhledávání
- 1.0404838 - UIVT-O 20020208 RIV CZ eng J - Článek v odborném periodiku
Vojtáš, Peter
Declarative and Procedural Semantics of Fuzzy Similarity Based Unification.
Kybernetika. Roč. 36, č. 6 (2000), s. 707-720. ISSN 0023-5954
Grant ostatní: VEGA(SK) 1/7557/20; VEGA(SK) 1/7555/20
Výzkumný záměr: AV0Z1030915
Klíčová slova: similarity based unification * soundness and completeness * fuzzy logic programming
Kód oboru RIV: BA - Obecná matematika
http://dml.cz/handle/10338.dmlcz/135382
Trvalý link: http://hdl.handle.net/11104/0125068Název souboru Staženo Velikost Komentář Verze Přístup Kybernetika_36-2000-6_7.pdf 0 796.7 KB Vydavatelský postprint povolen - 2.0103276 - UIVT-O 20040017 RIV NL eng J - Článek v odborném periodiku
Krajči, S. - Lencses, R. - Vojtáš, Peter
A Comparison of Fuzzy and Annotated Logic Programming.
[Srovnání fuzzy a anotovaných logických programů.]
Fuzzy Sets and Systems. Roč. 144, - (2004), s. 173-192. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GA201/00/1489
Grant ostatní: VEGA(SK) 1/7557/20; VEGA(SK) 1/7555/20; VEGA(SK) 1/0385/03
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy logic programming * generalized annotated programs * declarative and procedural semantics * continuous semantics and computable fixpoint * soundness and completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.734, rok: 2004
Trvalý link: http://hdl.handle.net/11104/0010588