Foundations of Information and Knowledge Systems [electronic resource] : 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings /
Material type: TextSeries: Information Systems and Applications, incl. Internet/Web, and HCI ; 3861Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006Description: X, 331 p. online resourceContent type:- text
- computer
- online resource
- 9783540317845
- Database management
- Computer science
- Computer science -- Mathematics
- Discrete mathematics
- Information storage and retrieval systems
- User interfaces (Computer systems)
- Human-computer interaction
- Artificial intelligence
- Database Management
- Computer Science Logic and Foundations of Programming
- Discrete Mathematics in Computer Science
- Information Storage and Retrieval
- User Interfaces and Human Computer Interaction
- Artificial Intelligence
- 005.74 23
- QA76.9.D3
Invited Presentation -- The Semijoin Algebra -- Regular Papers -- Equational Constraint Solving Via a Restricted Form of Universal Quantification -- Modeling the Evolution of Objects in Temporal Information Systems -- Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel -- Iterative Modification and Incremental Evaluation of Preference Queries -- On the Number of Independent Functional Dependencies -- Arity and Alternation: A Proper Hierarchy in Higher Order Logics -- Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results -- The Nested List Normal Form for Functional and Multivalued Dependencies -- Axiomatising Functional Dependencies for XML with Frequencies -- Guarded Open Answer Set Programming with Generalized Literals -- Reasoning Support for Expressive Ontology Languages Using a Theorem Prover -- Consistency Checking Algorithms for Restricted UML Class Diagrams -- Some Contributions to the Minimum Representation Problem of Key Systems -- On Multivalued Dependencies in Fixed and Undetermined Universes -- Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context -- Processing Ranked Queries with the Minimum Space -- Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm.
There are no comments on this title.