Long papers:

  • A formalism unifying defeasible logics and repair semantics for existential rules
    Abdelraouf Hecham, Madalina Croitoru and Pierre Bisquert.
  • An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases
    Bruno Yun and Madalina Croitoru.
  • Interpretable Concept-Based Classification with Shapley Values
    Dmitry Ignatov and Leonard Kwuida.
  • Some Programming Optimizations for Computing Formal Concepts
    Simon Andrews.
  • Pattern discovery in Triadic Contexts
    Rokia Missaoui, Pedro Henrique B. Ruas, Léonard Kwuida and Mark A. J. Song.
  • Preventing Overlaps in Agglomerative Hierarchical Conceptual Clustering
    Quentin Brabant, Amira Mouakher and Aurélie Bertaux.
  • Pruning in Map-Reduce Style CbO Algorithms
    Petr Krajča and Jan Konecny.
  • Restricting the Maximum Number of Actions for Decision Support under Uncertainty
    Marcel Gehrke, Tanya Braun and Simon Polovina.
  • Using Grammar-based Genetic Programming for Mining Disjointness Axioms Involving Complex Class Expressions
    Thu Huong Nguyen and Andrea G.B. Tettamanzi.
  • Vocabulary-based Method for Quantifying Controversy in Social Media.
    Juan Manuel Ortiz de Zarate and Esteban Feuerstein.

Short papers:

  • Benchmarking Inference Algorithms for Probabilistic Relational Models
    Tristan Potten and Tanya Braun.
  • Characterizing Movie Genres using Formal Concept Analysis
    Raji Ghawi and Juergen Pfeffer.
  • Conceptual Reasoning for Generating Automated Psychotherapeutic Responses
    Graham Mann, Beena Kishore and Pyara Dhillon.
  • Knowledge-Based Matching of n-ary Tuples
    Pierre Monnin, Miguel Couceiro, Amedeo Napoli and Adrien Coulet.
  • Multi-Label Learning with a Cone-Based Geometric Model
    Mena Leemhuis, Özgür Lütfü Özcep and Diedrich Wolter.


  • Analyzing Psychological Similarity Spaces for Shapes
    Lucas Bechberger and Margit Scheibel.