4. FoIKS 2006: Budapest, Hungary

Invited Presentation

• Jan Van den Bussche:
  The Semijoin Algebra. 1
  Electronic Edition (link) BibTeX

Regular Papers

• Javier Álvez, Paqui Lucio:
  Equational Constraint Solving Via a Restricted Form of Universal Quantification. 2-21
  Electronic Edition (link) BibTeX
• Alessandro Artale, Christine Parent, Stefano Spaccapietra:
  Modeling the Evolution of Objects in Temporal Information Systems. 22-42
  Electronic Edition (link) BibTeX
• Joachim Biskup, Piero A. Bonatti:
  Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. 43-62
  Electronic Edition (link) BibTeX
• Jan Chomicki:
  Iterative Modification and Incremental Evaluation of Preference Queries. 63-82
  Electronic Edition (link) BibTeX
• János Demetrovics, Gyula O. H. Katona, Dezsö Miklós, Bernhard Thalheim:
  On the Number of Independent Functional Dependencies. 83-91
  Electronic Edition (link) BibTeX
• Flavio Antonio Ferrarotti, Jose Maria Turull Torres:
  Arity and Alternation: A Proper Hierarchy in Higher Order Logics. 92-115
  Electronic Edition (link) BibTeX
• Gianluigi Greco:
  Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results. 116-136
  Electronic Edition (link) BibTeX
• Sven Hartmann, Sebastian Link:
  The Nested List Normal Form for Functional and Multivalued Dependencies. 137-158
  Electronic Edition (link) BibTeX
• Sven Hartmann, Thu Trinh:
  Axiomatising Functional Dependencies for XML with Frequencies. 159-178
  Electronic Edition (link) BibTeX
• Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
  Guarded Open Answer Set Programming with Generalized Literals. 179-200
  Electronic Edition (link) BibTeX
• Ian Horrocks, Andrei Voronkov:
  Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. 201-218
  Electronic Edition (link) BibTeX
• Ken Kaneiwa, Ken Satoh:
  Consistency Checking Algorithms for Restricted UML Class Diagrams. 219-239
  Electronic Edition (link) BibTeX
• Gyula O. H. Katona, Krisztián Tichler:
  Some Contributions to the Minimum Representation Problem of Key Systems. 240-257
  Electronic Edition (link) BibTeX
• Sebastian Link:
  On Multivalued Dependencies in Fixed and Undetermined Universes. 258-277
  Electronic Edition (link) BibTeX
• Nicolas Spyratos, Carlo Meghini:
  Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context. 278-293
  Electronic Edition (link) BibTeX
• Yufei Tao, Marios Hadjieleftheriou:
  Processing Ranked Queries with the Minimum Space. 294-312
  Electronic Edition (link) BibTeX
• Agnes Vathy-Fogarassy, Attila Kiss, János Abonyi:
  Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm. 313-330
  Electronic Edition (link) BibTeX