1 option
Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings / edited by Sven Hartmann, Gabriele Kern-Isberner.
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, 4932.
- Information Systems and Applications, incl. Internet/Web, and HCI ; 4932
- Language:
- English
- Subjects (All):
- Computers.
- Database management.
- Data mining.
- User interfaces (Computer systems).
- Artificial intelligence.
- Computer logic.
- Theory of Computation.
- Database Management.
- Data Mining and Knowledge Discovery.
- User Interfaces and Human Computer Interaction.
- Artificial Intelligence.
- Logics and Meanings of Programs.
- Local Subjects:
- Theory of Computation.
- Database Management.
- Data Mining and Knowledge Discovery.
- User Interfaces and Human Computer Interaction.
- Artificial Intelligence.
- Logics and Meanings of Programs.
- Physical Description:
- 1 online resource (XII, 400 pages).
- Edition:
- First edition 2008.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
- System Details:
- text file PDF
- Contents:
- Invited Talks
- Coupling Design and Verification in Software Product Lines
- Random Geometric Identification
- Strategic Abilities of Agents
- Regular Papers
- Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
- An Alternative Foundation for DeLP: Defeating Relations and Truth Values
- Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes
- Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory
- Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning
- Information-Optimal Reflections of View Updates on Relational Database Schemata
- Merging First-Order Knowledge Using Dilation Operators
- On the Existence of Armstrong Instances with Bounded Domains
- Reasoning on Data Models in Schema Translation
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
- Using Transversals for Discovering XML Functional Dependencies
- Visibly Pushdown Transducers for Approximate Validation of Streaming XML
- A Probabilistic Logic with Polynomial Weight Formulas
- A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
- Database Preferences Queries - A Possibilistic Logic Approach with Symbolic Priorities
- Defeasible Reasoning and Partial Order Planning
- Lossless Decompositions in Complex-Valued Databases
- SIM-PDT: A Similarity Based Possibilistic Decision Tree Approach
- Towards a Logic for Abstract MetaFinite State Machines
- Towards a Fuzzy Logic for Automated Multi-issue Negotiation.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-77684-0
- 9783540776840
- 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.