Faculty of Business and Economics Katholieke Universiteit Leuven, Belgium Printed in Belgium by the Katholieke Universiteit Leuven with ISBN 978-9-08140995-7.
The proceedings are also published online on the CEUR-Workshop website in volume Vol-876 of a series with ISSN 1613-0073.
Copyright c 2012 for the individual papers by papers’ authors, for the Volume by the editors. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means without the prior permission of the copyright owners. This volume contains the papers presented at the 10th International Conference on Formal Concept Analysis (ICFCA 2012) held from May 7 th to May 10th, at the Katholieke Universiteit Leuven, Belgium.
There were 68 submissions by authors from 27 countries. Each submission was reviewed by at least three program committee members, and twenty regular papers (29%) were accepted for the Springer Proceedings. The program also included six invited talks on topical issues: Recent Advances in Machine Learning and Data Mining, Mining Terrorist Networks and Revealing Criminals, Concept-Based Process Mining, and Scalability Issues in FCA and Rough Sets. The corresponding abstracts are gathered in the rst section of the Springer volume. Another fourteen papers were assessed as valuable for discussion at the conference and were therefore collected in this volume.
Formal Concept Analysis emerged in the 1980’s from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research eld in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis, and knowledge management.
The conference aims to bring together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics, Computer and Information Sciences and their diverse applications to elds such as Software Engineering, Linguistics, Life and Social Sciences.
We would like to thank the authors and reviewers whose hard work ensured presentations of very high quality and scientic vigor. In addition, we express our deepest gratitude to all Program Committee and Editorial Board members as well as external reviewers, especially to Bernhard Ganter, Claudio Carpineto, Frithjof Dau, Sergei Kuznetsov, Sergei Obiedkov, Sebastian Rudolf and Stefan Schmidt for their advice and support.
We would like to acknowledge all sponsoring institutions and the local organization team who made this conference a success. In particular, we thank Amsterdam-Amstelland Police, IBM Belgium, OpenConnect Systems, Research Foundation Flanders, and Vlerick Management School.
We are also grateful to Katholieke Universiteit Leuven for publishing this volume and the developers of the EasyChair system which helped us during the reviewing process.
May, 2012
The International Conference on Formal Concept Analysis is the annual conference and principal research forum in the theory and practice of Formal Concept Analysis. The inaugural International Conference on Formal Concept Analysis was held at the Technische Universitt Darmstadt, Germany, in 2003. Subsequent ICFCA conferences were held at the University of New South Wales in Sydney, Australia, 2004, UniversitØ d’Artois, Lens, France, 2005, Institut fr Algebra, Technische Universitt Dresden, Germany, 2006, UniversitØ de ClermontFerrand, France, 2007, UniversitØ du QuØbec MontrØal, Canada, 2008, Darmstadt University of Applied Sciences, Germany, 2009, Agadir, Morocco, 2010, and University of Nicosia, Cyprus, 2011. ICFCA 2012 was held at the Katholieke Universiteit Leuven, Belgium. Its committees are listed below.
Conference Organization Committee
Stijn Viaene AimØ Heene Jasper Goyvaerts Nicole Meesters Elien Poelmans Gerda Verheyden
SØbastien FerrØ Bernhard Ganter Robert Godin Robert Jschke Katholieke Universiteit Leuven, Belgium Vlerick Management School, Belgium Ghent University, Belgium Katholieke Universiteit Leuven, Belgium Katholieke Universiteit Leuven, Belgium Maastricht University, Netherlands GZA Hospitals, Antwerpen, Belgium
Higher School of Economics, Russia University of Wollongong, Australia UniversitØ de Rennes 1, France Technische Universitt Dresden, Germany UniversitØ du QuØbec MontrØal, Canada Universitt Kassel, Germany
Leonard Kwuida Raoul Medina Rokia Missaoui Sergei Obiedkov Uta Priss Sebastian Rudolph Stefan Schmidt Bari‡ Sertkaya Gerd Stumme Petko Valtchev Rudolf Wille Karl Erich Wol Higher School of Economics, Russia Zurich University of Applied Sciences, Switzerland UniversitØ de Clermont-Ferrand 2, France UniversitØ du QuØbec en Outaouais, Canada Higher School of Economics, Russia Edinburgh Napier University, UK Karlsruhe Institute of Technology, Germany Technische Universitt Dresden, Germany SAP Research Center Dresden, Germany University of Kassel, Germany UniversitØ du QuØbec MontrØal, Canada
Technische Universitt Darmstadt, Germany University of Applied Sciences Darmstadt, Germany
Michael Bain Jaume Baixeries Peter Becker Radim Belohlavek Sadok Ben Yahia Karell Bertet Claudio Carpineto Nathalie Caspard Frithjof Dau Guido Dedene Stephan Doerfel Vincent Duquenne Alain GØly Joachim Hereth Marianne Huchard Tim Kaiser Mehdi Kaytoue Markus Krtzsch Marzena Kryszkiewicz Yuri Kudryavcev Lot Lakhal Wilfried Lex Engelbert Mephu Nguifo Amedeo Napoli Lhouari Nourine Jan Outrata Jean-Marc Petit
Alex Pogel SÆndor Radeleczki Olivier Raynaud Camille Roth Mohamed Rouane-Hacene Dominik lƒzak Laszlo Szathmary Andreja Tepav£evi¢ Stijn Viaene
New Mexico State University, USA University of Miskolc, Hungary LIMOS, UniversitØ de Clermont-Ferrand 2, France CNRS/EHESS, France
UniversitØ du QuØbec MontrØal, Canada University of Warsaw & Infobright, Poland University of Debrecen, Hungary University of Novi Sad, Serbia Katholieke Universiteit Leuven, Belgium
Philippe Fournier-Viger, Taiwan Nathalie Girard, France Tarek Hamrouni, France Alice Hermann, France
Viet Phan Luong, France Nikita Romashkin, Russia Amsterdam-Amstelland Police, The Netherlands IBM, Belgium OpenConnect Systems, United States Research Foundation Flanders, Belgium Vlerick Management School, Belgium Using FCA for Modelling Conceptual Diculties in Learning Processes Uta Priss, Peter Riegler and Nils Jensen : : 161 Author Index : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 174