LIRICA : Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre

Mots clés

Logique, Raisonnements, Complexité, Représentation des Connaissance, Intelligence Artificielle, Sémantique, Théorie de la Preuve, Satisfiabilité des Formules

 

Responsable

Vincent RISCH

 

Membres permanents

BENHAMOU BelaidMaitre de Conférences
Courriel : belaid.benhamou@lis-lab.fr
Telephone : 0491056010
CREIGNOU NadiaProfesseur des Universités
Courriel : nadia.creignou@lis-lab.fr
Telephone : 0486090462
Page personnelle : https://pageperso.lis-lab.fr/nadia.creignou/
GRELLOIS CharlesMaitre de Conférences
Courriel : charles.grellois@lis-lab.fr
JAKUBIEC JAMET LineMaitre de Conférences
Courriel : line.jakubiec@lis-lab.fr
Telephone : 0486090474
Page personnelle : https://pageperso.lis-lab.fr/line.jakubiec/
NOUIOUA FaridMaitre de Conférences
Courriel : farid.nouioua@lis-lab.fr
Telephone : 491288168
OLIVE FrédéricMaitre de Conférences
Courriel : frederic.olive@lis-lab.fr
Telephone : 0486090496
Page personnelle : https://pageperso.lis-lab.fr/frederic.olive/
OLIVETTI NicolaProfesseur des Universités
Courriel : nicola.olivetti@lis-lab.fr
Telephone : 0491289094
PAPINI OdileProfesseur des Universités
Courriel : odile.papini@lis-lab.fr
Telephone : 0491828530
RISCH VincentMaitre de Conférences
Courriel : vincent.risch@lis-lab.fr
Telephone : 0491288370
Page personnelle : https://pageperso.lis-lab.fr/vincent.risch/
SABATIER ClaudeMaitre de Conférences
Courriel : claude.sabatier@lis-lab.fr
Telephone : 0486090676
SANTOCANALE LuigiProfesseur des Universités
Courriel : luigi.santocanale@lis-lab.fr
Telephone : 0486090677
Page personnelle : https://pageperso.lis-lab.fr/luigi.santocanale/
WÜRBEL ÉricMaitre de Conférences
Courriel : eric.wurbel@lis-lab.fr
YAHI SafaMaitre de Conférences
Courriel : safa.yahi@lis-lab.fr
Telephone : 0442939043

 

Doctorants

BENMEZAL LarbiDoctorant
Courriel : larbi.benmezal@lis-lab.fr
BOUCHENE SabrinaDoctorant
Courriel : sabrina.bouchene@lis-lab.fr
DALMONTE TizianoDoctorant
Courriel : tiziano.dalmonte@lis-lab.fr
GIRLANDO MariannaDoctorant
Courriel : marianna.girlando@lis-lab.fr
KHALED TarekDoctorant
Courriel : tarek.khaled@lis-lab.fr

 

Autres membres

 

Objectif scientifique

L’équipe LIRICA (Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre) s’inscrit dans les deux lignes de force du pôle Calcul du LIS : Logique et Méthodes Formelles d’une part, Intelligence Artificielle d’autre part. Nos recherches portent sur la formalisation de différents types de Raisonnement et d’Interactions, la théorie de la Complexité, les systèmes et outils Algébriques, ces trois axes s’enrichissant d’interactions multiples.

Axe 1. Représentation des connaissances et raisonnement en intelligence artificielle : utilisation de formalismes logiques pour le raisonnement et le traitement algorithmique des connaissances.

Axe 2. Complexité, théorie et applications : complexité structurelle, caractérisations de classes de complexité par des formalismes logiques, complexité de différentes classes de problèmes (SAT, model checking…), tâches algorithmiques (décision, comptage, énumération), et formalismes logiques.

Axe 3. Logiques non-classiques et modales, sémantique et théorie de la preuve : calculs déductifs, procédures de décision et leur automatisation, sémantiques alternatives et leurs propriétés algébriques.

 

Site Web

Nos séminaires : http://pageperso.lif.univ-mrs.fr/~luigi.santocanale/LIRICA/seminaire.xml

 

Projets en cours

  • ANR blanc AGGREG (2014-2019)
  • ANR PRCI TICAMORE (2017-2020)
  • projet mixte franco-algerien PHC Tassili (2017-2020)

 

Projets passés

  • ANR blanc ASPIQ (2012-2017)

 

Publications récentes de l’équipe


25 documents

Article dans une revue7 documents

  • Silvio Ghilardi, Maria Joao Gouveia, Luigi Santocanale. Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). ACM Transactions on Computational Logic, Association for Computing Machinery, In press, 21 (1), pp.1--37. ⟨10.1145/3359669⟩. ⟨hal-01716485⟩
  • Silvio Ghilardi, Luigi Santocanale. Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond. Mathematical Structures in Computer Science, Cambridge University Press (CUP), In press. ⟨hal-01969235⟩
  • Nadia Creignou, Raïda Ktari, Odile Papini. Belief Update within Propositional Fragments. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2018, 61, pp.807-834. ⟨10.1613/jair.5541⟩. ⟨hal-02077672⟩
  • Laura Giordano, Valentina Gliozzi, Nicola Olivetti. Towards a Rational Closure for Expressive Description Logics:the Case of SHIQ. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 159 (1-2), pp.95-122. ⟨10.3233/FI-2018-1659⟩. ⟨hal-02079796⟩
  • Nadia Creignou, Reinhard Pichler, Stefan Woltran. Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2018, ⟨10.23638/LMCS-14(4:10)2018⟩. ⟨hal-02077666⟩
  • Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch. Conditional Beliefs: from Neighbourhood Semantics to Sequent Calculus. The review of symbolic logic, Cambridge University Press, 2018, pp.1-44. ⟨hal-01702961⟩
  • Pierre Clairambault, Charles Grellois, Andrzej Murawski. Linearity in higher-order recursion schemes. Proceedings of the ACM on Programming Languages, ACM, 2017, 2, pp.1 - 29. ⟨10.1145/3158127⟩. ⟨hal-01886931⟩

Communication dans un congrès14 documents

  • Luigi Santocanale. ON DISCRETE IDEMPOTENT PATHS. Words 2019, Sep 2019, Loughborough, United Kingdom. pp.312--325, ⟨10.1007/978-3-030-28796-2_25⟩. ⟨hal-02153821⟩
  • Marianna Girlando, Bjoern Lellmann, Nicola Olivetti. Nested sequents for the logic of conditional belief. JELIA - European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy. ⟨hal-02077057⟩
  • José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu. Intelligent and Adaptive System based on a Non-monotonic Logic for an Autonomous Motor-glider. 15th International Conference on Control, Automation, Robotics and Vision (ICARCV 2018), Nov 2018, Singapore, Singapore. pp.442--447, ⟨10.1109/ICARCV.2018.8581107⟩. ⟨hal-02093392⟩
  • Maria João Gouveia, Luigi Santocanale. MIX STAR-AUTONOMOUS QUANTALES AND THE CONTINUOUS WEAK ORDER. RAMICS 2018, Oct 2018, Groningen, Netherlands. ⟨10.1007/978-3-030-02149-8_12⟩. ⟨hal-01838560⟩
  • Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené. Towards a Boolean dynamical system representation in a nonmonotonic modal logic. International Workshop on Non-Monotonic Reasoning (NMR'18), Oct 2018, Tempe, United States. pp.53--62. ⟨hal-02093398⟩
  • Tiziano Dalmonte, Nicola Olivetti, Sara Negri. Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi. Advances in Modal Logic 2018, Aug 2018, Berne, Switzerland. ⟨hal-02076639⟩
  • Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran. Belief Update in the Horn Fragment. Twenty-Seventh International Joint Conference on Artificial Intelligence , Jul 2018, Stockholm, Sweden. pp.1781-1787, ⟨10.24963/ijcai.2018/246⟩. ⟨hal-02077737⟩
  • Luigi Santocanale. The equational theory of the natural join and inner union is decidable. FOSSACS 2018, Apr 2018, Thessaloniki, Greece. pp.494--510, ⟨10.1007/978-3-319-89366-2_27⟩. ⟨hal-01625134⟩
  • Marianna Girlando, Sara Negri, Nicola Olivetti. Counterfactual logic: labelled and internal calculi, two sides of the same coin?. Advances in Modal Logics 2018, Aug 2018, Bern, Switzerland. pp.291-310. ⟨hal-02077043⟩
  • Luigi Santocanale. Embeddability into relational lattices is undecidable ⋆. RAMICS 2017, May 2017, Lyon, France. ⟨hal-01474822⟩
  • Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Pozzato. Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. TABLEAUX 2017, Sep 2017, Brasilia, Brazil. pp.131-148. ⟨hal-01794387⟩
  • Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis. VINTE: an Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. TABLEAUX 2017, Sep 2017, Brasilia, Brazil. pp.149-159. ⟨hal-01794382⟩
  • Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch. The logic of conditional beliefs: neighbourhood semantics and sequent calculus. Advances in Modal Logics 2016, L. Beklemishev, S. Demri and A. Màté, Aug 2016, Budapest, Hungary. pp.322-341. ⟨hal-01794369⟩
  • Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Pozzato. Standard Sequent Calculi for Lewis' Logics of Counterfactuals. JELIA 2016, Nov 2016, Larnaca, Cyprus. ⟨hal-01794375⟩

Pré-publication, Document de travail3 documents

  • Luigi Santocanale. The Involutive Quantaloid of Completely Distributive Lattices. 2019. ⟨hal-02342655v2⟩
  • Marianna Girlando, Sara Negri, Nicola Olivetti. Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. 2019. ⟨hal-02330319⟩
  • Gian Meloni, Luigi Santocanale. Relational Semantics for Distributive Linear Logic. 2018. ⟨hal-01851509⟩

Thèse1 document

  • Marianna Girlando. On the Proof Theory of Conditional Logics. Logic in Computer Science [cs.LO]. Aix-Marseille Université; Helsinki University, 2019. English. ⟨tel-02077109⟩

Documents récupérés de l'archive ouverte HAL logo