111 results  save search


inria-00601659v1  Directions of work or proceedings
Lyes BenyoucefRitesh Kumar Singh. Special Issue on Recent Advances in Service Operations and Logistics
Ritesh Kumar Singh and Lyes Benyoucef. 6, Inderscience, 2011, Journal of Services Operations and Informatics
...
hal-01101150v1  Directions of work or proceedings
Sergei O. KuznetsovAmedeo NapoliSebastian Rudolph. Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2014)
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2014) at ECAI 2014, 2014, Prague, Czech Republic. 1257, pp.100, 2014, CEUR Proceedings
...
hal-02431335v1  Directions of work or proceedings
Sergei KuznetsovAmedeo NapoliSebastian Rudolph. Workshop Notes of the Seventh International Workshop "What can FCA do for Artificial Intelligence?
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI 2019 (What can FCA do for Artificial Intelligence?), 2019, CEUR Workshop Proceedings 2529, CEUR-WS.org, pp.87, 2019
...
hal-02432406v1  Directions of work or proceedings
Miguel CouceiroAmedeo Napoli. Société Francophone de Classification (SFC) Actes des 26èmes Rencontres
Miguel Couceiro; Amedeo Napoli. 26èmes Rencontres de la Société Francophone de Classification (SFC), Sep 2019, Nancy, France. pp.147, 2019, Actes des 26èmes Rencontres de la Société Francophone de Classification (SFC)
hal-01101149v1  Directions of work or proceedings
Nicolas JayMathieu d'AquinIllaria Tiddi. Proceedings of the Workshop on Linked Data for Knowledge Discovery (LD4KD 2014)
Nicolas Jay; Illaria Tiddi; Mathieu D’Aquin. 1st Workshop on Linked Data for Knowledge Discovery, Sep 2014, Nancy, France. 1232 (3), ceur workshop proceedings, 2014, Linked Data for Knowledge Discovery, Proceedings of the 1st Workshop on Linked Data for Knowledge Discovery
hal-01651943v1  Directions of work or proceedings
François CharoyKhalil DriraHongbing WangQi YuYan Wang et al.  Service-Oriented Computing – ICSOC 2016 Workshops
France. Springer, pp.222, 2017, 978-3-319-68135-1. ⟨10.1007/978-3-319-68136-8⟩
...
hal-01252624v1  Directions of work or proceedings
Sergei O. KuznetsovAmedeo NapoliSebastian Rudolph. Workshop Notes International Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015)
Kuznetsov, Sergei O. ; Napoli, Amedeo; Rudolph, Sebastian. France. CEUR Workshop Proceedings 1430, 2015, CEUR Workshop Proceedings 1430
inria-00601260v1  Directions of work or proceedings
Lyes BenyoucefManoj-Kumar Tiwari. Special issue on 'Advanced Metaheuristics for Integrated Supply Chain Management
Lyes Benyoucef and Manoj-Kumar Tiwari. Springer, pp.1, 2011, Journal of Intelligent Manufacturing, ⟨10.1007/s10845-010-0456-6⟩
...
hal-01652759v1  Directions of work or proceedings
Michael S. MacfaddenAgustina NgClaudia-Lavinia IgnatNing GuChengzheng Sun. The Fifteenth International Workshop on Collaborative Editing Systems
IWCES’17 - The Fifteenth International Workshop on Collaborative Editing Systems, Feb 2017, Portland, United States. ACM, 2017, ⟨10.1145/3022198.3022653⟩
hal-01403271v1  Directions of work or proceedings
Maxime AmblardPhilippe de GrooteSylvain PogodallaChristian Retoré. Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
Maxime Amblard; Philippe de Groote; Sylvain Pogodalla; Christian Retoré. LACL: Logical Aspects of Computational Linguistics, Dec 2016, Nancy, France. 10054, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-53826-5⟩
hal-01933975v1  Directions of work or proceedings
El Hassan AbdelwahedLadjel BellatrecheDjamal BenslimaneMatteo GolfarelliStéphane Jean et al.  New Trends in Model and Data Engineering
MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. Communications in Computer and Information Science, Communications in Computer and Information Science (929), Springer, 2018, 978-3-030-02851-0. ⟨10.1007/978-3-030-02852-7⟩
hal-00904805v1  Directions of work or proceedings
Bernadette Charron-BostStephan MerzAndrey RybalchenkoJosef Widder. Formal Verification of Distributed Algorithms
Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. 3, Dagstuhl, pp.16, 2013, Dagstuhl Reports, ⟨10.4230/DagRep.3.4.1⟩
hal-01654605v1  Directions of work or proceedings
Makoto KanazawaPhilippe de GrooteMehrnoosh Sadrzadeh. MOL 2017, the 15th Meeting on the Mathematics of Language
Kanazawa, Makoto; de Groote, Philippe ; Sadrzadeh, Mehrnoosh. Jul 2017, London, United Kingdom. Association for Computational Linguistics, 2017
...
hal-01655955v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiJirka MaršíkStefan Jokulsson. (In)Coherence of discourse 3
Dec 2015, Nancy, France. 2015
...
hal-01956367v1  Directions of work or proceedings
Sergei KuznetsovAmedeo NapoliSebastian Rudolph. Workshop Notes of the Sixth International Workshop "What can FCA do for Artificial Intelligence?
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI 2018 - 6th International Workshop "What can FCA do for Artificial Intelligence"?, Jul 2018, Stockholm, Sweden. 2149, CEUR Proceedings, pp.150, 2018
hal-01356464v1  Directions of work or proceedings
Jasmin Christian BlanchetteStephan Merz. Interactive Theorem Proving
Nancy, France. 9807, Springer, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-43144-4⟩
...
hal-01155626v1  Directions of work or proceedings
Frédéric DadeauPascale Le Gall. Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels
Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. pp.88, 2015
inria-00607874v1  Directions of work or proceedings
Sylvain PogodallaJean-Philippe Prost. Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings
Sylvain Pogodalla and Jean-Philippe Prost. France. 6736, Springer, pp.283, 2011, Lecture Notes in Computer Science, 978-3-642-22220-7. ⟨10.1007/978-3-642-22221-4⟩
inria-00607880v1  Directions of work or proceedings
Sylvain PogodallaMyriam QuatriniChristian Retoré. Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Sylvain Pogodalla and Myriam Quatrini and Christian Retoré. France. 6700, Springer, pp.159, 2011, Lecture Notes in Computer Science, 978-3-642-21489-9. ⟨10.1007/978-3-642-21490-5⟩
inria-00608514v1  Directions of work or proceedings
Philippe de GrooteMarkus EggLaura Kallmeyer. Formal Grammar, 14th International Conference, FG 2009, Revised Selected Papers
Philippe de Groote and Markus Egg and Laura Kallmeyer. 5591, Springer, pp.213, 2011, Lecture Notes in Artificial Intelligence, 978-3-642-20168-4. ⟨10.1007/978-3-642-20169-1⟩
hal-00758850v1  Directions of work or proceedings
Amedeo NapoliVilem Vychodil. The 8th International Conference on Concept Lattices and Their Applications CLA 2011
Amedeo Napoli and Vilem Vychodil. INRIA Nancy-Grand-Est and LORIA, pp.416, 2011, 978-2-905267-78-8
...
hal-01402544v1  Directions of work or proceedings
Maureen ClercLaurent BougrainFabien Lotte. Les interfaces cerveau-ordinateur 2
Maureen Clerc; Laurent Bougrain; Fabien Lotte. France. ISTE, 2016, 978-1-78405-148-8
hal-01408998v1  Directions of work or proceedings
Maureen ClercLaurent BougrainFabien Lotte. Brain-Computer Interfaces 2
Maureen Clerc; Laurent Bougrain; Fabien Lotte. France. Wiley-ISTE, 2016
...
hal-01402539v1  Directions of work or proceedings
Maureen ClercLaurent BougrainFabien Lotte. Les interfaces Cerveau-Ordinateur 1
Maureen Clerc; Laurent Bougrain; Fabien Lotte. France. ISTE, 2016, 978-1-78405-147-1
...
hal-01425672v1  Directions of work or proceedings
Sergei O. KuznetsovAmedeo NapoliSebastian Rudolph. Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence?", FCA4AI 2016 (co-located with ECAI 2016, The Hague, Netherlands, August 30th 2016)
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI at ECAI 2016, Aug 2016, The Hague, Netherlands. 1703, CEUR-WS.org, pp.135, 2016, CEUR Workshop Proceedings
...
hal-00768961v1  Directions of work or proceedings
Sergei KuznetsovAmedeo NapoliSebastian Rudolph. Proceedings of the ECAI Workshop on Formal Concept Analysis for Artificial Intelligence (FCA4AI)
Sergei O. Kuznetsov and Amedeo Napoli and Sebastian Rudolph. 939, CEUR Proceedings (http://ceur-ws.org/Vol-939/), pp.88, 2012, CEUR Proceedings