000 03989nam a22006015i 4500
001 978-3-642-11829-6
003 DE-He213
005 20240730201948.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 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_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.
250 _a1st ed. 2010.
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 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_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.
_99832
650 0 _aMachine theory.
_9169481
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aDiscrete mathematics.
_912873
650 0 _aAlgorithms.
_93390
650 1 4 _aTheory of Computation.
_9169482
650 2 4 _aFormal Languages and Automata Theory.
_9169483
650 2 4 _aDiscrete Mathematics in Computer Science.
_931837
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aMathematics of Computing.
_931875
650 2 4 _aAlgorithms.
_93390
700 1 _aLink, Sebastian.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9169484
700 1 _aPrade, Henri.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9169485
710 2 _aSpringerLink (Online service)
_9169486
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642118289
776 0 8 _iPrinted edition:
_z9783642118302
830 0 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v5956
_9169487
856 4 0 _uhttps://doi.org/10.1007/978-3-642-11829-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96801
_d96801