You are here: HomeFoIKS 2016Accepted Papers

Accepted Papers

Regular Presentations

  • Kim Bauters, Weiru Liu and Lluis Godo. Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs
  • Christoph Beierle, Christian Eichhorn and Gabriele Kern-Isberner. Sceptical Inference Based on C-representations and its Characterization as a Constraint Satisfaction Problem
  • Bernhard Bliem and Stefan Woltran. Equivalence between Answer-Set Programs under (Partially) Fixed Input
  • Luís Cruz-Filipe, Isabel Nunes and Peter Schneider-Kamp. Integrity Constraints for General-Purpose Knowledge Bases
  • Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier and Jonni Virtema. Approximation and Dependence via Multiteam Semantics
  • Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec and Qing Wang. A Logic for Non-Deterministic Parallel Abstract State Machines
  • Bart Goethals, Thomas Van Brussel and Emmanuel Muller. Discovering Overlapping Quantitative Associations by Density-Based Mining of Relevant Attributes
  • Martin Moguillansky. A Study of Argument Acceptability Dynamics through Core and Remainder Sets
  • Pooya Moradian Zadeh and Ziad Kobti. A Knowledge based Framework for Link Prediction in Social Networks
  • Hien Nguyen and Van-Nam Huynh. An Extension of k-means Algorithm for Clustering Categorical Datasets
  • Gábor Rácz, Attila Sali and Klaus-Dieter Schewe. Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches
  • Elena Ravve. Maintenance of Queries under Database Changes: a Unified Logic Based Approach

Short Presentations

  • Ioannis Kokkinis. The Complexity of Non-Iterated Probabilistic Justification Logic
  • Olivier Pivert and Henri Prade. Possibilistic Conditional Tables