doc. RNDr. Dušan Guller, PhD.
associate professor
Katedra aplikovanej informatiky
Faculty of Mathematics, Physics and Informatics
Comenius University Bratislava
Mlynská dolina F1
842 48 Bratislava
Slovakia
Selected publications
- 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.
Timetable
| Day | Time | Room | Form | Course | Lecturers | ||
|---|---|---|---|---|---|---|---|
| Fri | 13:10 - 16:10 | I-H6 | Elective | 2-AIN-113 | Výpočtová fuzzy logika, modelovanie a systémy | D. Guller | |
| Fri | 13:10 - 16:10 | I-H6 | Elective | 2-AIN-254 | Fuzzy inferencia a expertné systémy | D. Guller | |