- 2022 – 2025: ALoRS
- Funding: French National Agency for Research (ANR)
- Call: PRC ANR-21-CE23-0018-01
- Duration: 42 months
- Partners: CerCo
- Role: project leader
- Contribution: coordination, SNN, logical reasoning
- 2022: Proto’Pitch Challenge with TouIST
- Funding: SATT TTT
- Call: 2nd call (2020)
- Duration: 12 months
- Partners: Olivier GASQUET, Andreas HERZIG, Emiliano LORINI, Frédéric MARIS
- Role: project leader
- Contribution: development and implementation of tutorials and of a didactic case study
- 2020 – 2023: TAILOR (EU webpage)
- Funding: European Union (EU)
- Call: program H2020-EU.2.1.1., topic ICT-48-2020, CFP H2020-ICT-2019-3
- Duration: 48 months
- Partners: 53 participants, including CNRS
- Role: full member of CNRS partner
- Contribution: epistemic planning
- 2012 – 2015: EmoTES
- 2011 – 2015: SINTELNET
- Funding: Europe
- Call: European Network for Social Intelligence
- Partners:
- Role: member
- Contribution: acceptance and group belief formalization
- 2009 – 2012: CECIL
- Funding: French National Agency for Research (ANR)
- Call: CONTINT 2008 program, contract No. ANR-08-CORD-005
- Partners: LIG/MAGMA, Telecom-Paris/LTCI
- Role: project leader
- Contribution: complex emotions formalization
- 2009 – 2010: AMiE
- Funding: University Paul Sabatier
- Call: BQR
- Partners: Elipse
- Role: member
- Contribution: BDI logic for dialog systems
- 2006 – 2010: ForTrust
- Funding: French National Agency for Research (ANR)
- Call: “Security and Computer Sciences” (SETIN ANR−06−SETI−006−01)
- Partners: EMSE, Institute of Cognitive Sciences and Technologies (ISTC)
- Role: manager of the 2nd workpackage “Single agent management of social trust”
- Contribution: BDI logic and automated reasoning
- 2005 – 2006: A reasoning platform for intelligent agents
- Funding: University Paul Sabatier
- Call: action A01
- Partners: none
- Role: member
- Contribution: BDI logic and automated reasoning
- 2004 – 2008: Interdisciplinary Laboratory on Interacting Knowledge Systems (ILIKS)
- 2004 – 2006: MOSTRO
- Funding: Province of Trento, Italy
- Call: Italian regional project
- Partners: CNR
- Role: member
- Contribution: norms and topics
- 2003 – 2005: Computational modeling of conversational pragmatics learning in ACT-R cognitive architecture
- Funding: CNRS
- Call: interdisciplinary action TCAN “Knowledge Processing, Learning and NTIC (New Technologies of Information and Communication)”
- Partners: CLLE-LTC
- Role: co-head of the project with Andreas HERZIG
- Contribution: ACT-R model implementation
- 2001 – 2003: Action policies: from psychological and linguistic validation to cognitive agents programming in artificial intelligence
- Funding: French Ministry of Research and Higher Education
- Call: action “Cognitique STIC-SHS” (Sciences and Technologies of Information and Communication – Humanities and Social Sciences)
- Partners: CLLE-LTC
- Role: post-doctoral position
- Contribution: logical formalization of indirect speech acts
- 2000 – 2002: Topics in Logics and Dialogue
- Funding: French Scientific Research National Center (CNRS)
- Call: binational action PROCOPE (France-Germany)
- Partner: IMS Stutgart
- Role: member
- Contribution: persuasive speech acts modeling
- 2008 – 2009: Study of the modeling of the actions of institutional, human and software agents
- Funding: Orange Labs
- Call: research contract
- Partners: none
- Role: member
- Contribution: action formalization
- 2003 – 2005: Multidisciplinary approach to the treatment of error in human-machine oral dialogue
- Funding: regional funding
- Partners: IRIT/Elipse, ONERA, Eureka Soft
- Role: member
- Contribution: literal and non literal speech acts formalization
- 1997 – 2000: Definition and implementation of a theory of belief revision in the context of a cooperative dialogue
- Funding: Orange Labs
- Call: CNET 97 contract 1B 046
- Partners: CNET
- Role: member
- Contribution: PhD thesis results