Foundations of information and knowledge systems : 8th international symposium, foiks 2014, bordeaux, france, march 3-7, 2014. Proceedings /
edited by Christoph Beierle, Carlo Meghini.
- xviii, 433 páginas : 95 ilustraciones
- Lecture Notes in Computer Science, 8367 0302-9743 ; .
Springer eBooks
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.