doc. RNDr. Dušan Guller, PhD.
docent
Katedra aplikovanej informatiky
Fakulta matematiky, fyziky a informatiky UK
Univerzita Komenského v Bratislave
Mlynská dolina F1
842 48 Bratislava
Slovakia
Vybrané publikácie
- Guller, D. (2025). On multi-step fuzzy inference in Gödel logic. In 2025 11th International Conference on Systems and Informatics (ICSAI) (pp. 1-13). IEEE.
- Guller, D. (2024). A DPLL procedure with dichotomous branching for propositional product logic. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 32 (08), 1185-1213.
- Guller, D. (2024). A proof calculus for automated deduction in propositional product logic. Mathematics, 12(23), 3805, 1-45.
- Guller D. (2019). Hyperresolution for Propositional Product Logic with Truth Constants. Computational Intelligence, vol. 792, Springer, pp. 197-220.
- Guller D. (2019). Hyperresolution for Goedel Logic with Truth Constants. Fuzzy Sets and Systems. 363: 1-65.
Rozvrh
| Deň | Čas | Miestnosť | Forma | Predmet | Vyučujúci | ||
|---|---|---|---|---|---|---|---|
| pi | 13:10 - 16:10 | I-H6 | Výber/Vol | 2-AIN-113 | Výpočtová fuzzy logika, modelovanie a systémy | D. Guller | |
| pi | 13:10 - 16:10 | I-H6 | Výber/Vol | 2-AIN-254 | Fuzzy inferencia a expertné systémy | D. Guller | |