000 03698nam a22005655i 4500
001 978-3-642-11829-6
003 DE-He213
005 20160624102140.0
007 cr nn 008mamaa
008 100715s2010 gw | s |||| 0|eng d
020 _a9783642118296
_9978-3-642-11829-6
024 7 _a10.1007/978-3-642-11829-6
_2doi
050 4 _aQA8.9-QA10.3
072 7 _aUYA
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aCOM051010
_2bisacsh
082 0 4 _a005.131
_223
245 1 0 _aFoundations of Information and Knowledge Systems
_h[electronic resource] :
_b6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /
_cedited by Sebastian Link, Henri Prade.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2010.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2010.
300 _aXII, 363 p. 58 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5956
505 0 _aInvited Talks -- Tools and Techniques in Qualitative Reasoning about Space -- A Simple but Formal Semantics for XML Manipulation Languages -- Algorithmic Definability and Completeness in Modal Logic -- Regular Articles -- A Probabilistic Temporal Logic That Can Model Reasoning about Evidence -- An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games -- Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting -- Enhancing Dung’s Preferred Semantics -- On the Distance of Databases -- On the Existence of Armstrong Data Trees for XML Functional Dependencies -- Polymorphism in Datalog and Inheritance in a Metamodel -- Possibilistic Semantics for Logic Programs with Ordered Disjunction -- Semantic Web Search Based on Ontological Conjunctive Queries -- Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework -- The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics -- Theoretical Foundations for Enabling a Web of Knowledge -- Towards Controlled Query Evaluation for Incomplete First-Order Databases -- Bagging Decision Trees on Data Sets with Classification Noise -- Evolving Schemas for Streaming XML -- ONTO-EVO A L an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation -- Towards a Paradoxical Description Logic for the Semantic Web -- Towards a Unified Model of Preference-Based Argumentation -- Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data.
650 0 _aComputer science.
650 0 _aComputer software.
650 0 _aLogic design.
650 0 _aComputational complexity.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematics of Computing.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aLink, Sebastian.
_eeditor.
700 1 _aPrade, Henri.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642118289
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5956
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-11829-6
942 _2EBK8947
_cEBK
999 _c38241
_d38241