Foundations of Information and Knowledge Systems

5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings

416 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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 AutomatedMulti-issue Negotiation.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540776833
• Sprache: Englisch
• Erscheinungsdatum: 29.01.2008
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Gabriele Kern-Isberner, Sven Hartmann