Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hartmann, Sven (Επιμελητής έκδοσης), Kern-Isberner, Gabriele (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 4932
• Θέματα: Computer science.; Computers.; Computer logic.; Database management.; Data mining.; User interfaces (Computer systems).; Artificial intelligence.; Computer Science.; Theory of Computation.; Database Management.; Data Mining and Knowledge Discovery.; User Interfaces and Human Computer Interaction.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.

Πίνακας περιεχομένων:

• 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.