default search action
9. FoIKS 2016: Linz, Austria
- Marc Gyssens, Guillermo Ricardo Simari:
Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Lecture Notes in Computer Science 9616, Springer 2016, ISBN 978-3-319-30023-8
Reasoning about Beliefs, Uncertainty, Incompleteness, and Inconsistency
- Martín O. Moguillansky:
A Study of Argument Acceptability Dynamics Through Core and Remainder Sets. 3-23 - Kim Bauters, Weiru Liu, Lluís Godo:
Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs. 24-41 - Olivier Pivert, Henri Prade:
Possibilistic Conditional Tables. 42-61
Inference and Problem Solving
- Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. 65-82 - Christoph Beierle:
Systems and Implementations for Solving Reasoning Problems in Conditional Logics. 83-94 - Bernhard Bliem, Stefan Woltran:
Equivalence Between Answer-Set Programs Under (Partially) Fixed Input. 95-111
Querying and Pattern Mining
- Thu-Hien Thi Nguyen, Van-Nam Huynh:
A k-Means-Like Algorithm for Clustering Categorical Data Using an Information Theoretic-Based Dissimilarity Measure. 115-130 - Thomas Van Brussel, Emmanuel Müller, Bart Goethals:
Discovering Overlapping Quantitative Associations by Density-Based Mining of Relevant Attributes. 131-148 - Gábor Rácz, Attila Sali, Klaus-Dieter Schewe:
Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches. 149-168 - Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek:
The Challenge of Optional Matching in SPARQL. 169-190 - Elena V. Ravve:
Maintenance of Queries Under Database Changes: A Unified Logic Based Approach. 191-208
Dealing with Knowledge
- Joachim Biskup:
Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution. 211-234 - Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp:
Integrity Constraints for General-Purpose Knowledge Bases. 235-254 - Pooya Moradian Zadeh, Ziad Kobti:
A Knowledge Based Framework for Link Prediction in Social Networks. 255-268
Logics and Complexity
- Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema:
Approximation and Dependence via Multiteam Semantics. 271-291 - Ioannis Kokkinis:
The Complexity of Non-Iterated Probabilistic Justification Logic. 292-310 - José Maria Turull Torres:
Relational Complexity and Higher Order Logics. 311-333 - Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A Logic for Non-deterministic Parallel Abstract State Machines. 334-354
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.