default search action
4. FoIKS 2006: Budapest, Hungary
- Jürgen Dix, Stephen J. Hegner:
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
- Jan Van den Bussche:
The Semijoin Algebra. 1
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 - Ágnes Vathy-Fogarassy, Attila Kiss, János Abonyi:
Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm. 313-330
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.