Temporal stable models are LTL-representable
- Cabalar, P.
- Diéguez, M.
Actas:
Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
ISBN: 9780000000002
Año de publicación: 2014
Tipo: Aportación congreso