Foundations of Information and Knowledge Systems [electronic resource] : 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings / edited by Jȭrgen Dix, Stephen J. Hegner.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 3861 | Lecture Notes in Computer Science ; 3861Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Descripción: X, 331 p. Also available online. online resourceTipo de contenido:- text
- computer
- online resource
- 9783540317845
- SpringerLink (Online service)
- Computer science
- Logic design
- Computational complexity
- Database management
- Information storage and retrieval systems
- Artificial intelligence
- Computer Science
- Database Management
- Logics and Meanings of Programs
- Discrete Mathematics in Computer Science
- Information Storage and Retrieval
- User Interfaces and Human Computer Interaction
- Artificial Intelligence (incl. Robotics)
- 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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.