Seminář aplikované matematické logiky
Ústav informatiky Akademie věd České republiky, Pod Vodárenskou věží 2, 182 07 Praha 8
ÚI AV ČR ve spolupráci s Odbornou skupinou aplikované matematické logiky České společnosti pro kybernetiku a informatiku pořádá v seminární místnosti ÚI AV ČR - místnost č. 318(stanice metra C Ládví) Seminář aplikované matematické logiky který se schází ve středu v 9.00 hod.
2006
4. října
Fuzzy logika a přirozená čísla
Petr Hájek
11. října
Extending weakly additive measures.
Pavel Pták
18. října
Aditivní posibilistické míry
Ivan Kramosil
27. září
Kde jsme byli a co jsme provedli
3. května
Zobecnění klasických pravidel pro kombinování
domněnkových funkcí
na DSm hyper-potenční množiny
Milan Daniel
10. května
Ferda, nové vizuální prostředí pro práci s GUHA procedurami
Michal Kováč
17. května
Fuzzy logika a přirozená čísla
Petr Hájek
5. dubna
Potřeby strojového učení
pro počítačovou lingvistiku
Ondřej Bojar
12. dubna
Uniform interpolation and propositional quantifiers in modal logics
Marta Bílková
19. dubna
Ke kritice Gödelova ontologického důkazu
Petr Hájek
1. března
Dosvědčené modely fuzzy logiky
Petr Hájek
8. března
Standardní úplnost ve fuzzy logikách (část 2)
Petr Cintula
15. března
Fuzzy intervalová analýza
Rostislav Horčík
29. března
Dolní aproximace possibilistických měr a integrálů
(referát o práci: G. de Cooman, M.C.M. Troffaes, E. Miranda)
Ivan Kramosil
8. února
Silná spojitost posibilistických měr
Ivan Kramosil
15. února
Některé výsledky o fuzzy logice obručí
Petr Hájek
22. února
Zobecněné minC kombinování domněnkových funkcí
Milan Daniel
4. ledna
Zobecněná skládání relací v teorii
fuzzy tříd (pokrač.)
Libor Běhounek, Martina Daňková
11. ledna
Automating the 4FT-Miner Set-Up:
Two Example Approaches from the Toolbox of AI
Sebastian Schutte
18. ledna
Standardní úplnost logiky BL dle Montagna
Petr Hájek
25. ledna
Standardní úplnost ve fuzzy logikách
Petr Cintula