Temporal Here and There - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Temporal Here and There

Philippe Balbiani
Logique, Interaction, Langue et Calcul
Centre National de la Recherche Scientifique
Martin Dieguez
  • Fonction : Auteur
  • PersonId : 1037295
Logique, Interaction, Langue et Calcul

Résumé

Temporal Here and There (THT) constitutes the logical foundations of Temporal Equilibrium Logic. Nevertheless, it has never been studied in detail since results about axiomatisation and interdefinability of modal operators remained unknown. In this paper we provide a sound and complete axiomatic system for THT together with several results on interdefinability of modal operators.

Domaines

Intelligence artificielle [cs.AI] Apprentissage [cs.LG] Logique en informatique [cs.LO] Informatique et langage [cs.CL] Logique [math.LO]
Fichier principal
Vignette du fichier
balbiani_19195.pdf (346.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Open Archive Toulouse Archive Ouverte (OATAO)  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01646060

Soumis le : jeudi 23 novembre 2017-11:11:07

Dernière modification le : jeudi 25 avril 2024-03:16:05

Télécharger pour visualiser

Dates et versions

hal-01646060 , version 1 (23-11-2017)

Identifiants

Citer

Philippe Balbiani, Martin Dieguez. Temporal Here and There. 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp.81-96, ⟨10.1007/978-3-319-48758-8_6⟩. ⟨hal-01646060⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC ANR IRIT-IA CIMI-TOULOUSE TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
313 Consultations
194 Téléchargements

Altmetric

Partager

More