Ty2 revisited

Communication Dans Un Congrès Année : 2022

(1)

Philippe de Groote

Semantic Analysis of Natural Language

We provide a translation of Hybrid Logic into Gallin's Ty2.

Mathematical Logic

Informatique [cs]

Fichier principal

abstract.pdf (132.82 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-03940832

Soumis le : lundi 16 janvier 2023-12:36:22

Dernière modification le : lundi 11 septembre 2023-17:41:18

Archivage à long terme le : lundi 17 avril 2023-18:56:02

hal-03940832 , version 1 (16-01-2023)

Philippe de Groote. Ty2 revisited. HyLo 2022 — Workshop on Hybrid Logic and Applications, Apr 2022, Chania, Greece. ⟨hal-03940832⟩

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-NLPKD

20 Consultations

21 Téléchargements