LEADER 00000nam a22005655i 4500 
001    978-3-319-04939-7 
003    DE-He213 
005    20151204144515.0 
007    cr nn 008mamaa 
008    140220s2014    gw |    s    |||| 0|eng d 
020    9783319049397|9978-3-319-04939-7 
024 7  10.1007/978-3-319-04939-7|2doi 
040    |dES-ZaU 
072  7 UYA|2bicssc 
072  7 MAT018000|2bisacsh 
072  7 COM051010|2bisacsh 
082 04 005.131|223 
245 00 Foundations of Information and Knowledge Systems
       |h[electronic resource] :|b8th International Symposium, 
       FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
       /|cedited by Christoph Beierle, Carlo Meghini. 
264  1 Cham :|bSpringer International Publishing :|bImprint: 
       Springer,|c2014. 
300    XVIII, 433 p. 95 illus.|bonline resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file|bPDF|2rda 
490 1  Lecture Notes in Computer Science,|x0302-9743 ;|v8367 
490 0  Springer eBooks.|aComputer Science 
505 0  Invited Talks -- The Equational Approach to Contrary-to-
       duty Obligations -- A Survey of the Data Complexity of 
       Consistent Query Answering under Key Constraints -- 
       Regular Articles -- Arguments Using Ontological and Causal
       Knowledge -- Reasoning on Secrecy Constraints under 
       Uncertainty to Classify Possible Actions -- An AIF-Based 
       Labeled Argumentation Framework -- On the Semantics of 
       Partially Ordered Bases -- The Structure of Oppositions in
       Rough Set Theory and Formal Concept Analysis - Toward a 
       New Bridge between the Two Settings -- Enriching 
       Taxonomies of Place Types Using Flickr -- Hintikka-Style 
       Semantic Games for Fuzzy Logics -- A Finite Axiomatization
       of Conditional Independence and Inclusion Dependencies -- 
       Guard Independence and Constraint-Preserving Snapshot 
       Isolation -- Implication and Axiomatization of Functional 
       Constraints on Patterns with an Application to the RDF 
       Data Model -- View-Based Tree-Language Rewritings for XML 
       -- EHC: Non-parametric Editing by Finding Homogeneous 
       Clusters -- A Logic for Specifying Stochastic Actions and 
       Observations -- Belief Revision in Structured 
       Probabilistic Argumentation -- A Multi-granular Database 
       Model -- Optimizing Computation of Repairs from Active 
       Integrity Constraints -- Belief Merging in Dynamic Logic 
       of Propositional Assignments -- Incremental Maintenance of
       Aggregate Views -- Towards an Approximative Ontology-
       Agnostic Approach for Logic Programs. 
520    This book constitutes the proceedings of the 8th 
       International Symposium on Foundations of Information and 
       Knowledge Systems, FoIKS 2014, held in Bordeaux, France, 
       in March 2014. The 14 revised full papers presented 
       together with 5 revised short papers and two invited talks
       were carefully reviewed and selected from 52 submissions. 
       The papers address various topics such as database design,
       dynamics of information, information fusion, integrity and
       constraint management, intelligent agents, knowledge 
       discovery and information retrieval, knowledge 
       representation, reasoning and planning, logics in 
       databases and AI, mathematical foundations, security in 
       information and knowledge Systems, semi-structured data 
       and XML, social computing, the semantic Web and knowledge 
       management, as well as the WWW. 
650  0 Computer science. 
650  0 Algorithms. 
650  0 Computer logic. 
650  0 Mathematical logic. 
650  0 Computer science|xMathematics. 
650  0 Artificial intelligence. 
650 14 Computer Science. 
650 24 Mathematical Logic and Formal Languages. 
650 24 Discrete Mathematics in Computer Science. 
650 24 Logics and Meanings of Programs. 
650 24 Mathematics of Computing. 
650 24 Algorithm Analysis and Problem Complexity. 
650 24 Artificial Intelligence (incl. Robotics). 
700 1  Beierle, Christoph.,|eeditor. 
700 1  Meghini, Carlo.,|eeditor. 
710 2  SpringerLink (Online service) 
773 0  |tSpringer eBooks 
776 08 |iPrinted edition:|z9783319049380 
830  0 Lecture Notes in Computer Science,|x0302-9743 ;|v8367 
856 40 |uhttps://cuarzo.unizar.es:9443/login?url=https://
       dx.doi.org/10.1007/978-3-319-04939-7|zAcceso al texto 
       completo