Schedule PDF

Start End Monday 28th
08:30 09:00 Registration
09:00 09:30 Opening & Welcome Address
09:30 10:30 Invited talk: Jonathan Ben-Naim Argumentation-based Paraconsistent Logics
10:30 11:00 cofee break
11:00 12:30 Conceptual Modeling and Logic
12:30 14:00 lunch
14:00 15:30 Conceptual Graphs
15:30 16:00 cofee break
16:00 17:30 Data Mining and Information Retrieval

Start End Tuesday 29th
09:30 10:30 Invited talk: Jan Ramon Towards a framework for learning from networked data
10:30 11:00 cofee break
11:00 12:30 Formal Concept Analysis
12:30 14:00 lunch
14:00 15:00 Industry 1
15:00 16:00 cofee break
16:00 17:00 Industry 2

Start End Wednesday 30th
09:30 10:30 Invited talk: Milos Stojanovik Games on graphs
10:30 11:00 cofee break
11:00 12:30 Linked Data
12:30 14:00 lunch
14:00 15:00 Machine Learning
15:00 15:30 cofee break
15:30 17:00 Interoperability Session
17:00 18:00 Round table

Accepted Research Papers:

  • Richard Dapoigny and Patrick Barlatier. Specifying Well-formed Part-Whole Relations in Coq
  • Manuel Atencia, Michel Chein, Madalina Croitoru, Jerome David, Michel Leclere, Nathalie Pernelle, Fatiha Sais, Francois Scharffe and Danai Symeonidou. Defining Key Semantics for the RDF Datasets: Experiments and evaluations
  • Simon Andrews. A partial-closure canonicity test to increase the efficiency of CbO-type algorithms.
  • Ben Brewster, Simon Polovina, Glynn Rankin and Simon Andrews. Knowledge Management and Human Trafficking: Using Conceptual Knowledge Representation, Text Analytics and Social Media to Combat Organized Crime
  • Gabriel Ciobanu, Ross Horne and Cristian Vaideanu. Extracting Threshold Conceptual Structures from Web Documents
  • Razvan Benchea and Dragos Gavrilut. Combining Restricted Boltzmann Machine and One Side Perceptron for malware detection
  • Lenka Pisková and Tomas Horvath. Computing Concept Lattices from Very Sparse Large-Scale Formal Contexts
  • Cristian Frasinaru and Florentin Olariu. Efficient representation of extensional constraints
  • Patrice Buche, Jerome Fortin and Alain Gutierrez. Default reasoning implementation in CoGui
  • Simone Faro, Arianna Pavone and Valeria Borzì. Automatic Extraction of Semantic Relations by Using Web Statistical Information
  • Abdallah Arioua, Nouredine Tamani and Madalina Croitoru. On Conceptual Graphs and Explanation of Query Answering Under Inconsistency
  • Camille Pradel, Ollivier Haemmerlé and Nathalie Hernandez. Swip: a natural language to SPARQL interface implemented with SPARQL
  • Gabriel Ciobanu and Danut Rusu. Formal Topology of Web Classification
  • Alexandre Miguel Pinto and Leandro Barroso. Principles of Regulated Activation Networks
  • Foued Barouni and Moulin Bernard. A framework for qualitative representation and reasoning about spatiotemporal patterns
  • Peter Ohrstrom, Ulrik Sandborg-Petersen, Steinar Thorvaldsen and Thomas Ploug. Teaching Syllogistics Using Conceptual Graphs

Accepted Industrial Track Papers:

  • Nouredine Tamani, Patricio Mosse, Madalina Croitoru and Patrice Buche. Eco-Ecient Packaging Material Selection for Fresh Produce: Industrial Session
  • Frithjof Dau and Simon Andrews. Combining Business Intelligence with Semantic Technologies: The CUBIST project
  • Ben Brewster, Simon Andrews, Simon Polovina, Laurence Hirsch and Babak Akhgar. ePOOLICE: Early Pursuit Against Organised Crime Using Environmental Scanning, The Law And Intelligence Systems
  • Simon Polovina, Mark von Rosing and Wim Laurier. Conceptual Structures in LEADing and Best Enterprise Practices
  • Dmitry Ignatov, Alexandra Kaminskaya and Jonas Poelmans. FCA-based Recommender Models and Data Analysis for Crowdsourcing Platform Witology
  • Christian Sacarea. Investigating oncological databases using conceptual landscapes

Historical paper (re-print):

  • M. Chein, M.-L. Mugnier. Conceptual Graphs are also Graphs