Communication Dans Un Congrès
Année : 2018
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01893001
Soumis le : mercredi 10 octobre 2018-22:40:25
Dernière modification le : vendredi 23 janvier 2026-09:12:06
Dates et versions
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⟩
Collections
184
Consultations
0
Téléchargements