Foundations of Information and Knowledge Systems  6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /  [electronic resource] : 
edited by Sebastian Link, Henri Prade. 
 - 1st ed. 2010. 
 - XII, 363 p. 58 illus.  online resource. 
 - Information Systems and Applications, incl. Internet/Web, and HCI,  5956  2946-1642 ; .
 - Information Systems and Applications, incl. Internet/Web, and HCI,  5956 .
<br/><br/>Invited 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. 
<br/><br/><label>ISBN: </label>9783642118296 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-11829-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Machine theory.<br/>Computer science--Mathematics.<br/>Discrete mathematics.<br/>Algorithms.<br/>Theory of Computation.<br/>Formal Languages and Automata Theory.<br/>Discrete Mathematics in Computer Science.<br/>Computer Science Logic and Foundations of Programming.<br/>Mathematics of Computing.<br/>Algorithms.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151