4. FoIKS 2006:
Budapest,
Hungary
Jürgen Dix, Stephen J. Hegner (Eds.):
Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings.
Lecture Notes in Computer Science 3861 Springer 2006, ISBN 3-540-31782-1 
Invited Presentation
Regular Papers
- Javier Álvez, Paqui Lucio:
Equational Constraint Solving Via a Restricted Form of Universal Quantification.
2-21
- Alessandro Artale, Christine Parent, Stefano Spaccapietra:
Modeling the Evolution of Objects in Temporal Information Systems.
22-42
- Joachim Biskup, Piero A. Bonatti:
Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel.
43-62
- Jan Chomicki:
Iterative Modification and Incremental Evaluation of Preference Queries.
63-82
- János Demetrovics, Gyula O. H. Katona, Dezsö Miklós, Bernhard Thalheim:
On the Number of Independent Functional Dependencies.
83-91
- Flavio Antonio Ferrarotti, Jose Maria Turull Torres:
Arity and Alternation: A Proper Hierarchy in Higher Order Logics.
92-115
- Gianluigi Greco:
Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results.
116-136
- Sven Hartmann, Sebastian Link:
The Nested List Normal Form for Functional and Multivalued Dependencies.
137-158
- Sven Hartmann, Thu Trinh:
Axiomatising Functional Dependencies for XML with Frequencies.
159-178
- Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Guarded Open Answer Set Programming with Generalized Literals.
179-200
- Ian Horrocks, Andrei Voronkov:
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover.
201-218
- Ken Kaneiwa, Ken Satoh:
Consistency Checking Algorithms for Restricted UML Class Diagrams.
219-239
- Gyula O. H. Katona, Krisztián Tichler:
Some Contributions to the Minimum Representation Problem of Key Systems.
240-257
- Sebastian Link:
On Multivalued Dependencies in Fixed and Undetermined Universes.
258-277
- Nicolas Spyratos, Carlo Meghini:
Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context.
278-293
- Yufei Tao, Marios Hadjieleftheriou:
Processing Ranked Queries with the Minimum Space.
294-312
- Agnes Vathy-Fogarassy, Attila Kiss, János Abonyi:
Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm.
313-330
Last update Thu Feb 16 06:34:53 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
