1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 

Ú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