Kalendář
Informatický seminář
14. 05. 2015, 11:30 - 12:30Martin Trnečka (UP Olomouc): An Algorithm for Boolean Factor Analysis of Multi-Relational Data based on Essential Elements. Seminář se koná v místnosti 5.008.
Informatický seminář
07. 05. 2015, 11:30 - 12:30Markéta Trnečková (UP Olomouc): Boolean Factor Analysis of Multi-Relational Data. Seminář se koná v místnosti 5.008.
Informatický seminář
30. 04. 2015, 11:30 - 12:30Pavel Procházka (UP Olomouc): Minimal Solutions of Fuzzy Relational Equations. Seminář se koná v místnosti 5.008.
Informatický seminář
23. 04. 2015, 11:30 - 12:30Eduard Bartl (UP Olomouc): Hardness of Solving Relational Equations. Seminář se koná v místnosti 5.008.
Informatický seminář
02. 04. 2015, 11:30 - 12:30Marco Cerami (UP Olomouc): Introduction to Description Logic: Reasoning with KBs and the blocking problem. Seminář se koná v místnosti 5.008.
Informatický seminář
26. 03. 2015, 11:30 - 12:30Marco Cerami (UP Olomouc): Introduction to Description Logic: Tableau-based algorithm. Seminář se koná v místnosti 5.008.
Informatický seminář
18. 12. 2014, 11:30 - 12:30Marco Cerami (UP Olomouc): Many-valued Horn Logic is hard. Seminář se koná v místnosti 5.006.
An Introduction to Description Logic
11. 12. 2014, 18:15 - 19:00Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 10: Reasoning with KBs and the blocking problem. Seminář se koná v místnosti 5.077.
An Introduction to Description Logic
11. 12. 2014, 17:30 - 18:15Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 9: Inherent intractability of reasoning with KBs. Seminář se koná v místnosti 5.077.
Informatický seminář
11. 12. 2014, 11:30 - 12:30Marco Cerami (UP Olomouc): Structural subsumption algorithms for Fuzzy Description Logic. Seminář se koná v místnosti 5.006.
An Introduction to Description Logic
04. 12. 2014, 18:15 - 19:00Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 8: Tableaux-based algorithm. Seminář se koná v místnosti 5.077.
An Introduction to Description Logic
04. 12. 2014, 17:30 - 18:15Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 7: Structural subsumption algorithm. Seminář se koná v místnosti 5.077.
Informatický seminář
04. 12. 2014, 11:30 - 12:30Petr Krajča (UP Olomouc): Modely pro implicitně paralelní programování. Seminář se koná v místnosti 5.006.
An Introduction to Description Logic
27. 11. 2014, 18:15 - 19:00Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 6: Relations to FCA. Seminář se koná v místnosti 5.077.
An Introduction to Description Logic
27. 11. 2014, 17:30 - 18:15Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 5: Relations to Modal Logic. Seminář se koná v místnosti 5.077.
Informatický seminář
27. 11. 2014, 11:30 - 12:30Miroslav Hruška (UP Olomouc): Identification of mutations in protein coding DNA sequences by mass-spectrometry of proteome. Seminář se koná v místnosti 5.006.
Informatický seminář
13. 11. 2014, 11:30 - 12:30Pushpinder Singh (UP Olomouc): Some distance measures for type-2 fuzzy sets in decision making problems. Seminář se koná v místnosti 5.006.
An Introduction to Description Logic
06. 11. 2014, 18:15 - 19:00Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 4: Relations to first order logic. Seminář se koná v místnosti 5.077.
An Introduction to Description Logic
06. 11. 2014, 17:30 - 18:15Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 3: Knowledge bases and reasoning tasks. Seminář se koná v místnosti 5.077.
Informatický seminář
06. 11. 2014, 11:30 - 12:30Pushpinder Singh (UP Olomouc): Dual hesitant fuzzy assignment problems with restrictions. Seminář se koná v místnosti 5.006.
An Introduction to Description Logic
30. 10. 2014, 18:15 - 19:00Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 2: Syntax and Semantics of concepts (hierarchies, EL). Seminář se koná v místnosti 5.077.
An Introduction to Description Logic
30. 10. 2014, 17:30 - 18:15Marco Cerami (Palacky University, Czech Republic): An Introduction to Description Logic 1: Introduction and Historical Remarks (applications, motivations). Seminář se koná v místnosti 5.077.
Informatický seminář
16. 10. 2014, 11:30 - 12:30Jan Konečný (UP Olomouc): Logická analýza dat & Formální konceptuální analýza. Seminář se koná v místnosti 5.006.
Akademický rok
Semestr
Kategorie