BACK TO INDEX

Publications about 'logique'
Books and proceedings
  1. M. Ducassé, editor. Actes des Journées Francophones de Programmation en Logique avec Contraintes, June 2003. Revue des Sciences et Technologies de l'Information, Hors série/JFPLC 2003, HERMES Science Publications. [bibtex-entry]


Thesis
  1. Mouhamadou Ba. Composition guidée de services : application aux workflows d'analyse de données en bio-informatique. PhD thesis, Thèse de l'INSA Rennes - École doctorale MATISSE, 4 décembre 2015. Note: Supervisée par M. Ducassé et S. Ferré. [Abstract] [bibtex-entry]


  2. Olivier Bedel. GEOLIS : Un Système d'information logique pour l'organisation et la recherche de données géolocalisées. PhD thesis, Thèse de l'université de Rennes 1, 22 janvier 2009. Note: Coencadrée par O. Ridoux et S. Ferré. [bibtex-entry]


  3. Peggy Cellier. DeLLIS : Débogage de programmes par Localisation de fautes avec un Système d'Information Logique. PhD thesis, Thèse de l'université de Rennes 1, 05 décembre 2008. Note: Coencadrée par M. Ducassé, S. Ferré et O. Ridoux. [bibtex-entry]


  4. Yoann Padioleau. Logic File System, un système de fichier basé sur la logique. Thèse d'université, Université de Rennes 1, February 2005. Note: Supervised by O. Ridoux. Keyword(s): file system, logical information system, navigation, file. [bibtex-entry]


  5. Sébastien Ferré. Systèmes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre. Thèse d'université, Université de Rennes 1, October 2002. Note: Accessible en ligne à l'adresse http://www.irisa.fr/bibli/publi/theses/theses02.html.[WWW] Keyword(s): système d'information, treillis (théorie des), analyse de concepts, logique, recherche de l'information, navigateurs (logiciels), apprentissage automatique. [Abstract] [bibtex-entry]


Articles in journal or book chapters
  1. C. Belleannée, P. Brisset, and O. Ridoux. Une reconstruction pragmatique de $\lambda$Prolog. Technique et science informatiques, 14:1131-1164, 1995. [WWW] Keyword(s): Programmation logique, LambdaProlog, lambda-calcul, quantifications, types. logic programming, LambdaProlog, lambda-calculus, quantifications, types.. [Abstract] [bibtex-entry]


Conference articles
  1. Annie Foret. Traitement automatique des langues, données légales, systèmes d'information et logique. In Atelier CDN, Convergences du droit et du numérique, Bordeaux, 2017. [WWW] [Abstract] [bibtex-entry]


  2. Peggy Cellier, Sébastien Ferré, Annie Foret, and Olivier Ridoux. Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique. In Cyril de Runz and Bruno Crémilleux, editors, Journées Francophones Extraction et Gestion des Connaissances, EGC, RNTI E-30, pages 443-448, 2016. Hermann-Éditions. [WWW] [bibtex-entry]


  3. Sébastien Ferré. Conception interactive d'ontologies par élimination de mondes possibles. In Ingénierie des connaissances (IC), 2015. AFIA. [WWW] Keyword(s): Semantic Web, ontology, OWL, design, syntax/semantic gap, interaction. [Abstract] [bibtex-entry]


  4. Annie Foret. TermLis : un contexte d'information logique pour des ressources terminologiques. In Conférence sur le Traitement Automatique des Langues Naturelles, pages 642-643, 2015. Association pour le Traitement Automatique des Langues. Note: Keywords:Multilingual applications, Classification, Information extraction, Textual data mining, Information retrieval, Linguistic resources, Open Data, Information Quality, Legal Information. [WWW] [Abstract] [bibtex-entry]


  5. Sébastien Ferré. Extension du langage de requêtes LISQL pour la représentation et l'exploration d'expressions mathématiques en RDF. In S. Szulman and J. Charlet, editors, Journées francophones d'ingénierie des connaissances, pages 285-300, 2012. INSERM UMPC. [WWW] Keyword(s): LISQL, query language, mathematics, RDF, semantic web, knowledge representation. [Abstract] [bibtex-entry]


  6. Alice Hermann, Sébastien Ferré, and Mireille Ducassé. Création et mise à jour guidées d'objets dans une base RDF(S). In Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2011. Presses de l'Université des Antilles et de la Guyane. [Abstract] [bibtex-entry]


  7. Mireille Ducassé and Sébastien Ferré. Aide à la décision multicritère : cohérence et équité grâce à l'analyse de concepts. In Modèles et Apprentissage en Sciences Humaines et Sociales, Juin 2009. Keyword(s): Décision multicritère, aide à la décision, choix social, analyse formelle de concepts, systèmes d'information logiques, étude de cas. [Abstract] [bibtex-entry]


  8. Pierre Deransart, Mireille Ducassé, and Gérard Ferrand. Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques. In F. Fages, editor, Actes de Troisièmes Journées Francophones de Programmation par Contraintes, 2007. HAL : http://hal.inria.fr/JFPC07. [bibtex-entry]


  9. S. Le Huitouze, P. Louvet, and O. Ridoux. Les grammaires logiques et $\lambda$Prolog. In Journées Francophones sur la Programmation en Logique, Nîmes, France, pages 93-108, 1993. Teknea. [WWW] Keyword(s): LambdaProlog, grammaires logiques, portée, représentation du contexte.. [Abstract] [bibtex-entry]


Internal reports
  1. Sébastien Ferré and Olivier Ridoux. Une généralisation logique de l'analyse de concepts logique. Technical Report RR-3820, Inria, Institut National de Recherche en Informatique et en Automatique, December 1999. [WWW] Keyword(s): concept analysis, concept lattice, logic, context, information systems, querying, browsing. [Abstract] [Annotation] [bibtex-entry]



BACK TO INDEX




Disclaimer:

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.




Last modified: Thu Apr 8 17:20:28 2021
Author: ferre.


This document was translated from BibTEX by bibtex2html