Content: Publications

Publications by Anne-Gwenn Bosser

Anne-Gwenn Bosser, Pedro Cabalar, Martın Dieguez, Torsten Schaub

Introducing Temporal Stable Models for Linear Dynamic Logic

the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18) (2018)