Publications de Pascal FERNANDEZ
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Asynchronous Announcements
ACM Transactions on Computational Logic, 2022, 23 (2, article 10), pp.1-38. ⟨10.1145/3481806⟩
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, 2021, 8 (8), pp.2265-2285
Simone Fischer-Hübner, Cristina Alcaraz, Afonso Ferreira, Carmen Fernandez-Gago, Javier Lopez, Evangelos Markatos, Lejla Islami, Mahdi Akil
Stakeholder perspectives and requirements on cybersecurity in Europe
Journal of information security and applications, 2021, 61, pp.102916. ⟨10.1016/j.jisa.2021.102916⟩
Alejandro Fernandez, Pascale Zaraté, Juan Cruz Gardey, Gabriela Bosseti
Supporting multi-criteria decision-making across websites: the Logikós approach
Central European Journal of Operations Research, 2021, 29 (1), pp.201-225. ⟨10.1007/s10100-020-00723-4⟩
Yashar Akrami, M. Ashdown, J. Aumont, C. Baccigalupi, M. Ballardini, A. J. Banday, R. B. Barreiro, N. Bartolo, S. Basak, K. Benabed, J.-P. Bernard, M. Bersanelli, P. Bielewicz, J. R. Bond, J. Borrill, F. R. Bouchet, C. Burigana, E. Calabrese, P. Carvalho, H. C. Chiang, B. P. Crill, F. Cuttaia, A. de Rosa, G. de Zotti, J. Delabrouille, J.-M. Delouis, E. Di Valentino, J. M. Diego, X. Dupac, S. Dusini, G. Efstathiou, F. Elsner, T. A. Ensslin, H. K. Eriksen, R. Fernandez-Cobos, F. Finelli, A. A. Fraisse, E. Franceschi, A. Frolov, S. Galeotta, K. Ganga, M. Gerbino, J. González-Nuevo, K. M. Górski, Serge Gratton, A. Gruppuso, J. E. Gudmundsson, W. Handley, F. K. Hansen, D. Herranz, E. Hivon, M. Hobson, Z. Huang, W. C. Jones, E. Keihänen, R. Keskitalo, J. Kim, T. S. Kisner, N. Krachmalnicoff, M. Kunz, H. Kurki-Suonio, J.-M. Lamarre, A. Lasenby, M. Lattanzi, C. R. Lawrence, M. Le Jeune, F. Levrier, P. B. Lilje, V. Lindholm, M. López-Caniego, Y.-Z. Ma, J. F. Macías-Pérez, G. Maggio, N. Mandolesi, A. Marcos-Caballero, M. Maris, P. G. Martin, E. Martínez-González, S. Matarrese, N. Mauri, J. D. Mcewen, M. Migliaccio, D. Molinari, A. Moneti, L. Montier, G. Morgante, P. Natoli, D. Paoletti, B. Partridge, F. Perrotta, V. Pettorino, F. Piacentini, G. Polenta, J.-L. Puget, J. P. Rachen, M. Reinecke, M. Remazeilles, A. Renzi, G. Rocha, G. Roudier, B. Ruiz-Granados, M. Savelainen, D. Scott, G. Sirri, L. D. Spencer, A.-S. Suur-Uski, J. A. Tauber, D. Tavagnacco, M. Tenti, L. Toffolatti, M. Tomasi, T. Trombetti, J. Valiviita, B. van Tent, P. Vielva, Francesca Villa, I. K. Wehus, A. Zacchei, A. Zonca
Planck intermediate results
Astronomy and Astrophysics – A&A, 2020, 644, pp.A99. ⟨10.1051/0004-6361/201936794⟩
Philippe Balbiani, David Fernández Duque, Andreas Herzig, Petar Iliev
Frame-validity games and lower bounds on the complexity of modal axioms
Logic Journal of the IGPL, 2020, 30 (1), ⟨10.1093/jigpal/jzaa068⟩
Hugo Fernandez Mena, Benoit Gaudou, Sylvain Pellerin, Graham Macdonald, Thomas Nesme
Flows in Agro-food Networks (FAN): an agent-based model to simulate local agricultural material flows
Agricultural Systems, 2020, 180 (180), pp.102718. ⟨10.1016/j.agsy.2019.102718⟩
Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics
Electronic Notes in Theoretical Computer Science, 2020
Valentin de Bortoli, Alain Durmus, Marcelo Pereyra, Ana Fernandez Vidal
Efficient stochastic optimisation by unadjusted Langevin Monte Carlo. Application to maximum marginal likelihood and empirical Bayesian estimation
Statistics and Computing, In press
Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández Duque
Intuitionistic linear temporal logics
ACM Transactions on Computational Logic, 2019, 21 (2), pp.0. ⟨10.1145/3365833⟩
Nedjma Djezzar, Iñaki Fernández Pérez, Noureddinne Djedi, Yves Duthen
A Computational Multiagent Model of Bioluminescent Bacteria for the Emergence of Self-Sustainable and Self-Maintaining Artificial Wireless Networks
Informatica, 2019, 43 (3), pp.395-408. ⟨10.31449/inf.v43i3.2381⟩
Biljana Mileva Boshokoska, Shaofeng Liu, Guoqing Zhao, Alejandro Fernandez, Susana Gamboa, Mariana del Pino, Pascale Zaraté, Jorge E. Hernández, Huilan Chen
A decision support system for evaluation of the knowledge sharing crossing boundaries in agri-food value chains
Computers in Industry, 2019, 110, pp.64-80. ⟨10.1016/j.compind.2019.04.012⟩
Leandro Antonelli, Mariangeles Hozikian, Guy Camilleri, Alejandro Fernandez, Julian Grigera, Diego Torres, Pascale Zaraté
Wiki support for automated definition of software test cases
Kybernetes, 2019, 49 (4), pp.1305-1324. ⟨10.1108/K-10-2018-0548⟩
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents
Studia Logica, 2019, Special Issue: 40 years of FDE, 107, pp.457-488. ⟨10.1007/s11225-018-9798-4⟩
Nedjma Djezzar, Iñaki Fernández Pérez, Nouredinne Djedi, Yves Duthen
Quorum sensing digital simulations for the emergence of scalable and cooperative artificial networks
International Journal of Artificial Intelligence and Machine Learning, 2019, 9 (1), pp.13-34. ⟨10.4018/IJAIML.2019010102⟩
Abdoulahy Diallo, Céline Michaud, Souandou Tabibou, Maxime Raz, Carla Fernandez, Hubert Lepidi, Pierre-Edouard Fournier, Andreas Stein, Stephane Ranque, Piseth Seng
Case Report: Arthrocladium fulminans Arthritis and Osteomyelitis
American Journal of Tropical Medicine and Hygiene, 2017, 96 (3), pp.698-700. ⟨10.4269/ajtmh.16-0185⟩
David Fernández-Duque, Quentin Gougeon
Fixed Point Logics on Hemimetric Spaces
38th Annual Symposium on Logic in Computer Science (LICS 2023), ACM; IEEE, Jun 2023, Boston, United States. à paraître
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Simple Framework for Cognitive Planning
W17 – Workshop Cognitive Aspects of Knowledge Representation (CAKR 2022) @ IJCAI-ECAI 2022, AAAI Technical Track on Knowledge Representation and Reasoning, Jul 2022, Vienna, Austria. pp.6331-6339, ⟨10.1609/aaai.v35i7.16786⟩
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
An Implemented System for Cognitive Planning
Journées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4
Emiliano Lorini, Nicolas Sabouret, Brian Ravenet, Jorge Luis Fernandez Davila, Céline Clavel
Cognitive Planning in Motivational Interviewing
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), INSTICC: Institute for Systems and Technologies of Information, Control and Communication, Feb 2022, Online, Portugal. pp.1-11
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
An Implemented System for Cognitive Planning
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online, France. pp.492-499
Andrés Cimadamore, Alejandro Fernandez, Chenhui Ye, Pascale Zaraté, Daouda Kamissoko
A User Interface for Consistent AHP Pairwise Comparisons
3rd Innovation for Systems Information and Decision Meeting (INSID 2021), Dec 2021, En ligne, Brazil. pp.119-134, ⟨10.1007/978-3-030-91768-5_8⟩
Philippe Balbiani, Martín Diéguez, David Fernández Duque
Some constructive variants of S4 with the finite model property
36th Annual Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome (on line), Italy. ⟨10.1109/LICS52264.2021.9470643⟩
Franck Taillandier, Carole Adam, Frederic Amblard, Jean-Philippe Antoni, C Baudrit, Curt Corinne, Pascal Di Maiolo, Julie Dugdale, Jean-François Erdelyi, Sidi Mohammed Elachachi, Christophe Fernandez, Benoit Gaudou, Alice Jacquier, Elsy Kaddoum, Marion Lamiral, Colin Lashermes, Patrick Taillandier, Thomas Thévenin, Nicolas Verstaevel
An ABM to support collective reflection on the evolution of mobility
GAMA Days 2021, Frédéric Amblard; Kevin Chapuis; Alexis Drogoul; Benoit Gaudou; Dominique Longin; Nicolas Verstaevel, Jun 2021, Online, France
Andrés Cimadamore, Alejandro Fernandez, Pascale Zaraté
A user interface design for consistent pairwise comparisons
7th International Conference on Decision Support System Technology (ICDSST 2021), EURO Working Group on Decision Support Systems: EWG-DSS, May 2021, Loughborough, United Kingdom. pp.1-7
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Simple Framework for Cognitive Planning
35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, virtual conference, United States. ⟨10.1609/aaai.v35i7.16786⟩
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
From Public Announcements to Asynchronous Announcements
24th European Conference on Artificial Intelligence (ECAI 2020), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA); Intelligent Systems Group (GSI) and the Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.75 – 82, ⟨10.3233/FAIA200078⟩
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Quantifying over Asynchronous Information Change
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Philippe Balbiani, Saúl Fernández González
Indexed Frames and Hybrid Logics
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.56-72
Guy Camilleri, Leandro Antonelli, Pascale Zaraté, Juan Cruz Gardey, Jonathan Martin, Amir Sakka, Diego Torres, Alejandro Fernandez
Tool support for Generating User Acceptance Tests
ICDSST2020, University of Zaragoza, Spain, May 2020, Zaragoza, Spain. pp.41-47
Jorge H. Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
TouIST: a Friendly Language for Propositional Logic and More
29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
Stratified evidence logics
28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩
Iñaki Fernández Pérez, Amine Boumaza, François Charpillet
Maintaining Diversity in Robot Swarms with Distributed Embodied Evolution
ANTS 2018 – International Conference on Swarm Intelligence, Oct 2018, Rome, Italy
Julian Grigera, Alejandra Garrido, Pascale Zaraté, Guy Camilleri, Alejandro Fernandez
A Mixed Usability Evaluation on a Multi Criteria Group Decision Support System in Agriculture
19th ACM International Conference on Human Computer Interaction (Interacción 2018), Sep 2018, Palma, Spain. pp.1-4
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity games and absolute minimality of modal axioms
12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102
Iñaki Fernández Pérez, Stephane Sanchez
Influence of Mating Mechanisms in Distributed Evolution for Collective Robotics
Workshop on the emergence and evolution of social learning, communication, language and culture in natural and artificial agents, in ALIFE 2018 (EVOSLACE 2018), Jul 2018, Tokyo, Japan. pp.18
Iñaki Fernández Pérez, Pierre André, Sylvain Cussat-Blanc, Alain Berro, Hervé Luga
Dynamic Resource Allocation in Power Grids using Evolving Gene Regulatory Networks
Conference on Artificial Life (ALIFE 2018), Jul 2018, Tokyo, Japan. pp.1-2
Nedjma Djezzar, Nouredinne Djedi, Iñaki Fernández Pérez, Yves Duthen
Digital Simulation of Bioluminescent Bacteria Cells Tweeting via Quorum-Sensing Molecules
Conference on Artificial Life (ALIFE 208), Jul 2018, Tokyo, Japan. pp.1-2
Joseph Boudou, Martin Dieguez, David Fernández Duque
A Decidable Intuitionistic Temporal Logic
Computer Science Logic, Aug 2017, Stockholm, Sweden. ⟨10.4230/LIPIcs.CSL.2017.14⟩
Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics
7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), Jul 2017, Toulouse, France. ⟨10.48550/arXiv.1803.05078⟩
Eduardo B. Fernandez, Brahim Hamid
Two safety patterns: Safety Assertion and Safety Assertion Enforcer.
22nd European Conference on Pattern Language of Programs (EuroPlop 2017), Jul 2017, Irsee, Germany. pp.1-9
Jorge Hernandez, Martin Mortimer, Edoardo Patelli, Shaofeng Liu, Caroline Drummond, Elizabeth Kehr, Nicola Calabrese, Rina Innacone, Janusz Kacprzyk, Maria Alemany, David Gardner, Alejandro Fernandez, Hervé Panetto, Pascale Zaraté, David Martinez, A. Simontti, Cécile Guyon, Cécile Sauvage
RUC-APS: Enhancing and implementing knowledge based ICT solutions within high Risk and Uncertain Conditions for Agriculture Production Systems
11th International Conference on Industrial Engineering and Industrial Management (CIO 2017), Universitat Politècnica de València (UPV); Asociación para el Desarrollo de la Ingeniería de Organización (ADINGOR); Centro de Investigación en Gestión e Ingeniería de Producción (CIGIP); Reengineering Operations GroupWork Logistics Excellence (ROGLE), Jul 2017, Valencia, Spain. pp.39-41
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Exploring the Bidimensional Space: a Dynamic Logic Point of View
16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2017, Sao Paulo, Brazil. pp.132-140
Gabriela Bosetti, Sergio Firmenich, Alejandro Fernandez, Marco Winckler, Gustavo Rossi
From Search Engines to Search Services: An End-User Driven Approach
17th International Conference, ICWE 2017, 2017, Rome, Italy
Jean-Paul Carrara, Pascal Fernandez, Jean-Luc Basille
Real Time Visualization of Digital Elevation Model on Parallel Architecture
Dans : Proc. CAMP’95, Como Italy, -, septembre 1995.
Matías Urbieta, Sergio Firmenich, Pascale Zaraté, Alejandro Fernandez
Web-Augmentation, Design Thinking, and Collaboration Engineering to Foster Innovation in DSS for Agriculture: A Case Study
Agriculture Value Chain – Challenges and Trends in Academia and Industry, 280, , pp.1-18, 2021, Studies in Systems, Decision and Control book series (SSDC), 978-3-030-51046-6. ⟨10.1007/978-3-030-51047-3_1⟩
Leandro Antonelli, Guy Camilleri, C. Challiol, A. Fernandez, M. Hozikian, R. Giandini, J. Grigera, A. Lliteras, J. Martin, D. Torres, Pascale Zaraté
An Extension to Scenarios to Deal with Business Cases for the Decision-Making Processes in the Agribusiness Domain
Agriculture Value Chain – Challenges and Trends in Academia and Industry, 280, Springer, pp.35-50, 2021, Studies in Systems, Decision and Control book series (SSDC), 978-3-030-51046-6. ⟨10.1007/978-3-030-51047-3_3⟩
Logical Dynamics
Logic in Computer Science [cs.LO]. UT3 : Université Toulouse 3 Paul Sabatier, 2017
Logics for Social Networks : Asynchronous Announcements in Orthogonal Structures
Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30269⟩
Mahdi Akil, Cristina Alcaraz, Pierre-Henri Cros, Afonso Ferreira, Simone Fischer-Hübner, Carmen Fernandez-Gago, Hans Hedbom, Lejla Islami, Javier Lopez, Vangelos Markathos
Requirements Analysis from Vertical Stakeholders
, 200 p., 2020, Deliverable D4.1 from Cyber Security for Europe