Skip to Main content Skip to Navigation
Conference papers

Introducing Temporal Stable Models for Linear Dynamic Logic

Anne-Gwenn Bosser 1 Pedro Cabalar 2 Martin Dieguez 3 Torsten Schaub 4
1 Lab-STICC_ENIB_CID_IHSEV
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 Lab-STICC_ENIB_CID_IHSEV
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01893001
Contributor : Martin Dieguez <>
Submitted on : Wednesday, October 10, 2018 - 10:40:25 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:52 PM

Identifiers

  • HAL Id : hal-01893001, version 1

Citation

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⟩

Share

Metrics

Record views

112