Limit search to available items
Book Cover
E-book
Author FoIKS (Symposium) (9th : 2016 : Linz, Austria)

Title Foundations of information and knowledge systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / Marc Gyssens, Guillermo Simari (eds.)
Published Switzerland : Springer, 2016

Copies

Description 1 online resource (xviii, 355 pages) : color illustrations
Series Lecture notes in computer science, 0302-9743 ; 9616
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI
Lecture notes in computer science ; 9616. 0302-9743
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Contents Intro; Preface; Conference Organization; Keynote Speakers; Contents; Reasoning about Beliefs, Uncertainty, Incompleteness, and Inconsistency; A Study of Argument Acceptability Dynamics Through Core and Remainder Sets; 1 Introduction; 2 Fundamentals for Abstract Frameworks; 3 Preliminaries for Studying Dynamics of Arguments; 4 Argumentation Dynamics Through Retractive Methods; 5 Fundamentals for Logic-Based Frameworks; 6 Argumentation Dynamics in Logic-Based Frameworks; 7 Conclusions; References; Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs; 1 Introduction; 2 Preliminaries
3 Adapting UCT to -MDP3.1 Possibilistic Sampling; 3.2 Backpropagation and Node Selection; 4 Hybrid MDPs; 5 Solving Hybrid MDPs; 6 Related Work and Future Work; 7 Conclusions; References; Possibilistic Conditional Tables; 1 Introduction; 2 Refresher on c-tables; 3 Refresher on Possibility Theory; 4 Possibilistic c-tables; 4.1 Regular c-tables Interpreted in Terms of Possibilistic Logic; 4.2 Gradual Possibilistic c-tables; 4.3 The Particular Case of the Certainty-Based Model; 4.4 Comparison with Probabilistic c-tables; 5 Conclusion; References; Inference and Problem Solving
Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem1 Introduction; 2 Conditionals, OCF, and Plausible Inference; 3 Correctness and Completeness of a CSP Modeling of C-Representations; 4 Skeptical Inference Based on C-Representations; 5 Characterizing C-Inference by a CSP; 6 Conclusions and Future Work; References; Systems and Implementations for Solving Reasoning Problems in Conditional Logics; 1 Introduction; 2 Propositional Conditional Logics; 2.1 Unquantified and Quantified Conditionals
2.2 Models of Propositional Conditional Knowledge Bases2.3 Systems for Reasoning with Propositional Conditional Knowledge Bases; 3 First-Order Conditional Logics; 4 Conclusions and Future Work; References; Equivalence Between Answer-Set Programs Under (Partially) Fixed Input; 1 Motivation; 2 Background; 3 Definition and Characterization; 4 Properties of Rule Equivalence; 5 Rule Equivalence in the Non-Ground Case; 5.1 Reducing Rule Equivalence to Strong Equivalence; 5.2 Decidability in the Non-Ground Case; 6 Conclusion; References; Querying and Pattern Mining
A k-Means-Like Algorithm for Clustering Categorical Data Using an Information Theoretic-Based Dissimilarity Measure1 Introduction; 2 Related Work; 3 k-Means Algorithm and Its Extensions for Categorical Data; 3.1 k-Means Algorithm; 3.2 Extensions of k-Means for Categorical Data; 4 The Proposed Algorithm; 4.1 Representation of Cluster Centers; 4.2 Dissimilarity Measure; 4.3 Algorithm; 5 Experiments Results; 5.1 Datasets; 5.2 Clustering Quality Evaluation; 5.3 Results; 6 Conclusions; References; Discovering Overlapping Quantitative Associations by Density-Based Mining of Relevant Attributes
Summary This book constitutes the proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz, Austria, in March 2016. The 14 revised full papers presented papers were carefully reviewed and selected from 23 submissions. The papers address various topics such as reasoning about beliefs, uncertainty, incompleteness, and inconsistency, inference and problem solving, querying and pattern mining, dealing with knowledge, logics and complexity
Notes International conference proceedings
Includes author index
Online resource; title from PDF title page (SpringerLink, viewed April 6, 2016)
Subject Computer systems -- Congresses
Information retrieval.
Data mining.
Databases.
Maths for computer scientists.
Artificial intelligence.
Mathematical theory of computation.
Computers -- Information Technology.
Computers -- Database Management -- Data Mining.
Computers -- Database Management -- General.
Computers -- Mathematical & Statistical Software.
Computers -- Intelligence (AI) & Semantics.
Mathematics -- Logic.
Computer systems
Genre/Form Conference papers and proceedings
Form Electronic book
Author Gyssens, M. (Marc), 1959- editor.
Simari, Guillermo R., editor.
ISBN 9783319300245
3319300245
Other Titles FoIKS 2016