Description |
1 online resource (xii, 396 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 4932 |
|
LNCS sublibrary. SL 3, Information systems and applications, incl. internet/web, and HCI |
|
Lecture notes in computer science ; 4932. 0302-9743
|
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
|
Contents |
Front Matter; Coupling Design and Verification in Software Product Lines; Random Geometric Identification; 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 |
Summary |
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 presented together with 9 revised short papers and 3 invited lectures were carefully selected during two rounds of reviewing and improvement from from 79 submissions. The papers deal with any foundational aspect of information and knowledge systems, including submissions from researchers working in fields such as discrete mathematics, logic and algebra, model theory, information theory |
Analysis |
wiskunde |
|
mathematics |
|
computers |
|
computerwetenschappen |
|
computer sciences |
|
kunstmatige intelligentie |
|
artificial intelligence |
|
datamining |
|
data mining |
|
databasebeheer |
|
database management |
|
man-machine interaction |
|
gebruikersinterfaces |
|
user interfaces |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Computer systems -- Congresses
|
|
Information technology -- Congresses
|
|
Informatique.
|
|
Computer systems
|
|
Information technology
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Hartmann, Sven, 1969-
|
|
Kern-Isberner, Gabriele, 1956-
|
ISBN |
9783540776840 |
|
3540776842 |
|
9783540776833 |
|
3540776834 |
|