|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910483871503321 |
|
|
Titolo |
Foundations of information and knowledge systems : 5th international symposium, FOIKS 2008, Pisa, Italy, February 11-15, 2008, proceedings / / Sven Hartmann, Gabriele Kern-Isberner (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg : , : Springer, , [2008] |
|
©2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 400 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; ; 4932 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer systems |
Information technology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
|
|
|
|