Temporal stable models are LTL-representable
- Cabalar, P.
- Diéguez, M.
Proceedings:
Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
ISBN: 9780000000002
Year of publication: 2014
Type: Conference paper