Introducing Temporal Stable Models for Linear Dynamic Logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Introducing Temporal Stable Models for Linear Dynamic Logic

Anne-Gwenn Bosser
Lab-STICC_ENIB_CID_IHSEV
Pedro Cabalar
  • Fonction : Auteur
  • PersonId : 1037347
Universidade da Coruña
Martin Dieguez
  • Fonction : Auteur
  • PersonId : 1037295
Lab-STICC_ENIB_CID_IHSEV
Torsten Schaub
  • Fonction : Auteur
  • PersonId : 1011910
Institut für informatik [Potsdam]

Domaines

Logique [math.LO] Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]

Martin Dieguez  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01893001

Soumis le : mercredi 10 octobre 2018-22:40:25

Dernière modification le : mardi 27 août 2024-12:49:24

Fichier non déposé

Dates et versions

hal-01893001 , version 1 (10-10-2018)

Identifiants

  • HAL Id : hal-01893001 , version 1

Citer

Anne-Gwenn Bosser, Pedro Cabalar, Martin Dieguez, Torsten Schaub. Introducing Temporal Stable Models for Linear Dynamic Logic. 16th International Conference on Principles of Knowledge Representation and Reasoning, Oct 2018, 16th International Conference on Principles of Knowledge Representation and Reasoning, United States. ⟨hal-01893001⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST CNRS LAB-STICC_UBO ENIB LAB-STICC_ENIB LAB-STICC
131 Consultations
0 Téléchargements

Partager

More