|
Second International Symposium on Foundations of Information and
Knowledge Systems (FoIKS 2002)
Schloß Salzau (near Kiel), Germany, February 19 -- 23, 2002 supported by the European Association for Theoretical Computer Science (EATCS) |
|
| Date | Time | Authors | Title | Responder |
|---|---|---|---|---|
| Wednesday, 20.2. |
8.30 - 9.45 | Li, Zhu, Wang, Jajodia | A Privacy Enhanced Microaggregation Method | Maimon / Rokach |
| 10.00 - 11.15 | Bertossi, Schwind | Analytic Tableaux and Database Repairs: Foundations | Biskup / Bonatti | |
| 11.30 - 12.45 | Hegner | Uniqueness of Update Strategies for Database Views | Ch. Koch | |
| Lunch Break | ||||
| 14.30 - 15.45 | Tichler | Extremal theorems on database matrices | K. Engel / S. Hartmann | |
| 16.15 - 17.30 | deAmo, Carnielli, Marcos | A logical framework for integrating inconsistent information in multiple databases | O. Arieli / M. Denecker | |
| Thursday, 21.2. |
||||
| 8.30 - 9.45 | Koch | Query Rewriting with Symmetric Constraints | S. de Amo / W.A. Carnielli / J. Marcos | |
| 10.00 - 11.15 | Turull Torres | Relational Databases and Homogeneity in Logics with Counting | S. Link | |
| 11.30 - 12.45 | Huynh, Nakamori, Ho, Resconi | A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic | Bertossi / Schwind | |
| Lunch Break | ||||
| Afternoon: excursion, walk, leisure activities | ||||
| Friday, 22.2. |
8.30 - 9.45 | Demetrovics, Katona, Miklos | Functional dependencies in presence of errors | J. M. Turull Torres |
| 10.00 - 11.15 | Arieli, Denecker | Modeling paraconsistent reasoning by classical logic | G. Kern-Isberner | |
| 11.30 - 12.45 | Maimon, Rokach | Improving Supervised Learning by Feature Decomposition | R.N. Banerjee / A. Bujosa | |
| Lunch Break | ||||
| 14.30 - 15.45 | Engel, Hartmann | Minimal sample databases for global cardinality constraints | K. Tichler | |
| 16.15 - 17.30 | Link | Towards a Tailored Theory of Consistency Enforcement in Databases | S.J. Hegner | |
| Saturday, 23.2. |
||||
| 8.30 - 9.45 | Kern-Isberner | The principle of conditional preservation in belief revision | V.-N. Huynh / Y. Nakamori / T.-B. Ho / G. Resconi | |
| 10.00 - 11.15 | Biskup, Bonatti | Controlled Query Evaluation for Known Policies by Combining Lying and Refusal | Y. Li / S. Zhu / L. Wang / S. Jajodia | |
| 11.30 - 12.15 | Banerjee, Bujosa | Implementing Syntactic Unification in Free Modules over certain Rings | J. Demetrovics / G.O.H. Katona / D. Miklos | |