1 option
Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Information systems and applications, incl. Internet/Web, and HCI ; SL 3, 5956.
- Information Systems and Applications, incl. Internet/Web, and HCI ; 5956
- Language:
- English
- Subjects (All):
- Computers.
- Logic, Symbolic and mathematical.
- Computer science--Mathematics.
- Computer science.
- Computer logic.
- Algorithms.
- Theory of Computation.
- Mathematical Logic and Formal Languages.
- Discrete Mathematics in Computer Science.
- Logics and Meanings of Programs.
- Mathematics of Computing.
- Algorithm Analysis and Problem Complexity.
- Local Subjects:
- Theory of Computation.
- Mathematical Logic and Formal Languages.
- Discrete Mathematics in Computer Science.
- Logics and Meanings of Programs.
- Mathematics of Computing.
- Algorithm Analysis and Problem Complexity.
- Physical Description:
- 1 online resource (XII, 363 pages) : 58 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-11829-6
- 9783642118296
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.