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

Introducing Temporal Stable Models for Linear Dynamic Logic

Anne-Gwenn Bosser
Pedro Cabalar
  • Fonction : Auteur
  • PersonId : 1037347
Martin Dieguez
  • Fonction : Auteur
  • PersonId : 1037295
Torsten Schaub
  • Fonction : Auteur
  • PersonId : 1011910
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⟩
123 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More