TEST - Catálogo BURRF
   

Foundations of information and knowledge systems : 8th international symposium, foiks 2014, bordeaux, france, march 3-7, 2014. Proceedings / edited by Christoph Beierle, Carlo Meghini.

Colaborador(es): Tipo de material: TextoTextoSeries Lecture Notes in Computer Science ; 8367Editor: Cham : Springer International Publishing : Springer, 2014Descripción: xviii, 433 páginas : 95 ilustracionesTipo de contenido:
  • texto
Tipo de medio:
  • computadora
Tipo de portador:
  • recurso en línea
ISBN:
  • 9783319049397
Formatos físicos adicionales: Edición impresa:: Sin títuloClasificación LoC:
  • QA8.9-QA10.3
Recursos en línea:
Contenidos:
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.
Valoración
    Valoración media: 0.0 (0 votos)
No hay ítems correspondientes a este registro

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.

Para consulta fuera de la UANL se requiere clave de acceso remoto.

Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha