| Vol-1703 urn:nbn:de:0074-1703-3 Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# FCA4AI 2016
What can FCA do for Artificial Intelligence?

### Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"?
co-located with the European Conference on Artificial Intelligence ECAI 2016

### The Hague, the Netherlands, August 30, 2016.

Edited by

### Sergei O. Kuznetsov *
Amedeo Napoli **
Sebastian Rudolph ***

* NRU HSE, Faculty of Computer Science, Moscow, Russia
** LORIA, Research laboratory, Nancy, France
*** Technische Universität, Dresden, Germany

## Table of Contents

- Preface

- Constraint Programming for Constrained Clustering 7-8
  Christel Vrain

- Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance 9-16
  Francesco Kriegel
- Towards a Sequent Calculus for Formal Contexts 17-24
  Ondrej Kridlo, Manuel Ojeda-Aciego
- Morphisms Between Pattern Structures and Their Impact on Concept Lattices 25-34
  Lars Lumpe, Stefan E. Schmidt
- A Reachability-based Navigation Paradigm for Triadic Concepts 35-42
  Diana Troanca
- FCA Tools Bundle - A Tool that Enables Dyadic and Triadic Conceptual Navigation 42-50
  Levente Lorand Kis, Christian Sacarea, Diana Troanca
- Steps Towards Interactive Formal Concept Analysis with LatViz 51-62
  Mehwish Alam, Thi Nhu Nguyen Le, Amedeo Napoli
- Linked Data Querying through FCA-based Schema Indexing 63-68
  Dominik Brosius, Steffen Staab
- Contribution to the Classification of Web of Data Based on Formal Concept Analysis 69-78
  Justine Reynaud, Yannick Toussaint, Amedeo Napoli
- From a Possibility Theory View of Formal Concept Analysis to the Possibilistic Handling of Incomplete and Uncertain Contexts 79-88
  Zina Ait-Yakoub, Yassine Djouadi, Didier Dubois, Henri Prade
- How Fuzzy FCA and Pattern Structures are Connected? 89-96
  Aleksey Buzmakov, Amedeo Napoli
- A Tool for Classification of Sequential Data 97-104
  Giacomo Kahn, Yannick Loiseau, Olivier Raynaud
- Interval Pattern Concept Lattice as a Classifier Ensemble 105-112
  Yury Kashnitsky, Sergei O. Kuznetsov
- New Taxonomy of Classification Methods Based on Formal Concepts Analysis 113-120
  Marwa Trabelsi, Nida Meddouri, Mondher Maddouri
- Characterization of Order-like Dependencies with Formal Concept Analysis 121-128
  Victor Codocedo, Jaume Baixeries, Mehdi Kaytoue, Amedeo Napoli
- A Hybrid Approach for Mining Metabolomic Data 129-138
  Dhouha Grissa, Blandine Comte, Pujos-Guillot, Amedeo Napoli

- The complete proceedings: zip archive

2016-10-01: submitted by Amedeo Napoli, metadata incl. bibliographic data published under Creative Commons CC0
2016-10-07: published on CEUR-WS.org |valid HTML5|