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
- Title:
- 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)
- Main Title:
- Foundations of information and knowledge systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
- 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-InferenceIntro; 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 … (more)
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.355605
- Ingest File:
- 01_316.xml