Foundations of information and knowledge systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings /: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. (2016)

• Record Type: Book
• Other Titles: FoIKS 2016
• Further Information: Note: Marc Gyssens, Guillermo Simari (eds.).
• Editors: Gyssens, M (Marc), 1959-; Simari, Guillermo R
• Other Names: FoIKS (Symposium), 9th
• 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
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xviii, 355 pages), color illustrations
• Subjects: 005.131; Computer science; Computer systems -- Congresses; Computer systems; Computers -- Information Technology; Computers -- Database Management -- Data Mining; Computers -- Database Management -- General; Computers -- Mathematical & Statistical Software; Computers -- Intelligence (AI) & Semantics; Information retrieval; Data mining; Databases; Maths for computer scientists; Artificial intelligence; Data mining; Database management; Artificial intelligence; Mathematics -- Logic; Mathematical theory of computation; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319300245; 3319300245
• Related ISBNs: 9783319300238
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed April 6, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.