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 |
|