Foundations of Information and Knowledge Systems [electronic resource] : Third International Symposium, FoIKS 2004 Wilheminenburg Castle, Austria, February 17-20, 2004 Proceedings / edited by Dietmar Seipel, José María Turull-Torres.
Material type: TextSeries: Lecture Notes in Computer Science ; 2942Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Description: X, 324 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540246275Subject(s): 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)Additional physical formats: Printed edition:: No titleDDC classification: 005.74 LOC classification: QA76.9.D3Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK3084 |
Invited Talks -- Hypergraph Transversals -- Abstract State Machines: An Overview of the Project -- Regular Papers -- Database Repair by Signed Formulae -- Simplification of Integrity Constraints for Data Integration -- On the Security of Individual Data -- Implementing Ordered Choice Logic Programming Using Answer Set Solvers -- Skyline Cardinality for Relational Processing -- Query Answering and Containment for Regular Path Queries under Distortions -- Weak Functional Dependencies in Higher-Order Datamodels -- Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists -- The Relative Complexity of Updates for a Class of Database Views -- Equivalence of OLAP Dimension Schemas -- A New Approach to Belief Modeling -- Computer-Oriented Calculi of Sequent Trees -- On Updates of Logic Programs: A Properties-Based Approach -- Minimal Keys in Higher-Order Datamodels -- Similarity Relational Calculus and Its Reduction to a Similarity Algebra -- Challenges in Fixpoint Computation with Multisets -- Towards a Generalized Interaction Scheme for Information Access -- Plan Databases: Model and Algebra.
There are no comments on this title.