1. Aurélien Lamercerie. Principe de transduction sémantique pour l'application de théories d'interfaces sur des documents de spécification. PhD thesis, Université de Rennes 1, April 2021. Note: Thèse de doctorat dirigée par Caillaud, Benoit et Foret, Annie. [WWW] [Abstract] [bibtex-entry]

1. Sébastien Ferré, Mehdi Kaytoue, Marianne Huchard, Sergei O. Kuznetsov, and Amedeo Napoli. A guided tour of artificial intelligence research, volume II, chapter Formal Concept Analysis: from knowledge discovery to knowledge processing (Chapter 13), pages 411-445. Springer, 2020. [WWW] Keyword(s): formal concept analysis, relational concept analysis, Graph-FCA. [Abstract] [bibtex-entry]



2. Mireille Ducassé and Peggy Cellier. Fair and Fast Convergence on Islands of Agreement in Multicriteria Group Decision Making by Logical Navigation. Group Decision and Negotiation, 23(4):673-694, July 2014. [WWW] [doi:10.1007/s10726-013-9372-4] Keyword(s): Multicriteria Decision, Multicriteria Sorting, Consensus Reaching, Group Decision Support System, ThinkLets, Logical Information Systems, Formal Concept Analysis. [Abstract] [bibtex-entry]

1. Shridhar B. Dandin and Mireille Ducassé. ComVisMD -- Compact 2D Visualization of Multidimensional Data: Experimenting with Two Different Datasets. In Harish et al. Sharma, editor, Intelligent Learning for Computer Vision, volume 61 of Lecture Notes on Data Engineering and Communications Technologies, pages 473-485, 2021. Springer Singapore. [WWW] Keyword(s): Tabular data, Visual representation design, Data analysis, Reasoning, Problem solving, Decision making, Data clustering, Aggregation. [Abstract] [bibtex-entry]



2. Guillaume Aucher, Annie Foret, JeanBaptiste Lenhof, Olivier Ridoux, Francois Schwarzentruber, and al.. Principles for a judgement editor based on Multi-BDDs. In MIning and REasoning with Legal texts at ICAIL, London, 2017. [WWW] [Abstract] [bibtex-entry]



3. Sébastien Ferré. Bridging the Gap Between Formal Languages and Natural Languages with Zippers. In Harald Sack, Eva Blomqvist, Mathieu d'Aquin, Chiara Ghidini, Simone Paolo Ponzetto, and Christoph Lange, editors, The Semantic Web (ESWC). Latest Advances and New Domains, LNCS 9678, pages 269-284, 2016. Springer. [WWW] [doi:10.1007/978-3-319-34129-3_17] Keyword(s): semantic web, formal lamguage, natural language, zipper, Montague grammar. [Abstract] [bibtex-entry]



4. Pierre Allard and Sébastien Ferré. Dynamic Taxonomies for the Semantic Web. In A. M. Tjoa and R. R. Wagner, editors, DEXA Int. Work. Dynamic Taxonomies and Faceted Search (FIND), pages 382-386, 2008. IEEE Computer Society. [PDF] Keyword(s): semantic web, ontologies, logical information system, dynamic taxonomies. [Abstract] [bibtex-entry]



5. Olivier Bedel, Sébastien Ferré, and Olivier Ridoux. Handling Spatial Relations in Logical Concept Analysis To Explore Geographical Data. In R. Medina and S. Obiedkov, editors, Int. Conf. Formal Concept Analysis, LNAI 4933, pages 241-257, 2008. Springer. [PDF] Keyword(s): spatial relations, concept analysis, logic, geographical data, data retrieval. [Abstract] [bibtex-entry]



6. T. Denmat, A. Gotlieb, and Mireille Ducassé. Proving or Disproving Likely Invariants with Constraint Reasoning. In A. Serebrenik, editor, Proceedings of the 15th Workshop on Logic-based Method for Programming Environments, Sitges, SPAIN, October 2005. Note: Satelite event of International Conference on Logic Programming (ICLP'2005). Published in Computer Research Repository cs.SE/0508108. [WWW] Keyword(s): Software Engineering, Testing and Debugging, Program verification, Constraint and logic languages. [Abstract] [bibtex-entry]



7. S. Mallet and M. Ducassé. Generating deductive database explanations. In D. De Schreye, editor, Proceedings of the International Conference on Logic Programming, November 1999. MIT Press. [WWW] Keyword(s): deductive databases, debugging, trace, operational semantics, multi-SLD-AL, meta-interpreter, substitution set, instrumentation. [Abstract] [bibtex-entry]

1. Sébastien Ferré. Navigating the Semantic Web with Logical Information Systems. internal publication 1934, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), August 2009. [WWW] Keyword(s): logical information systems, semantic web, navigation, querying. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html