cam a22 5 4500 317151266 CHVBK 20201018165205.0 m d cr |n |||||||| 140625s2014 gw |||| s 0 0|eng d 978-3-319-04939-7 978-3-319-04938-0 (print) 10.1007/978-3-319-04939-7 doi (SERSOL)ssj0001187186 (NEBIS)010157865 (IDSSG)000655450 (WaSeSS)ssj0001187186 WaSeSS QA8.9-QA10.3 UYA bicssc MAT018000 bisacsh COM051010 bisacsh 005.131 23 DEAGI08889410AA178B15C1257FCD004760C8 iCapture Beierle Christoph editor Foundations of Information and Knowledge Systems [Elektronische Daten] 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings edited by Christoph Beierle, Carlo Meghini Cham Springer International Publishing Imprint: Springer 2014 1 online resource (XVIII, 433 p. 95 illus.) online resource text file PDF rda Lecture Notes in Computer Science 0302-9743 8367 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. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. 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. EXPERTENSYSTEME + WISSENSBASIERTE SYSTEME (KÜNSTLICHE INTELLIGENZ) ger (ETHUDK)000013752 ethudk INFORMATION ENGINEERING + DATENBANKENTWURF (INFORMATIONSSYSTEME) ger (ETHUDK)000046195 ethudk INFORMATIONSSYSTEME (INFORMATIK) ger (ETHUDK)000013729 ethudk WISSENSDARSTELLUNG (KÜNSTLICHE INTELLIGENZ) ger (ETHUDK)000046026 ethudk Computer science Computer software Logic design Computational complexity Artificial intelligence Online-Ressource gnd-carrier Konferenzschrift Bordeaux 2014 gnd-content u INFORMATION ENGINEERING + DATENBANKENTWURF (INFORMATIONSSYSTEME) ger 004*07*01 nebis E1 u INFORMATIONSSYSTEME (INFORMATIK) ger 004*07 nebis E1 u WISSENSDARSTELLUNG (KÜNSTLICHE INTELLIGENZ) ger 004*08*02*05 nebis E1 u EXPERTENSYSTEME + WISSENSBASIERTE SYSTEME (KÜNSTLICHE INTELLIGENZ) ger 004*08*02*02 nebis E1 u INGÉNIERIE DE L'INFORMATION ET CONCEPTION DE BASES DE DONNÉES (SYSTÈMES D'INFORMATION) fre 004*07*01 nebis E1 u INFORMATION ENGINEERING + DATABASE DESIGN (INFORMATION SYSTEMS) eng 004*07*01 nebis E1 u INFORMATION SYSTEMS (COMPUTER SCIENCE) eng 004*07 nebis E1 u SYSTÈMES D'INFORMATION (INFORMATIQUE) fre 004*07 nebis E1 u KNOWLEDGE REPRESENTATION (ARTIFICIAL INTELLIGENCE) eng 004*08*02*05 nebis E1 u REPRÉSENTATION/DES CONNAISSANCES (INTELLIGENCE ARTIFICIELLE) fre 004*08*02*05 nebis E1 u SYSTÈMES EXPERTS + SYSTÈMES A BASE DE CONNAISSANCES (INTELLIGENCE ARTIFICIELLE) fre 004*08*02*02 nebis E1 u EXPERT SYSTEMS + KNOWLEDGE-BASED SYSTEMS (ARTIFICIAL INTELLIGENCE) eng 004*08*02*02 nebis E1 Meghini Carlo editor SpringerLink (Online service) Printed edition 9783319049380 https://link.springer.com/10.1007/978-3-319-04939-7 Uni Basel: Volltext https://link.springer.com/openurl?genre=book&isbn=978-3-319-04938-0 Uni Bern: Volltext BK020853 XK020053 XK020000 BK020053 XK020053 XK020000 Springer Computer Science eBooks 2014 English/International E-Books von 360MarcUpdates SpringerLINK Lecture Notes in Computer Science Contemporary (1997-2014) EText nebis ED Computer Science (Springer-11645) nebis ER E01-Springer201406 nebis ER ebphzh eb-Springer idsuzh U2 Update201606 idsuzh U2 E65-Springer201606 nebis ER noalma ids I 097 E01-20140818 098 E01-20140818 UPHZHEBO UPHZH-201606 Bordeaux Kongress = Congrès 2014 NEBIS UPHZH UPHZH ULONL IDSSG HSG HSG ONL HONL000655450 IDSBB A145 A145 145VT IDSBB B405 B405 405VT IDSBB 100 1- Beierle Christoph editor IDSBB 490 1- Lecture Notes in Computer Science 0302-9743 8367 IDSBB 700 1- Meghini Carlo editor IDSBB 710 2- SpringerLink (Online service) IDSBB 776 08 Printed edition 9783319049380 IDSBB 856 40 https://link.springer.com/10.1007/978-3-319-04939-7 Uni Basel: Volltext IDSBB 856 40 https://link.springer.com/openurl?genre=book&isbn=978-3-319-04938-0 Uni Bern: Volltext NEBIS 490 -- Lecture notes in computer science 8367 NEBIS 700 1- Beierle Christoph NEBIS 711 2- International Symposium on Foundations of Information and Knowledge Systems (DE-588)1092237712 NEBIS 856 -- http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9783319049380 Online via SFX Volltext IDSSG 490 0- Lecture Notes in Computer Science 8367 IDSSG 700 1- Beierle Christoph IDSSG 700 1- Meghini Carlo IDSSG 856 4- https://doi.org/10.1007/978-3-319-04939-7 Full text for the University of St. Gallen SWISSBIB 317151266