1. B. Morin, Ludovic Mé, Hervé Debar, and Mireille Ducassé. A Logic-based model to support alert correlation in intrusion detection. Information Fusion, 10(4):285-299, October 2009. Keyword(s): Intrusion detection, Alert correlation, Data model. [Abstract] [bibtex-entry]



2. D. Bechet, A. Foret, and I. Tellier. Learnability of Pregroup Grammars. Studia Logica, 87(2-3), 2007. Keyword(s): Learning from positive examples, Pregroup grammars, Computational linguistics, parsing, Categorial Grammars, constraints. [Abstract] [bibtex-entry]



3. S. Coupet-Grimal and O. Ridoux. On the use of Advanced Logic Programming Languages in Computational Linguistics. J. Logic Programming, 24(1&2):121-159, 1995. [WWW] Keyword(s): Logic programming, computational linguistics, LambdaProlog, Prolog II, lambda-terms, rational terms.. [Abstract] [bibtex-entry]



4. M. Ducassé and J. Noyé. Logic Programming Environments: Dynamic program analysis and debugging. The Journal of Logic Programming, 19/20:351-384, May/July 1994. Note: Anniversary issue: Ten years of Logic Programming. [WWW] [Abstract] [bibtex-entry]

1. Anne-Laure Ligozat, Kevin Marquet, Aurélie Bugeau, Julien Lefevre, Pierre Boulet, Sylvain Bouveret, Philippe Marquet, Olivier Ridoux, and Olivier Michel. How to Integrate Environmental Challenges in Computing Curricula?. In Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE'22), Providence, RI, USA., March 2022. ACM. [WWW] [Abstract] [bibtex-entry]



2. Hugo Ayats, Peggy Cellier, and Sébastien Ferré. Extracting Relations in Texts with Concepts of Neighbours. In Agnès Braud, Aleksey Buzmakov, Tom Hanika, and Florence Le Ber, editors, Formal Concept Analysis, LNCS 12733, pages 155-171, 2021. Springer. [WWW] [doi:10.1007/978-3-030-77867-5_10] [Abstract] [bibtex-entry]



3. Sébastien Ferré. Responsive and Flexible Controlled Natural Language Authoring with Zipper-Based Transformations. In B. Davis, C. M. Keet, and A. Wyner, editors, Int. Work. Controlled Natural Language (CNL), volume 304 of Frontiers in Artificial Intelligence and Applications, pages 21-30, 2018. IOS Press. [WWW] [doi:10.3233/978-1-61499-904-1-21] Keyword(s): controlled natural language, authoring, user interaction, abstract syntax, zipper, focus. [Abstract] [bibtex-entry]



4. Aurélien Lamercerie. Formal analysis of natural language requirements for the design of cyber-physical systems. In Conférence TALN, 2018. [WWW] [PDF] Keyword(s): Grammatical Formalism, Semantic Representation, Categorial Grammar, Require-ments Engineering, Cyber-physical System, Modal Specification. [Abstract] [bibtex-entry]



5. Sébastien Ferré. SPARKLIS on QALD-6 Statistical Questions. In Semantic Web Evaluation Challenge, pages 178-187, 2016. Springer. Keyword(s): semantic web, QALD, statistical questions, OLAP. [Abstract] [bibtex-entry]



6. Mouhamadou Ba, Sébastien Ferré, and Mireille Ducassé. Safe Suggestions Based on Type Convertibility to Guide Workflow Composition. In F. Esposito, O. Pivert, M.-S. Hacid, Z.W. Ras, and S. Ferilli, editors, Int. Symp. Foundations of Intelligent Systems (ISMIS), LNCS 9384, 2015. Springer. [Abstract] [bibtex-entry]



7. Annie Foret. On Harmonic CCG and Pregroup Grammars. In N. Asher and S. Soloviev, editors, Int. Conf. Logical Aspects of Computational Linguistics (LACL), LNCS 8535, pages 83-95, 2014. Springer. [WWW] Keyword(s): pregroup grammar, CCG. [Abstract] [bibtex-entry]



8. Sébastien Ferré. Agile Browsing of a Document Collection with Dynamic Taxonomies. In A. M. Tjoa and R. R. Wagner, editors, DEXA Int. Work. Dynamic Taxonomies and Faceted Search (FIND), pages 377-381, 2008. IEEE Computer Society. [PDF] Keyword(s): browsing, navigation, logical information system, dynamic taxonomies. [Abstract] [bibtex-entry]



9. Sébastien Ferré and Olivier Ridoux. Logical Information Systems: from Taxonomies to Logics. In DEXA Work. Dynamic Taxonomies and Faceted Search (FIND), pages 212-216, 2007. IEEE Computer Society. [PDF] Keyword(s): logical information system, taxonomy, logic. [Abstract] [bibtex-entry]

1. Sébastien Ferré. A SPARQL 1.1 Query Builder for the Data Analytics of Vanilla RDF Graphs. Research Report, IRISA, team SemLIS, 2018. [WWW] [PDF] Keyword(s): RDF, SPARQL, OLAP, natural language interface, data analytics, query builder, expressivity. [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