Limit search to available items
Record 13 of 30
Previous Record Next Record
Book Cover
Author FoIKS 2008 (2008 : Pisa, Italy)

Title Foundations of information and knowledge systems : 5th international symposium, FOIKS 2008, Pisa, Italy, February 11-15, 2008 : proceedings / Sven Hartmann, Gabriele Kern-Isberner (eds.)
Published Berlin ; New York : Springer, [2008]
Online access available from:
Springer eBooks    View Resource Record  


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
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer systems -- Congresses.
Information technology -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Hartmann, Sven, 1969-
Kern-Isberner, Gabriele, 1956-
LC no. 2007943324
ISBN 9783540776840
9783540776833 (softcover ; alk. paper)
3540776834 (softcover ; alk. paper)