3. FoIKS 2004: Wilhelminenburg Castle, Austria

@proceedings{DBLP:conf/foiks/2004,
  editor    = {Dietmar Seipel and
               Jose Maria Turull Torres},
  title     = {Foundations of Information and Knowledge Systems, Third International
               Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February
               17-20, 2004, Proceedings},
  booktitle = {FoIKS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2942},
  year      = {2004},
  isbn      = {3-540-20965-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Georg Gottlob:
  Hypergraph Transversals. 1-5
  Electronic Edition (link) BibTeX
• Yuri Gurevich:
  Abstract State Machines: An Overview of the Project. 6-13
  Electronic Edition (link) BibTeX

Regular Papers

• Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe:
  Database Repair by Signed Formulae. 14-30
  Electronic Edition (link) BibTeX
• Henning Christiansen, Davide Martinenghi:
  Simplification of Integrity Constraints for Data Integration. 31-48
  Electronic Edition (link) BibTeX
• János Demetrovics, Gyula O. H. Katona, Dezsö Miklós:
  On the Security of Individual Data. 49-58
  Electronic Edition (link) BibTeX
• Marina De Vos:
  Implementing Ordered Choice Logic Programming using Answer Set Solvers. 59-77
  Electronic Edition (link) BibTeX
• Parke Godfrey:
  Skyline Cardinality for Relational Processing. 78-97
  Electronic Edition (link) BibTeX
• Gösta Grahne, Alex Thomo:
  Query Answering and Containment for Regular Path Queries under Distortions. 98-115
  Electronic Edition (link) BibTeX
• Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
  Weak Functional Dependencies in Higher-Order Datamodels. 116-133
  Electronic Edition (link) BibTeX
• Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
  Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. 134-154
  Electronic Edition (link) BibTeX
• Stephen J. Hegner:
  The Relative Complexity of Updates for a Class of Database Views. 155-175
  Electronic Edition (link) BibTeX
• Carlos A. Hurtado, Claudio Gutiérrez:
  Equivalence of OLAP Dimension Schemas. 176-195
  Electronic Edition (link) BibTeX
• Van-Nam Huynh, Yoshiteru Nakamori, Tetsuya Murai, Tu Bao Ho:
  A New Approach to Belief Modeling. 196-230
  Electronic Edition (link) BibTeX
• Mauricio Osorio, Fernando Zacarias:
  On Updates of Logic Programs: A Properties-Based Approach. 231-241
  Electronic Edition (link) BibTeX
• Attila Sali:
  Minimal Keys in Higher-Order Datamodels. 242-251
  Electronic Edition (link) BibTeX
• Ingo Schmitt, Nadine Schulz:
  Similarity Relational Calculus and its Reduction to a Similarity Algebra. 252-272
  Electronic Edition (link) BibTeX
• Nematollaah Shiri, Zhi Hong Zheng:
  Challenges in Fixpoint Computation with Multisets. 273-290
  Electronic Edition (link) BibTeX
• Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos:
  Towards a Generalized Interaction Scheme for Information Access. 291-301
  Electronic Edition (link) BibTeX
• Fusun Yaman, Sibel Adali, Dana S. Nau, Maria Luisa Sapino, V. S. Subrahmanian:
  Plan Databases: Model and Algebra. 302-320
  Electronic Edition (link) BibTeX