Sven Hartmann / Gabriele Kern-Isberner (eds.)
Foundations of Information and Knowledge Systems
5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
Herausgegeben:Hartmann, Sven; Kern-Isberner, Gabriele
Sven Hartmann / Gabriele Kern-Isberner (eds.)
Foundations of Information and Knowledge Systems
5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
Herausgegeben:Hartmann, Sven; Kern-Isberner, Gabriele
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
An ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers are presented together with nine revised short papers and three invited lectures. All of these were carefully selected during two rounds of reviewing and improvement from a total of 79 submissions.
Andere Kunden interessierten sich auch für
- Cristian S. Calude / Elena Calude / Michael J. Dinneen (eds.)Developments in Language Theory40,99 €
- Martin Grohe / Rolf Niedermeier (eds.)Parameterized and Exact Computation40,99 €
- Volker Diekert / Bruno Durand (eds.)STACS 200580,99 €
- Leonid LibkinElements of Finite Model Theory66,99 €
- GottlobComputational Logic and Proof Theory40,99 €
- Leonid LibkinElements of Finite Model Theory71,99 €
- EnjalbertSTACS 9440,99 €
-
-
-
An ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers are presented together with nine revised short papers and three invited lectures. All of these were carefully selected during two rounds of reviewing and improvement from a total of 79 submissions.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 4932
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 12216253, 978-3-540-77683-3
- 2008
- Seitenzahl: 416
- Erscheinungstermin: 29. Januar 2008
- Englisch
- Abmessung: 235mm x 155mm x 23mm
- Gewicht: 628g
- ISBN-13: 9783540776833
- ISBN-10: 3540776834
- Artikelnr.: 23416313
- Lecture Notes in Computer Science 4932
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 12216253, 978-3-540-77683-3
- 2008
- Seitenzahl: 416
- Erscheinungstermin: 29. Januar 2008
- Englisch
- Abmessung: 235mm x 155mm x 23mm
- Gewicht: 628g
- ISBN-13: 9783540776833
- ISBN-10: 3540776834
- Artikelnr.: 23416313
Dr. habil. Gabriele Kern-Isberner ist Privatdozentin am Fachbereich Informatik der FernUniversität Hagen.
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.
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.