Conferences in DBLP

International Symposium on Foundations of Information and Knowledge Systems (FoIKS) (foiks)
2006 (conf/foiks/2006)

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