ERCIM workshop on soft computing
2004 - program |
||
| Monday 12. July | ||
| 14.00 - 18.15 | The challenge of semantics | |
| Tuesday 13. July | ||
| 9.00 - 13.20 | The challenge of semantics | |
| 14.45 - 15.35 | S. Gottwald (Leipzig, Germany)[invited]: | |
| Mathematical fuzzy control - a survey of some recent ideas |
||
| 15.35 - 16.25 | V.Kůrková (Prague, CZ)[invited] | |
| Learning from data as an optimization problem | ||
| coffee break | ||
| 16.50 - 17.15 | P. Cintula, L. Běhounek (Prague, CZ): | |
| Universal fuzzy type theory | ||
| 17.15 - 17.40 | L. Běhounek, P. Cintula (Prague, CZ): | |
| What is fuzzy logic | ||
| 17.40 - 18.05 | V. Vychodil (Olomouc, CZ): | |
| Cut and weakening in fuzzy implicational logic | ||
| 18.05 - 18.30 | R. Bělohlávek, T. Funioková, V. Vychodil (Olomouc, CZ): | |
| Fuzzy closure operators with truth stresser | ||
| from 20.00 | discussion (what is fuzzy logic) | |
| Wednesday 14. July | ||
| 9.00 - 13.00 | The challenge of semantics | |
| 14.45 - 15.35 | F. Montagna (Siena, Italy)[invited]: | |
| Amalgamation and interpolation in many valued logics | ||
| 15.35 - 16.25 | V. Novák (Ostrava, CZ)[invited]: | |
| Fuzzy IF-THEN rules in fuzzy intensional logic | ||
| coffee break | ||
| 16.50 - 17.15 | M. Daňková, M. Štěpnička (Ostrava, CZ): | |
| Normal forms as universal approximation formulas in Lpi-algebras of functions | ||
| 17.15 - 17.40 | P. Murinová (Ostrava, CZ): | |
| The theory of omission of types in many-valued logics | ||
| 17.40 - 18.05 | A. Banerjee (Newark, USA): | |
| Static and dynamic fuzzy game-theoretic approaches to the modified prisoner's dilemma | ||
| 18.05 18.30 | P. Amato, M. Farina, C. Manara (Salerno, Italy): | |
| Analysis of fuzzy-based extensions of pareto optimality theory | ||
| Thursday 15. July | ||
| 9.00 - 12.45 | The challenge of semantics | |
| 14.15 - 15.05 | N. Olivetti (Torino, Italy)[invited]: | |
| Lukasiewicz logic: from proof systems to logic programming | ||
| 15.05 - 15.30 | S. Krajči (Košice, Slovakia): | |
| A generalized concept lattice | ||
| coffee break | ||
| 16.00 - 16.25 | M. Dostál (Olomouc, CZ): | |
| On evolving of recursive programs using lambda-abstraction and higher-order function | ||
| 16.25 - 16.50 | M. Daňková, A. Dvořák (Ostrava, CZ): | |
| Genetic algorithms in logical approximation | ||
| 16.50 - 17.15 | R. Nedbal (Prague, CZ): | |
| Relational databases with ordered relations | ||
| 17.15 - 17.40 | M. Duží, B. Jespersen, J. Müller (Ostrava CZ and Leiden NL): | |
| Epistemic closure and explicit knowledge | ||
| open discussion | ||
| Friday 16. July | ||
| 9.00 - 17.00 | The challenge of semantics | |
| Saturday 17. July | ||
| 9.00 - 14.30 | The challenge of semantics | |